Gecode::FlatZinc::Registry Class Reference
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. | |
Public Member Functions | |
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. |
Detailed Description
Map from constraint identifier to constraint posting functions.
Definition at line 44 of file registry.hh.
Member Typedef Documentation
typedef void(* Gecode::FlatZinc::Registry::poster)(FlatZincSpace &, const ConExpr &, AST::Node *) |
Type of constraint posting function.
Definition at line 47 of file registry.hh.
Member Function Documentation
void Gecode::FlatZinc::Registry::add | ( | const std::string & | id, | |
poster | p | |||
) |
Add posting function p with identifier id.
Definition at line 69 of file registry.cpp.
void Gecode::FlatZinc::Registry::post | ( | FlatZincSpace & | s, | |
const ConExpr & | ce | |||
) |
Post constraint specified by ce.
Definition at line 59 of file registry.cpp.
The documentation for this class was generated from the following files:
- gecode/flatzinc/registry.hh
- gecode/flatzinc/registry.cpp