Generated on Wed Mar 25 2020 20:18:46 for Gecode by doxygen 1.8.5
Test::Int::Exec Namespace Reference

Tests for synchronized execution More...

Classes

class  IntWait
 Simple test for wait (integer variables) More...
 
class  BoolWait
 Simple test for wait (Boolean 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