40 #ifndef __GECODE_INT_REL_HH__ 41 #define __GECODE_INT_REL_HH__ 50 namespace Gecode {
namespace Int {
namespace Rel {
66 template<
class View0,
class View1>
102 template<
class View0,
class View1>
132 template<
class View0,
class View1>
229 template<
class View,
int o>
269 static void*
operator new(
size_t s,
Space& home);
271 static void operator delete(
void*
p);
273 static void operator delete(
void*
p,
Space& home);
279 bool empty(
void)
const;
281 int pop(
Space& home);
283 void push(
Space& home,
int p);
289 static const int n_threshold = 7;
345 template<
class View,
class CtrlView, ReifyMode rm>
371 template<
class View,
class CtrlView, ReifyMode rm>
397 template<
class View,
class CtrlView, ReifyMode rm>
424 template<
class View,
class CtrlView, ReifyMode rm>
459 template<
class V0,
class V1>
492 template<
class V0,
class V1>
502 Lq(
Home home, V0 x0, V1 x1);
518 template<
class V0,
class V1>
528 Le(
Home home, V0 x0, V1 x1);
551 template<
class View,
class CtrlView, ReifyMode rm>
578 template<
class View,
class CtrlView, ReifyMode rm>
626 template<
class VX,
class VY>
660 template<
class VX,
class VY>
677 RelTest rt, VX& x0, VY& y0, VX x1, VY y1);
bool empty(void) const
Test whether actor link is empty (points to itself)
VX x1
View currently subscribed to.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int c
Integer constant to check.
VX x0
View currently subscribed to.
Binary domain consistent equality propagator.
ActorLink * next(void) const
Routines for double-linked list.
View0 x0
View of type View0.
Reified unary propagator.
Binary value propagation equality propagator.
ExecStatus resubscribe(Space &home, Propagator &p, VX &x0, ViewArray< VX > &x, VY &x1, ViewArray< VY > &y)
ViewArray< VX > x
Views not yet subscribed to.
int n_subsumed
Number of already subsumed advisors (or views)
Reified binary propagator.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post domain consistent propagator .
int c
Integer constant to check.
VY y1
View currently subscribed to.
int p
Position of view in view array.
EqDom(Space &home, EqDom< View0, View1 > &p)
Constructor for cloning p.
Reified less or equal with integer propagator.
Base-class for propagators.
Lexical disequality propagator.
n-ary domain consistent equality propagator
View1 x1
View of type View1.
virtual void reschedule(Space &home)
Schedule function.
Base-class for both propagators and branchers.
bool run
Whether the propagator is currently running.
Reified less or equal propagator.
Nary disequality propagator.
int c
Integer constant to check.
bool same(const CachedView< View > &x, const CachedView< View > &y)
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
Council< Index > c
The advisor council.
RelTest
Result of testing relation.
Reified binary domain consistent equality propagator.
ModEventDelta med
A set of modification events (used during propagation)
Binary bounds consistent equality propagator.
Less or equal propagator.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Reified binary bounds consistent equality propagator.
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Advise function.
ViewArray< VY > y
Views not yet subscribed to.
n-ary less and less or equal propagator
Reified bounds consistent equality with integer propagator.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Generic domain change information to be supplied to advisors.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Lexical ordering propagator.
Base-class for freelist-managed objects.
bool strict
Determines whether propagator is strict or not.
Binary disequality propagator.
Post propagator for SetVar x
ViewArray< VX > x
View arrays.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
Positions in view array that have to be propagated.
n-ary bounds consistent equality propagator
int i
The position of the view in the view array.
Gecode toplevel namespace
Advisors for views (by position in array)
int ModEventDelta
Modification event deltas.
Reified domain consistent equality with integer propagator.
Home class for posting propagators
virtual size_t dispose(Space &home)
Delete propagator and return its size.
VY y0
View currently subscribed to.
Pos * pos
Stack of positions.