44 #ifndef __GECODE_INT_REL_HH__ 45 #define __GECODE_INT_REL_HH__ 54 namespace Gecode {
namespace Int {
namespace Rel {
70 template<
class View0,
class View1>
106 template<
class View0,
class View1>
136 template<
class View0,
class View1>
233 template<
class View,
int o>
273 static void*
operator new(
size_t s,
Space& home);
275 static void operator delete(
void*
p);
277 static void operator delete(
void*
p,
Space& home);
283 bool empty(
void)
const;
285 int pop(
Space& home);
287 void push(
Space& home,
int p);
293 static const int n_threshold = 7;
349 template<
class View,
class CtrlView, ReifyMode rm>
375 template<
class View,
class CtrlView, ReifyMode rm>
401 template<
class View,
class CtrlView, ReifyMode rm>
428 template<
class View,
class CtrlView, ReifyMode rm>
463 template<
class V0,
class V1>
496 template<
class V0,
class V1>
506 Lq(
Home home, V0 x0, V1 x1);
522 template<
class V0,
class V1>
532 Le(
Home home, V0 x0, V1 x1);
555 template<
class View,
class CtrlView, ReifyMode rm>
582 template<
class View,
class CtrlView, ReifyMode rm>
630 template<
class VX,
class VY>
664 template<
class VX,
class VY>
681 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.
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)
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
ModEventDelta med
A set of modification events (used during propagation)
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Binary bounds consistent equality propagator.
Less or equal propagator.
Reified binary bounds consistent equality propagator.
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Advise function.
EqDom(Space &home, bool share, EqDom< View0, View1 > &p)
Constructor for cloning p.
ViewArray< VY > y
Views not yet subscribed to.
n-ary less and less or equal propagator
Reified bounds consistent equality with integer propagator.
Generic domain change information to be supplied to advisors.
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.