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 273 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 304 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 314 of file set.hh.
bool Test::Set::SetTest::run |
( |
void |
|
) |
[virtual] |
Map set relation to string.
Definition at line 46 of file set.hpp.
Map set operation to string.
Definition at line 64 of file set.hpp.
std::string Test::Set::SetTest::str |
( |
int |
i |
) |
[inline, static] |
Map integer to string.
Definition at line 38 of file set.hpp.
std::string Test::Set::SetTest::str |
( |
const Gecode::IntArgs & |
i |
) |
[inline, static] |
Map integer array to string.
Definition at line 76 of file set.hpp.
Member Data Documentation
Whether to perform full tests for disabled propagators.
Definition at line 293 of file set.hh.
Whether to check for subsumption.
Definition at line 295 of file set.hh.
The documentation for this class was generated from the following files: