40 namespace Test {
namespace Int {
56 :
Test(
"Basic::A",3,-n,n,true) {}
ReifyMode mode(void) const
Return reification mode.
BoolVar var(void) const
Return Boolean control variable.
Basic(int n)
Initialize test.
Test whether testing infrastructure for integer variables works
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Reification specification.
Passing integer arguments.
Basic(Gecode::IntArgs &i)
Initialize test.
virtual bool solution(const Assignment &) const
Check whether x is a solution.
Base class for assignments
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Gecode toplevel namespace
Implication for reification.
virtual void post(Gecode::Space &, Gecode::IntVarArray &)
Post constraint on x.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &, Gecode::Reify r)
Post reified constraint on x for r.