registry.cpp File Reference

(Revision: 12605)

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

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::FlatZinc
	Interpreter for the FlatZinc language.
Defines
#define	BOOL_OP(op)
#define	BOOL_ARRAY_OP(op)
Functions
Registry &	Gecode::FlatZinc::registry (void)
	Return global registry object.

---

Define Documentation

#define BOOL_OP

(

op

)

Value:

BoolVar b0 = getBoolVar(s, ce[0]); \
    BoolVar b1 = getBoolVar(s, ce[1]); \
    if (ce[2]->isBool()) { \
      rel(s, b0, op, b1, ce[2]->getBool(), ann2icl(ann)); \
    } else { \
      rel(s, b0, op, b1, s.bv[ce[2]->getBoolVar()], ann2icl(ann)); \
    }

Definition at line 684 of file registry.cpp.

#define BOOL_ARRAY_OP

(

op

)

Value:

BoolVarArgs bv = arg2boolvarargs(s, ce[0]); \
    if (ce.size()==1) { \
      rel(s, op, bv, 1, ann2icl(ann)); \
    } else if (ce[1]->isBool()) { \
      rel(s, op, bv, ce[1]->getBool(), ann2icl(ann)); \
    } else { \
      rel(s, op, bv, s.bv[ce[1]->getBoolVar()], ann2icl(ann)); \
    }

Definition at line 693 of file registry.cpp.