Generated on Fri Aug 24 2012 04:52:36 for Gecode by doxygen 1.8.1.1
Test::Int::Sequence::SequenceIntTest Class Reference

Test for sequence with boolean variables More...

List of all members.

Public Member Functions

 SequenceIntTest (const std::string &s, const Gecode::IntSet &s0, int q0, int l0, int u0, int size, int min, int max)
 Create and register test.
virtual void post (Gecode::Space &home, Gecode::IntVarArray &x)
 Post constraint on x.
- Public Member Functions inherited from Test::Int::Sequence::SequenceTest
 SequenceTest (const std::string &s, const Gecode::IntSet &s0, int q0, int l0, int u0, int size, int min, int max)
 Create and register test.
virtual bool solution (const Assignment &x) const
 Test whether x is solutionin
- Public Member Functions inherited from Test::Int::Test
 Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntConLevel i=Gecode::ICL_DEF)
 Constructor.
 Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntConLevel i=Gecode::ICL_DEF)
 Constructor.
virtual Assignmentassignment (void) const
 Create assignment.
virtual bool ignore (const Assignment &) const
 Whether to ignore assignment for reification.
virtual void post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::BoolVar b)
 Post reified constraint.
virtual bool run (void)
 Perform test.
- Public Member Functions inherited from Test::Base
 Base (const std::string &s)
 Create and register test with name s.
const std::string & name (void) const
 Return name of test.
Basenext (void) const
 Return next test.
void next (Base *n)
 Set next test.
virtual ~Base (void)
 Destructor.

Additional Inherited Members

- Protected Attributes inherited from Test::Int::Sequence::SequenceTest
Gecode::IntSet s
int q
int l
int u
- Protected Attributes inherited from Test::Int::Test
int arity
 Number of variables.
Gecode::IntSet dom
 Domain of variables.
bool reified
 Does the constraint also exist as reified constraint.
Gecode::IntConLevel icl
 Consistency level.
ConTestLevel contest
 Whether to test for certain consistency.
bool testsearch
 Whether to perform search test.
bool testfix
 Whether to perform fixpoint test.

Detailed Description

Test for sequence with boolean variables

Definition at line 109 of file sequence.cpp.


Constructor & Destructor Documentation

Test::Int::Sequence::SequenceIntTest::SequenceIntTest ( const std::string &  s,
const Gecode::IntSet s0,
int  q0,
int  l0,
int  u0,
int  size,
int  min,
int  max 
)
inline

Create and register test.

Definition at line 112 of file sequence.cpp.


Member Function Documentation

virtual void Test::Int::Sequence::SequenceIntTest::post ( Gecode::Space home,
Gecode::IntVarArray x 
)
inlinevirtual

Post constraint on x.

Implements Test::Int::Test.

Definition at line 118 of file sequence.cpp.


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