Generated on Mon Aug 25 11:35:55 2008 for Gecode by doxygen 1.5.6

Test::Set::Int::ChannelBool Class Reference
[Combined integer/set constraints]

Inherits Test::Set::SetTest.

List of all members.


Detailed Description

Test for Boolean channel constraint.

Definition at line 433 of file int.cc.


Public Member Functions

 ChannelBool (const char *t, const IntSet &d, int _isize)
 Create and register test.
virtual bool solution (const SetAssignment &x) const
 Test whether x is solution.
virtual void post (Space *home, SetVarArray &x, IntVarArray &y)
 Post constraint on x.

The documentation for this class was generated from the following file: