44 using namespace Float;
69 using namespace Float;
93 using namespace Float;
119 post(home,x0,x1,
n)));
123 post(home,x0,x1,
n)));
127 post(home,x0,x1,
n)));
160 post(home,x0,x1,
n)));
164 post(home,x0,x1,
n)));
168 post(home,x0,x1,
n)));
181 using namespace Float;
207 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_EQV>::
211 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_PMI>::
215 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_IMP>::
261 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_EQV>::
265 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_PMI>::
269 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_IMP>::
281 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_EQV>::
285 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_PMI>::
289 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_IMP>::
303 using namespace Float;
308 for (
int i=x.
size();
i--; ) {
313 for (
int i=x.
size();
i--; ) {
318 for (
int i=x.
size();
i--; ) {
323 for (
int i=x.
size();
i--; ) {
329 for (
int i=x.
size();
i--; ) {
334 for (
int i=x.
size();
i--; ) {
346 using namespace Float;
350 for (
int i=x.
size();
i--; ) {
355 for (
int i=x.
size();
i--; ) {
360 for (
int i=x.
size();
i--; ) {
365 for (
int i=x.
size();
i--; ) {
370 for (
int i=x.
size();
i--; ) {
375 for (
int i=x.
size();
i--; ) {
Inverse implication for reification.
int size(void) const
Return size of array (number of elements)
ReifyMode mode(void) const
Return reification mode.
static ExecStatus post(Home home, View x0, FloatVal c)
Post bounds consistent propagator .
Reified less or equal propagator.
Exception: Unknown relation passed as argument
Reified equality propagator
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
FloatRelType
Relation types for floats.
Reification specification.
Less or equal propagator.
Post propagator for SetVar SetOpType SetVar SetRelType r
void check(const FloatVal &n, const char *l)
Check whether float n is a valid number, otherwise throw out of limits exception with information l...
Post propagator for SetVar SetOpType SetVar y
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
BoolVar var(void) const
Return Boolean control variable.
Propagator for set equality
Binary disequality propagator.
Post propagator for SetVar x
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
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
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Equivalence for reification (default)
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.