38#ifndef __GECODE_TEST_ASSIGN_HH__
39#define __GECODE_TEST_ASSIGN_HH__
43#ifdef GECODE_HAS_SET_VARS
46#ifdef GECODE_HAS_FLOAT_VARS
71 virtual bool run(
void);
88 virtual bool run(
void);
93#ifdef GECODE_HAS_SET_VARS
116#ifdef GECODE_HAS_FLOAT_VARS
virtual bool run(void)
Perform test.
BoolTest(const std::string &s, int a)
Construct and register test.
int arity
Number of variables.
virtual void post(Gecode::Space &home, Gecode::BoolVarArray &x)=0
Post assignment on variables x.
FloatTest(const std::string &s, int a, const Gecode::FloatVal &d)
Construct and register test.
Gecode::FloatVal dom
Domain of variables.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)=0
Post assignment on variables x.
int arity
Number of variables.
virtual bool run(void)
Perform test.
virtual bool run(void)
Perform test.
IntTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
Gecode::IntSet dom
Domain of variables.
int arity
Number of variables.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)=0
Post assignment on variables x.
int arity
Number of variables.
Gecode::IntSet dom
Upper bound of variable domains.
virtual bool run(void)
Perform test.
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x)=0
Post assignment on variables x.
SetTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
Base(const std::string &s)
Create and register test with name s.