48 if (
t.arity() !=
x.size())
66 if (
t.arity() !=
x.size())
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>
113 if (
t.arity() !=
x.size())
115 if ((
t.min() < 0) || (
t.max() > 1))
133 if (
t.arity() !=
x.size())
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>