38 #ifndef __GECODE_TEST_FLOAT_HH__ 39 #define __GECODE_TEST_FLOAT_HH__ 237 unsigned int propagators(
void);
266 bool eqv(
void)
const;
269 bool imp(
void)
const;
271 bool pmi(
void)
const;
291 Test(
const std::string& s,
int a,
299 virtual bool extendAssignement(
Assignment&
a)
const;
313 virtual bool run(
void);
Gecode::FloatNum step
Step for going to next solution.
AssignmentType
Assignment possible types.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
const FloatNum max
Largest allowed float value.
ExecStatus subsumed(Space &home, Propagator &p, int c, TaskArray< Task > &t)
Check for subsumption (all tasks must be assigned)
Gecode::FloatNum step
Step for next assignment.
bool testfix
Whether to perform fixpoint test.
bool testsubsumed
Whether to test for subsumption.
int n
Number of variables.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
int a
How many assigments still to be generated Generate new value according to domain. ...
Test * test
The test currently run.
Reify imp(BoolVar x)
Use implication for reification.
const FloatNum min
Smallest allowed float value.
Iterator for float relation types.
virtual ~Assignment(void)
Destructor.
Gecode::IntArgs i({1, 2, 3, 4})
Generate all assignments except the last variable and complete it to get a solution.
FloatRelType
Relation types for floats.
const Test * curPb
Current problem used to complete assignment.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Reification specification.
Base class for all tests to be run
MaybeType operator&(MaybeType a, MaybeType b)
Three-valued conjunction of MaybeType.
bool testsearch
Whether to perform search test.
Generate random selection of assignments.
Reify eqv(BoolVar x)
Use equivalence for reification.
Gecode::Reify r
Reification information.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const Dictionary &d)
Print statistics summary.
virtual void operator++(void)=0
Move to next assignment.
Gecode::FloatVarArray x
Variables to be tested.
Gecode::FloatVal d
Initial domain.
Post propagator for SetVar SetOpType SetVar y
virtual Gecode::FloatVal operator[](int i) const =0
Return value for variable i.
Node * x
Pointer to corresponding Boolean expression node.
Gecode::FloatVal d
Domain for each variable.
Gecode::FloatVal dom
Domain of variables.
AssignmentType assigmentType
Gives the type of assignment to use.
bool assigned(View x, int v)
Whether x is assigned to value v.
MaybeType
Type for comparisons and solutions.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Space for executing tests.
Gecode::FloatVal * dsv
Iterator for each variable.
Gecode::FloatVal * vals
The current values for the variables.
int size(void) const
Return number of variables.
int arity
Number of variables.
Gecode::FloatVal * dsv
Iterator for each variable.
bool reified
Does the constraint also exist as reified constraint.
Generate all assignments.
void assign(Home home, const FloatVarArgs &x, FloatAssign fa, FloatBranchFilter bf, FloatVarValPrint vvp)
Assign all x with value selection vals.
double FloatNum
Floating point number base type.
ReifyMode
Mode for reification.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
Gecode::FloatNum step
Step for going to next solution.
Gecode::FloatNum step
Step for next assignment.
int rms
Which reification modes are supported.
bool reified
Whether the test is for a reified propagator.
Assignment(int n0, const Gecode::FloatVal &d0)
Initialize assignments for n0 variables and values d0.
Base class for assignments
virtual bool operator()(void) const =0
Test whether all assignments have been iterated.
Reify pmi(BoolVar x)
Use reverse implication for reification.