Test::Set::Dom::DomInt Class Reference
[Domain constraints]
Inherits Test::Set::SetTest.
Detailed Description
Test for equality with an integer.Definition at line 173 of file dom.cc.
Public Member Functions | |
| DomInt (Gecode::SetRelType srt0) | |
| Create and register test. | |
| virtual bool | solution (const SetAssignment &x) const |
| Test whether x is solution. | |
| virtual void | post (Space *home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. | |
| virtual void | post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b) |
| Post reified constraint on x for b. | |
The documentation for this class was generated from the following file:
- test/set/dom.cc (Revision: 6269)