Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
registry.cpp File Reference

(Revision: 14367)

#include <gecode/flatzinc/registry.hh>
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <gecode/minimodel.hh>
#include <gecode/set.hh>
#include <gecode/float.hh>
#include <gecode/flatzinc.hh>

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::FlatZinc
 Interpreter for the FlatZinc language.
 

Macros

#define BOOL_OP(op)
 
#define BOOL_ARRAY_OP(op)
 
#define P_FLOAT_OP(Op)
 

Functions

Registry & Gecode::FlatZinc::registry (void)
 Return global registry object. More...
 

Macro Definition Documentation

#define BOOL_OP (   op)
Value:
BoolVar b0 = s.arg2BoolVar(ce[0]); \
BoolVar b1 = s.arg2BoolVar(ce[1]); \
if (ce[2]->isBool()) { \
rel(s, b0, op, b1, ce[2]->getBool(), s.ann2icl(ann)); \
} else { \
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: rel.cpp:47

Definition at line 589 of file registry.cpp.

#define BOOL_ARRAY_OP (   op)
Value:
BoolVarArgs bv = s.arg2boolvarargs(ce[0]); \
if (ce.size()==1) { \
rel(s, op, bv, 1, s.ann2icl(ann)); \
} else if (ce[1]->isBool()) { \
rel(s, op, bv, ce[1]->getBool(), s.ann2icl(ann)); \
} else { \
rel(s, op, bv, s.bv[ce[1]->getBoolVar()], s.ann2icl(ann)); \
}
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Definition: rel.cpp:47

Definition at line 598 of file registry.cpp.

#define P_FLOAT_OP (   Op)
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: bool-expr.cpp:253

Definition at line 2091 of file registry.cpp.