Sequence constraints
[Testing finite domain integers]
Classes | |
class | Test::Int::Sequence::SequenceTest |
Base test for sequence More... | |
class | Test::Int::Sequence::SequenceBoolTest |
Test for sequence with boolean variables More... | |
class | Test::Int::Sequence::SequenceIntTest |
Test for sequence with boolean variables More... | |
class | Test::Int::Sequence::Create |
Help class to create and register tests. More... | |
Variables | |
Create | Test::Int::Sequence::c |
Variable Documentation
Create Test::Int::Sequence::c |
Definition at line 162 of file sequence.cpp.