Generated on Sat Feb 7 2015 02:01:56 for Gecode by doxygen 1.8.9.1
Test::Int::Exec Namespace Reference

Tests for synchronized execution More...

Classes

class  BoolWait
 Simple test for wait (Boolean variables) More...
 
class  IntWait
 Simple test for wait (integer variables) More...
 
class  When
 Simple test for when. More...
 

Variables

IntWait iw1 (1)
 
IntWait iw2 (2)
 
IntWait iw3 (3)
 
IntWait iw4 (4)
 
BoolWait bw1 (1)
 
BoolWait bw2 (2)
 
BoolWait bw3 (3)
 
BoolWait bw4 (4)
 
When when
 

Detailed Description

Tests for synchronized execution