Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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

◆ poster

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

◆ add()

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.

◆ post()

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: