74 GECODE_ES_FAIL((Extensional::postrecompact<IntView,BoolView,RM_EQV>
75 (home,xv,t,r.
var())));
78 GECODE_ES_FAIL((Extensional::postrecompact<IntView,BoolView,RM_IMP>
79 (home,xv,t,r.
var())));
82 GECODE_ES_FAIL((Extensional::postrecompact<IntView,BoolView,RM_PMI>
83 (home,xv,t,r.
var())));
91 GECODE_ES_FAIL((Extensional::postrecompact<IntView,NegBoolView,RM_EQV>
95 GECODE_ES_FAIL((Extensional::postrecompact<IntView,NegBoolView,RM_PMI>
99 GECODE_ES_FAIL((Extensional::postrecompact<IntView,NegBoolView,RM_IMP>
115 if ((t.
min() < 0) || (t.
max() > 1))
121 GECODE_ES_FAIL((Extensional::postposcompact<BoolView>(home,xv,t)));
123 GECODE_ES_FAIL((Extensional::postnegcompact<BoolView>(home,xv,t)));
135 if ((t.
min() < 0) || (t.
max() > 1))
143 GECODE_ES_FAIL((Extensional::postrecompact<BoolView,BoolView,RM_EQV>
144 (home,xv,t,r.
var())));
147 GECODE_ES_FAIL((Extensional::postrecompact<BoolView,BoolView,RM_IMP>
148 (home,xv,t,r.
var())));
151 GECODE_ES_FAIL((Extensional::postrecompact<BoolView,BoolView,RM_PMI>
152 (home,xv,t,r.
var())));
160 GECODE_ES_FAIL((Extensional::postrecompact<BoolView,NegBoolView,RM_EQV>
164 GECODE_ES_FAIL((Extensional::postrecompact<BoolView,NegBoolView,RM_PMI>
168 GECODE_ES_FAIL((Extensional::postrecompact<BoolView,NegBoolView,RM_IMP>
Inverse implication for reification.
int size(void) const
Return size of array (number of elements)
ReifyMode mode(void) const
Return reification mode.
int arity(void) const
Arity of tuple set.
bool pos(const View &x)
Test whether x is postive.
int max(void) const
Return maximal value in all tuples.
bool finalized(void) const
Is tuple set finalized.
Exception: Tuple set not yet finalized
int n
Number of negative literals for node type.
void extensional(Home home, const IntVarArgs &x, DFA dfa, IntPropLevel)
Post domain consistent propagator for extensional constraint described by a DFA.
Reification specification.
Passing integer variables.
Passing Boolean variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
Class represeting a set of tuples.
IntPropLevel
Propagation levels for integer propagators.
int min(void) const
Return minimal value in all tuples.
BoolVar var(void) const
Return Boolean control variable.
Post propagator for SetVar x
Exception: Not 0/1 integer
Exception: Unknown reification mode passed as argument
Gecode toplevel namespace
Implication for reification.
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Equivalence for reification (default)