Base class for tests with set constraints
More...
#include <set.hh>
List of all members.
Detailed Description
Base class for tests with set constraints
Definition at line 289 of file set.hh.
Constructor & Destructor Documentation
Test::Set::SetTest::SetTest |
( |
const std::string & |
s, |
|
|
int |
a, |
|
|
const Gecode::IntSet & |
d, |
|
|
bool |
r = false , |
|
|
int |
w = 0 | |
|
) |
| | [inline] |
Constructor.
Constructs a test with name s and arity a and variable domain d. Also tests for a reified constraint, if r is true. In addition, w integer variables are provided.
Definition at line 320 of file set.hh.
Member Function Documentation
virtual bool Test::Set::SetTest::solution |
( |
const SetAssignment & |
|
) |
const [pure virtual] |
Check for solution.
Implemented in Test::Set::Channel::ChannelSorted, Test::Set::Channel::ChannelInt, Test::Set::Channel::ChannelBool, Test::Set::Channel::ChannelSet, Test::Set::Var::Construct, Test::Set::Convex::Convex, Test::Set::Convex::ConvexHull, Test::Set::Convex::ConvexHullS, Test::Set::Distinct::AtmostOne, Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Dom::CardRange, Test::Set::Element::ElementUnion, Test::Set::Element::ElementUnionConst, Test::Set::Element::ElementInter, Test::Set::Element::ElementInterIn, Test::Set::Element::ElementDisjoint, Test::Set::Element::ElementSet, Test::Set::Element::ElementSetConst, Test::Set::Element::MatrixIntSet, Test::Set::Exec::Wait, Test::Set::Int::Card, Test::Set::Int::Min, Test::Set::Int::NotMin, Test::Set::Int::Max, Test::Set::Int::NotMax, Test::Set::Int::Elem, Test::Set::Int::NoElem, Test::Set::Int::Rel, Test::Set::Int::IntRel, Test::Set::Int::Weights, Test::Set::Precede::Single, Test::Set::Precede::Multi, Test::Set::RelOpConst::RelSIS, Test::Set::RelOpConst::RelSSI, Test::Set::RelOpConst::RelISI, Test::Set::RelOp::Rel, Test::Set::RelOp::RelN, Test::Set::RelOp::RelIntN, Test::Set::Rel::RelBin, Test::Set::Rel::ITE, Test::Set::Sequence::Sequence, and Test::Set::Sequence::SeqU.
Post propagator.
Implemented in Test::Set::Channel::ChannelSorted, Test::Set::Channel::ChannelInt, Test::Set::Channel::ChannelBool, Test::Set::Channel::ChannelSet, Test::Set::Var::Construct, Test::Set::Convex::Convex, Test::Set::Convex::ConvexHull, Test::Set::Convex::ConvexHullS, Test::Set::Distinct::AtmostOne, Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Dom::CardRange, Test::Set::Element::ElementUnion, Test::Set::Element::ElementUnionConst, Test::Set::Element::ElementInter, Test::Set::Element::ElementInterIn, Test::Set::Element::ElementDisjoint, Test::Set::Element::ElementSet, Test::Set::Element::ElementSetConst, Test::Set::Element::MatrixIntSet, Test::Set::Exec::Wait, Test::Set::Int::Card, Test::Set::Int::Min, Test::Set::Int::NotMin, Test::Set::Int::Max, Test::Set::Int::NotMax, Test::Set::Int::Elem, Test::Set::Int::NoElem, Test::Set::Int::Rel, Test::Set::Int::IntRel, Test::Set::Int::Weights, Test::Set::Precede::Single, Test::Set::Precede::Multi, Test::Set::RelOpConst::RelSIS, Test::Set::RelOpConst::RelSSI, Test::Set::RelOpConst::RelISI, Test::Set::RelOp::Rel, Test::Set::RelOp::RelN, Test::Set::RelOp::RelIntN, Test::Set::Rel::RelBin, Test::Set::Rel::ITE, Test::Set::Sequence::Sequence, and Test::Set::Sequence::SeqU.
Post reified propagator.
Reimplemented in Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Int::Card, Test::Set::Int::Min, Test::Set::Int::Max, Test::Set::Int::Elem, Test::Set::Int::Rel, Test::Set::Int::IntRel, and Test::Set::Rel::RelBin.
Definition at line 330 of file set.hh.
bool Test::Set::SetTest::run |
( |
void |
|
) |
[virtual] |
Map set relation to string.
Definition at line 50 of file set.hpp.
Map set operation to string.
Definition at line 68 of file set.hpp.
std::string Test::Set::SetTest::str |
( |
int |
i |
) |
[inline, static] |
Map integer to string.
Definition at line 42 of file set.hpp.
std::string Test::Set::SetTest::str |
( |
const Gecode::IntArgs & |
i |
) |
[inline, static] |
Map integer array to string.
Definition at line 80 of file set.hpp.
Member Data Documentation
Whether to perform full tests for disabled propagators.
Definition at line 309 of file set.hh.
Whether to check for subsumption.
Definition at line 311 of file set.hh.
The documentation for this class was generated from the following files: