Map from constraint identifier to constraint posting functions. More...
#include <registry.hh>
Public Types | |
typedef void(* | poster) (FlatZincSpace &, const ConExpr &, AST::Node *) |
Type of constraint posting function. More... | |
Public Member Functions | |
void | add (const std::string &id, poster p) |
Add posting function p with identifier id. More... | |
void | post (FlatZincSpace &s, const ConExpr &ce) |
Post constraint specified by ce. More... | |
Map from constraint identifier to constraint posting functions.
Definition at line 48 of file registry.hh.
typedef void(* Gecode::FlatZinc::Registry::poster) (FlatZincSpace &, const ConExpr &, AST::Node *) |
Type of constraint posting function.
Definition at line 51 of file registry.hh.
void Gecode::FlatZinc::Registry::add | ( | const std::string & | id, |
poster | p | ||
) |
Add posting function p with identifier id.
Definition at line 73 of file registry.cpp.
void Gecode::FlatZinc::Registry::post | ( | FlatZincSpace & | s, |
const ConExpr & | ce | ||
) |
Post constraint specified by ce.
Definition at line 63 of file registry.cpp.