(Revision: 14367)
Go to the source code of this file.
Value:BoolVar b0 = s.arg2BoolVar(ce[0]); \
BoolVar
b1 = s.arg2BoolVar(ce[1]); \
rel(s, b0, op, b1, ce[2]->getBool(), s.ann2icl(ann)); \
rel(s, b0, op, b1, s.bv[ce[2]->getBoolVar()], s.ann2icl(ann)); \
}
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Definition at line 589 of file registry.cpp.
#define BOOL_ARRAY_OP |
( |
|
op | ) |
|
Value:BoolVarArgs bv = s.arg2boolvarargs(ce[0]); \
rel(s, op, bv, 1, s.ann2icl(ann)); \
}
else if (ce[1]->isBool()) {
\
rel(s, op, bv, ce[1]->getBool(), s.ann2icl(ann)); \
rel(s, op, bv, s.bv[ce[1]->getBoolVar()], s.ann2icl(ann)); \
}
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Definition at line 598 of file registry.cpp.
Value:void p_float_ ## Op (FlatZincSpace& s, const ConExpr& ce, AST::Node*) {\
FloatVar
x = s.arg2FloatVar(ce[0]);\
FloatVar y = s.arg2FloatVar(ce[1]);\
Op(s,x,y);\
}
Node * x
Pointer to corresponding Boolean expression node.
Definition at line 2091 of file registry.cpp.