38namespace Test {
namespace Set {
92 if (!
xr1())
return false;
93 if (
x0min !=
xr1.min())
return false;
Node * x
Pointer to corresponding Boolean expression node.
Sharing test for convex hull propagator.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
ConvexHullS(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Test for convex hull propagator
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
ConvexHull(const char *t)
Create and register test.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Test for convexity propagator
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Convex(const char *t)
Create and register test.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Range iterator producing subsets of an IntSet.
Generate all set assignments.
Base class for tests with set constraints
virtual bool run(void)
Perform test.
const int min
Smallest allowed integer in integer set.
Gecode toplevel namespace
Post propagator that propagates that a x is convex void convex(Home home, SetVar x)
ConvexHullS _convexhulls("Convex::Sharing::ConvexHullS")
Convex _convex("Convex::Convex")
ConvexHull _convexhull("Convex::ConvexHull")