34 #ifndef __GECODE_FLATZINC_REGISTRY_HH__ 35 #define __GECODE_FLATZINC_REGISTRY_HH__ 41 namespace Gecode {
namespace FlatZinc {
51 void add(
const std::string&
id, poster
p);
53 void post(FlatZincSpace& s,
const ConExpr& ce);
57 std::map<std::string,poster>
r;
Map from constraint identifier to constraint posting functions.
#define GECODE_FLATZINC_EXPORT
int p
Number of positive literals for node type.
Post propagator for SetVar SetOpType SetVar SetRelType r
A space that can be initialized with a FlatZinc model.
Gecode toplevel namespace
A node in a FlatZinc abstract syntax tree.
Registry & registry(void)
Return global registry object.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Abstract representation of a constraint.