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

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

Inherits Test::Set::SetTest.

List of all members.


Detailed Description

Test for integer relation constraint.

Definition at line 244 of file int.cc.


Public Member Functions

 IntRel (Gecode::IntRelType irt0, bool inverse0)
 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: