Generated on Tue May 22 09:41:57 2018 for Gecode by doxygen 1.6.3

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 iw1t (1, true)
IntWait iw2t (2, true)
IntWait iw3t (3, true)
IntWait iw4t (4, true)
IntWait iw1f (1, false)
IntWait iw2f (2, false)
IntWait iw3f (3, false)
IntWait iw4f (4, false)
BoolWait bw1t (1, true)
BoolWait bw2t (2, true)
BoolWait bw3t (3, true)
BoolWait bw4t (4, true)
BoolWait bw1f (1, false)
BoolWait bw2f (2, false)
BoolWait bw3f (3, false)
BoolWait bw4f (4, false)
When whent (true)
When whenf (false)

Detailed Description

Tests for synchronized execution