Generated on Fri Oct 19 11:25:56 2018 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::Registry Class Reference

Map from constraint identifier to constraint posting functions. More...

#include <registry.hh>

List of all members.

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

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: