57 ::
post(home,s,xsingle)));
69 ::
post(home,xsingle,sv)));
109 namespace Gecode {
namespace Set {
namespace Int {
void notMin(Home home, SetVar s, IntVar x)
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
Propagator for not maximum element
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void remin(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the minimum of s.
unsigned int cardMin(void) const
Return minimum cardinality.
void remax(Home home, SetVar s, IntVar m, Reify r)
Reify m to be the maximum of s.
const unsigned int card
Maximum cardinality of an integer set.
const int max
Largest allowed integer value.
const int min
Smallest allowed integer value.
Propagator for reified minimum element
Gecode::FloatVal c(-8, 8)
Exception: Unknown relation passed as argument
Reified equality propagator
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
Propagator for not minimum element
IntRelType
Relation types for integers.
Reification specification.
Passing Boolean variables.
Boolean integer variables.
LinIntExpr cardinality(const SetExpr &e)
Cardinality of set expression.
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Set view for set variables
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Propagator for maximum element
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
Reified propagator for maximum element
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
BoolVar var(void) const
Return Boolean control variable.
Propagator for set equality
void notMax(Home home, SetVar s, IntVar x)
Post propagator for SetVar x
Propagator for the negated subset constraint
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Propagator for weight of a set
Exception: Unknown reification mode passed as argument
Gecode toplevel namespace
void weights(Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
Implication for reification.
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Shared array with arbitrary number of elements.
Propagator for minimum element
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
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...
Equivalence for reification (default)
Boolean view for Boolean variables.