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) |