Generated on Mon Aug 25 11:35:54 2008 for Gecode by doxygen 1.5.6
Test::CpltSet::CpltSetTest

Test::CpltSet::CpltSetTest Class Reference
[General CpltSet test support]

#include <cpltset.hh>

Inherits Test::Base.

Inherited by Test::CpltSet::AtMost::CpltSetAtmost, Test::CpltSet::AtMost::CpltSetAtmostIntSet, Test::CpltSet::AtMost::CpltSetAtmostLexLe, Test::CpltSet::Cardinality::CpltSetCardEq, Test::CpltSet::Cardinality::CpltSetCardMinInf, Test::CpltSet::Cardinality::CpltSetCardMinMax, Test::CpltSet::Dom::CpltSetDomEqDom, Test::CpltSet::Dom::CpltSetDomEqRange, Test::CpltSet::Dom::CpltSetDomSupDom, Test::CpltSet::Dom::CpltSetDomSupRange, Test::CpltSet::Partition::CpltSetPartition, Test::CpltSet::Partition::CpltSetPartitionLex, Test::CpltSet::Partition::CpltSetPartitionNaryOne, Test::CpltSet::Partition::CpltSetPartitionNaryOneBigger, Test::CpltSet::Rel::CpltSetRelDisj, Test::CpltSet::Rel::CpltSetRelLe, Test::CpltSet::Rel::CpltSetRelLeDiff, Test::CpltSet::Rel::CpltSetRelLq, Test::CpltSet::Selection::CpltSetSelectNonEmptySub, and Test::CpltSet::Selection::CpltSetSelectUnion.

List of all members.

Detailed Description

Base class for tests with CpltSet constraints.

Definition at line 68 of file cpltset.hh.


Public Member Functions

 CpltSetTest (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0, int mn=10000, int mc=1000)
virtual bool solution (const Test::Set::SetAssignment &) const =0
 Check for solution.
virtual void post (Gecode::Space *home, Gecode::CpltSetVarArray &x, Gecode::IntVarArray &y)=0
 Post propagator.
virtual void post (Gecode::Space *, Gecode::CpltSetVarArray &, Gecode::IntVarArray &, Gecode::BoolVar)
 Post reified propagator.
virtual bool run (void)
 Perform test.
template<class I>
int iter2int (I &r, int) const
int varsize (void)
 Provide manager access.
int cachesize (void)

Constructor & Destructor Documentation

Test::CpltSet::CpltSetTest::CpltSetTest ( const std::string &  s,
int  a,
const Gecode::IntSet &  d,
bool  r = false,
int  w = 0,
int  mn = 10000,
int  mc = 1000 
) [inline]

Definition at line 81 of file cpltset.hh.

Member Function Documentation

virtual bool Test::CpltSet::CpltSetTest::solution ( const Test::Set::SetAssignment &   )  const [pure virtual]

Check for solution.

Implemented in Test::CpltSet::AtMost::CpltSetAtmost, Test::CpltSet::AtMost::CpltSetAtmostLexLe, Test::CpltSet::AtMost::CpltSetAtmostIntSet, Test::CpltSet::Cardinality::CpltSetCardMinMax, Test::CpltSet::Cardinality::CpltSetCardEq, Test::CpltSet::Cardinality::CpltSetCardMinInf, Test::CpltSet::Dom::CpltSetDomEqRange, Test::CpltSet::Dom::CpltSetDomEqDom, Test::CpltSet::Dom::CpltSetDomSupRange, Test::CpltSet::Dom::CpltSetDomSupDom, Test::CpltSet::Partition::CpltSetPartition, Test::CpltSet::Partition::CpltSetPartitionLex, Test::CpltSet::Partition::CpltSetPartitionNaryOne, Test::CpltSet::Partition::CpltSetPartitionNaryOneBigger, Test::CpltSet::Rel::CpltSetRelLe, Test::CpltSet::Rel::CpltSetRelLq, Test::CpltSet::Rel::CpltSetRelLeDiff, Test::CpltSet::Rel::CpltSetRelDisj, Test::CpltSet::Selection::CpltSetSelectUnion, and Test::CpltSet::Selection::CpltSetSelectNonEmptySub.

virtual void Test::CpltSet::CpltSetTest::post ( Gecode::Space *  home,
Gecode::CpltSetVarArray &  x,
Gecode::IntVarArray &  y 
) [pure virtual]

Post propagator.

Implemented in Test::CpltSet::AtMost::CpltSetAtmost, Test::CpltSet::AtMost::CpltSetAtmostLexLe, Test::CpltSet::AtMost::CpltSetAtmostIntSet, Test::CpltSet::Cardinality::CpltSetCardMinMax, Test::CpltSet::Cardinality::CpltSetCardEq, Test::CpltSet::Cardinality::CpltSetCardMinInf, Test::CpltSet::Dom::CpltSetDomEqRange, Test::CpltSet::Dom::CpltSetDomEqDom, Test::CpltSet::Dom::CpltSetDomSupRange, Test::CpltSet::Dom::CpltSetDomSupDom, Test::CpltSet::Partition::CpltSetPartition, Test::CpltSet::Partition::CpltSetPartitionLex, Test::CpltSet::Partition::CpltSetPartitionNaryOne, Test::CpltSet::Partition::CpltSetPartitionNaryOneBigger, Test::CpltSet::Rel::CpltSetRelLe, Test::CpltSet::Rel::CpltSetRelLq, Test::CpltSet::Rel::CpltSetRelLeDiff, Test::CpltSet::Rel::CpltSetRelDisj, Test::CpltSet::Selection::CpltSetSelectUnion, and Test::CpltSet::Selection::CpltSetSelectNonEmptySub.

virtual void Test::CpltSet::CpltSetTest::post ( Gecode::Space *  ,
Gecode::CpltSetVarArray &  ,
Gecode::IntVarArray &  ,
Gecode::BoolVar   
) [inline, virtual]

Post reified propagator.

Definition at line 95 of file cpltset.hh.

bool Test::CpltSet::CpltSetTest::run ( void   )  [virtual]

Perform test.

Implements Test::Base.

Definition at line 412 of file cpltset.cc.

template<class I>
int Test::CpltSet::CpltSetTest::iter2int ( I &  r,
int   
) const [inline]

Definition at line 101 of file cpltset.hh.

int Test::CpltSet::CpltSetTest::varsize ( void   )  [inline]

Provide manager access.

Definition at line 116 of file cpltset.hh.

int Test::CpltSet::CpltSetTest::cachesize ( void   )  [inline]

Definition at line 117 of file cpltset.hh.

The documentation for this class was generated from the following files: