Test::Set::SetTest Class Reference
[General set test support]
Base class for tests with set constraints More...
#include <set.hh>
Public Member Functions | |
SetTest (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0) | |
Constructor. | |
virtual bool | solution (const SetAssignment &) const =0 |
Check for solution. | |
virtual void | post (Gecode::Space &home, Gecode::SetVarArray &x, Gecode::IntVarArray &y)=0 |
Post propagator. | |
virtual void | post (Gecode::Space &, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::Reify) |
Post reified propagator. | |
virtual bool | run (void) |
Perform test. | |
Mapping scalar values to strings | |
| |
static std::string | str (Gecode::SetRelType srt) |
Map set relation to string. | |
static std::string | str (Gecode::SetOpType srt) |
Map set operation to string. | |
static std::string | str (int i) |
Map integer to string. | |
static std::string | str (const Gecode::IntArgs &i) |
Map integer array to string. |
Detailed Description
Base class for tests with set constraints
Definition at line 271 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] |
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::Sequence::Sequence, and Test::Set::Sequence::SeqU.
virtual void Test::Set::SetTest::post | ( | Gecode::Space & | home, | |
Gecode::SetVarArray & | x, | |||
Gecode::IntVarArray & | y | |||
) | [pure virtual] |
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::Sequence::Sequence, and Test::Set::Sequence::SeqU.
virtual void Test::Set::SetTest::post | ( | Gecode::Space & | , | |
Gecode::SetVarArray & | , | |||
Gecode::IntVarArray & | , | |||
Gecode::Reify | ||||
) | [inline, virtual] |
Post reified propagator.
Reimplemented in Test::Set::Dom::DomRange, Test::Set::Dom::DomIntRange, Test::Set::Dom::DomInt, Test::Set::Dom::DomDom, Test::Set::Int::Min, Test::Set::Int::Max, Test::Set::Int::Elem, Test::Set::Int::Rel, and Test::Set::Rel::RelBin.
bool Test::Set::SetTest::run | ( | void | ) | [virtual] |
std::string Test::Set::SetTest::str | ( | Gecode::SetRelType | srt | ) | [inline, static] |
std::string Test::Set::SetTest::str | ( | Gecode::SetOpType | srt | ) | [inline, static] |
std::string Test::Set::SetTest::str | ( | int | i | ) | [inline, static] |
std::string Test::Set::SetTest::str | ( | const Gecode::IntArgs & | i | ) | [inline, static] |
The documentation for this class was generated from the following files: