53 ::
post(home,s,xsingle)));
65 ::
post(home,xsingle,sv)));
105 namespace Gecode {
namespace Set {
namespace Int {
147 ::
post(home,s,xs,
r.var())));
152 ::
post(home,s,xs,
r.var())));
157 ::
post(home,s,xs,
r.var())));
246 ::
post(home,s,
x,
r.var())));
250 ::
post(home,s,
x,
r.var())));
254 ::
post(home,s,
x,
r.var())));
278 ::
post(home,s,
x,
r.var())));
282 ::
post(home,s,
x,
r.var())));
286 ::
post(home,s,
x,
r.var())));
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Passing Boolean variables.
Boolean integer variables.
Home class for posting propagators
Boolean view for Boolean variables.
Integer view for integer variables.
Exception: Unknown reification mode passed as argument
Exception: Unknown relation passed as argument
Reification specification.
Propagator for maximum element
Propagator for minimum element
Propagator for not maximum element
Propagator for not minimum element
Reified propagator for maximum element
Propagator for reified minimum element
Propagator for weight of a set
Propagator for set equality
Propagator for the negated subset constraint
Reified equality propagator
Set view for set variables
unsigned int cardMin(void) const
Return minimum cardinality.
void weights(Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
void notMin(Home home, SetVar s, IntVar x)
void notMax(Home home, SetVar s, IntVar x)
Post propagator for SetVar SetOpType SetVar y
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
void clause(Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntPropLevel)
Post domain consistent propagator for Boolean clause with positive variables x and negative variables...
IntRelType
Relation types for integers.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
@ RM_EQV
Equivalence for reification (default)
const int min
Smallest allowed integer value.
const int max
Largest allowed integer value.
void remax(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the maximum of s.
void remin(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the minimum of s.
const unsigned int card
Maximum cardinality of an integer set.
Gecode::FloatVal c(-8, 8)
LinIntExpr cardinality(const SetExpr &e)
Cardinality of set expression.