
Classes | |
| class | Test::Set::Sequence::Sequence |
| Test for sequence constraint More... | |
| class | Test::Set::Sequence::SeqU |
| Test for sequential-union constraint More... | |
Functions | |
| Test::Set::Sequence::Sequence::Sequence (const char *t) | |
| Create and register test. More... | |
| virtual bool | Test::Set::Sequence::Sequence::solution (const SetAssignment &x) const |
| Test whether x is solution More... | |
| virtual void | Test::Set::Sequence::Sequence::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More... | |
| Test::Set::Sequence::SeqU::SeqU (int n0) | |
| Create and register test. More... | |
| virtual bool | Test::Set::Sequence::SeqU::solution (const SetAssignment &x) const |
| Test whether x is solution More... | |
| virtual void | Test::Set::Sequence::SeqU::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More... | |
Variables | |
| Sequence | Test::Set::Sequence::_sequence ("Sequence::Sequence") |
| SeqU | Test::Set::Sequence::_sequ0 (0) |
| SeqU | Test::Set::Sequence::_sequ1 (1) |
| SeqU | Test::Set::Sequence::_sequ3 (3) |
|
inline |
Create and register test.
Definition at line 59 of file sequence.cpp.
|
inlinevirtual |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 62 of file sequence.cpp.
|
inlinevirtual |
|
inline |
Create and register test.
Definition at line 89 of file sequence.cpp.
|
inlinevirtual |
Test whether x is solution
Implements Test::Set::SetTest.
Definition at line 92 of file sequence.cpp.
|
inlinevirtual |
| Sequence Test::Set::Sequence::_sequence("Sequence::Sequence") |
| SeqU Test::Set::Sequence::_sequ0(0) |
| SeqU Test::Set::Sequence::_sequ1(1) |
| SeqU Test::Set::Sequence::_sequ3(3) |