Generated on Tue May 22 09:42:04 2018 for Gecode by doxygen 1.6.3

Test::Set::SetTest Class Reference
[General set test support]

Base class for tests with set constraints More...

#include <set.hh>

List of all members.

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.

Protected Attributes

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

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 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

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

Perform test.

Implements Test::Base.

Definition at line 718 of file set.cpp.

std::string Test::Set::SetTest::str ( Gecode::SetRelType  srt  )  [inline, static]

Map set relation to string.

Definition at line 46 of file set.hpp.

std::string Test::Set::SetTest::str ( Gecode::SetOpType  srt  )  [inline, static]

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

bool Test::Set::SetTest::disabled [protected]

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: