Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15

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. More...
 
virtual bool solution (const SetAssignment &) const =0
 Check for solution. More...
 
virtual void post (Gecode::Space &home, Gecode::SetVarArray &x, Gecode::IntVarArray &y)=0
 Post propagator. More...
 
virtual void post (Gecode::Space &, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::Reify)
 Post reified propagator. More...
 
virtual bool run (void)
 Perform test. More...
 
- Public Member Functions inherited from Test::Base
 Base (const std::string &s)
 Create and register test with name s. More...
 
const std::string & name (void) const
 Return name of test. More...
 
Basenext (void) const
 Return next test. More...
 
void next (Base *n)
 Set next test. More...
 
virtual ~Base (void)
 Destructor. More...
 

Protected Attributes

bool disabled
 Whether to perform full tests for disabled propagators. More...
 
bool testsubsumed
 Whether to check for subsumption. More...
 

Mapping scalar values to strings

static std::string str (Gecode::SetRelType srt)
 Map set relation to string. More...
 
static std::string str (Gecode::SetOpType srt)
 Map set operation to string. More...
 
static std::string str (int i)
 Map integer to string. More...
 
static std::string str (const Gecode::IntArgs &i)
 Map integer array to string. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Test::Base
static void sort (void)
 Sort tests alphabetically. More...
 
static Basetests (void)
 Return all tests. More...
 
static bool fixpoint (void)
 Throw a coin whether to compute a fixpoint. More...
 
- Static Public Attributes inherited from Test::Base
static Gecode::Support::RandomGenerator rand = Gecode::Support::RandomGenerator()
 Random number generator. More...
 

Detailed Description

Base class for tests with set constraints

Definition at line 289 of file set.hh.

Constructor & Destructor Documentation

◆ SetTest()

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

◆ solution()

◆ post() [1/2]

◆ post() [2/2]

◆ run()

bool Test::Set::SetTest::run ( void  )
virtual

Perform test.

Implements Test::Base.

Definition at line 722 of file set.cpp.

◆ str() [1/4]

std::string Test::Set::SetTest::str ( Gecode::SetRelType  srt)
inlinestatic

Map set relation to string.

Definition at line 50 of file set.hpp.

◆ str() [2/4]

std::string Test::Set::SetTest::str ( Gecode::SetOpType  srt)
inlinestatic

Map set operation to string.

Definition at line 68 of file set.hpp.

◆ str() [3/4]

std::string Test::Set::SetTest::str ( int  i)
inlinestatic

Map integer to string.

Definition at line 42 of file set.hpp.

◆ str() [4/4]

std::string Test::Set::SetTest::str ( const Gecode::IntArgs i)
inlinestatic

Map integer array to string.

Definition at line 80 of file set.hpp.

Member Data Documentation

◆ disabled

bool Test::Set::SetTest::disabled
protected

Whether to perform full tests for disabled propagators.

Definition at line 309 of file set.hh.

◆ testsubsumed

bool Test::Set::SetTest::testsubsumed
protected

Whether to check for subsumption.

Definition at line 311 of file set.hh.


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