34#ifndef __GECODE_FLATZINC_REGISTRY_HH__
35#define __GECODE_FLATZINC_REGISTRY_HH__
51 void add(
const std::string&
id,
poster p);
57 std::map<std::string,poster> r;
A node in a FlatZinc abstract syntax tree.
Abstract representation of a constraint.
A space that can be initialized with a FlatZinc model.
Map from constraint identifier to constraint posting functions.
void(* poster)(FlatZincSpace &, const ConExpr &, AST::Node *)
Type of constraint posting function.
void add(const std::string &id, poster p)
Add posting function p with identifier id.
void post(FlatZincSpace &s, const ConExpr &ce)
Post constraint specified by ce.
#define GECODE_FLATZINC_EXPORT
Interpreter for the FlatZinc language.
Registry & registry(void)
Return global registry object.
Gecode toplevel namespace