Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
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. 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...
 

Detailed Description

Map from constraint identifier to constraint posting functions.

Definition at line 48 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 51 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 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.


The documentation for this class was generated from the following files: