36 #ifndef __GECODE_INT_BOOL_HH__ 37 #define __GECODE_INT_BOOL_HH__ 46 namespace Gecode {
namespace Int {
namespace Bool {
54 template<
class BVA,
class BVB>
76 template<
class BVA,
class BVB,
class BVC>
89 BVA b0, BVB
b1, BVC
b2);
104 template<
class BVA,
class BVB>
236 template<
class BVA,
class BVB>
277 BV b0, BV
b1, BV
b2);
310 BV b0, BV
b1, BV
b2, BV b3);
327 template<
class BVA,
class BVB,
class BVC>
354 template<
class VX,
class VY>
425 template<
class BVA,
class BVB,
class BVC>
491 template<
class VX,
class VY>
545 template<
class VX,
class VY>
579 template<
class V0,
class V1,
class V2, PropCond pc>
605 template<
class V0,
class V1,
class V2>
631 template<
class V0,
class V1,
class V2>
int n_zero
The number of views assigned to zero in x.
Council< Advisor > c
The advisor council.
If-then-else bounds-consistent propagator.
BVC x2
Boolean view Constructor for posting.
Boolean clause propagator (disjunctive, true)
ViewArray< VY > y
Positive views (origin from negative variables)
void cancel(Space &home, Propagator &p, IntSet &y)
ExecStatus resubscribe(Space &home, Propagator &p, VX &x0, ViewArray< VX > &x, VY &x1, ViewArray< VY > &y)
BV x2
Boolean view without subscription.
Mixed (n+1)-ary propagator.
Base-class for propagators.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)
Boolean clause propagator (disjunctive)
ViewArray< VX > x
Positive views.
BoolBinary(Home home, BVA b0, BVB b1)
Quarternary Boolean disjunction propagator (true)
Base-class for both propagators and branchers.
Gecode::FloatVal c(-8, 8)
Ternary Boolean disjunction propagator (true)
virtual size_t dispose(Space &home)
Delete propagator and return its size.
int p
Number of positive literals for node type.
If-then-else propagator base-class.
n-ary Boolean equality propagator
Boolean equivalence propagator.
Council< Advisor > c
The advisor council.
int n_zero
The number of views assigned to zero in x.
ViewArray< VX > x
Views not yet subscribed to.
ModEventDelta med
A set of modification events (used during propagation)
Boolean disjunction propagator.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Advise function.
ViewArray< VY > y
Views not yet subscribed to (origin from negative variables)
Council< Tagged > c
The advisor council.
Boolean equality propagator.
Boolean n-ary equivalence propagator.
int n_zero
The number of views assigned to zero in x and y.
int n_one
The number of views assigned to one in x.
bool run
Whether the propagator is currently running.
BV x2
Boolean view without subscription.
Boolean less or equal propagator.
BoolView b
View for condition.
If-then-else domain-consistent propagator.
Boolean n-ary disjunction propagator (true)
Post propagator for SetVar SetOpType SetVar y
Nary Boolean less or equal propagator.
ViewArray< BV > x
Views not yet subscribed to.
BVB x1
Boolean view Constructor for posting.
Generic domain change information to be supplied to advisors.
Boolean n-ary disjunction propagator.
Binary Boolean disjunction propagator (true)
virtual void reschedule(Space &home)
Schedule function.
ViewArray< BoolView > x
Views not yet subscribed to.
Post propagator for SetVar x
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)=0
Propagation function.
BV x3
Boolean view without subscription.
Gecode toplevel namespace
Base-class for ternary Boolean propagators.
Advisors for views (tagged whether for x or y)
#define GECODE_INT_EXPORT
Base-class for binary Boolean propagators.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
int pm2
Parity information mod 2.
virtual Actor * copy(Space &home)=0
Create copy.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
const bool x
Whether advises a view for x or y.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Boolean view for Boolean variables.