Namespaces |
| namespace | AST |
| | Abstract syntax trees for the FlatZinc interpreter.
|
Classes |
| class | ConExpr |
| | Abstract representation of a constraint. More...
|
| struct | Option |
| | Optional value. More...
|
| class | OutputOrder |
| | Strict weak ordering for output items. More...
|
| class | SymbolEntry |
| | Entries in the symbol table. More...
|
| class | ParserState |
| | State of the FlatZinc parser More...
|
| class | Registry |
| | Map from constraint identifier to constraint posting functions. More...
|
| class | SymbolTable |
| | Symbol table mapping identifiers (strings) to values. More...
|
| class | Alias |
| | Alias for a variable specification More...
|
| class | VarSpec |
| | Base class for variable specifications. More...
|
| class | IntVarSpec |
| | Specification for integer variables. More...
|
| class | BoolVarSpec |
| | Specification for Boolean variables. More...
|
| class | FloatVarSpec |
| | Specification for floating point variables. More...
|
| class | SetVarSpec |
| | Specification for set variables. More...
|
| class | Printer |
| | Output support class for FlatZinc interpreter. More...
|
| class | FlatZincOptions |
| | Options for running FlatZinc models More...
|
| class | FlatZincSpace |
| | A space that can be initialized with a FlatZinc model. More...
|
| class | Error |
| | Exception class for FlatZinc errors More...
|
Typedefs |
typedef std::pair< std::string,
Option< std::vector< int > * > > | intvartype |
typedef std::pair< std::string,
VarSpec * > | varspec |
Enumerations |
| enum | SymbolType {
ST_INTVAR,
ST_BOOLVAR,
ST_FLOATVAR,
ST_SETVAR,
ST_INTVARARRAY,
ST_BOOLVARARRAY,
ST_SETVARARRAY,
ST_FLOATVARARRAY,
ST_INTVALARRAY,
ST_BOOLVALARRAY,
ST_SETVALARRAY,
ST_INT,
ST_BOOL,
ST_SET
} |
| | Types of symbols.
More...
|
Functions |
| IntSet | vs2is (IntVarSpec *vs) |
| int | vs2bsl (BoolVarSpec *bs) |
| int | vs2bsh (BoolVarSpec *bs) |
| TieBreakVarBranch< IntVarBranch > | ann2ivarsel (AST::Node *ann) |
| IntValBranch | ann2ivalsel (AST::Node *ann) |
| IntAssign | ann2asnivalsel (AST::Node *ann) |
| SetVarBranch | ann2svarsel (AST::Node *ann) |
| SetValBranch | ann2svalsel (AST::Node *ann) |
| void | flattenAnnotations (AST::Array *ann, std::vector< AST::Node * > &out) |
| SymbolEntry | se_iv (int i) |
| | Construct integer variable entry.
|
| SymbolEntry | se_bv (int i) |
| | Construct Boolean variable entry.
|
| SymbolEntry | se_fv (int i) |
| | Construct float variable entry.
|
| SymbolEntry | se_sv (int i) |
| | Construct set variable entry.
|
| SymbolEntry | se_iva (int i) |
| | Construct integer variable array entry.
|
| SymbolEntry | se_bva (int i) |
| | Construct Boolean variable array entry.
|
| SymbolEntry | se_fva (int i) |
| | Construct float variable array entry.
|
| SymbolEntry | se_sva (int i) |
| | Construct set variable array entry.
|
| SymbolEntry | se_i (int i) |
| | Construct integer entry.
|
| SymbolEntry | se_b (bool b) |
| | Construct Boolean entry.
|
| SymbolEntry | se_s (int i) |
| | Construct set entry.
|
| SymbolEntry | se_ia (int i) |
| | Construct integer array entry.
|
| SymbolEntry | se_ba (int i) |
| | Construct Boolean array entry.
|
| SymbolEntry | se_sa (int i) |
| | Construct set array entry.
|
| Registry & | registry (void) |
| | Return global registry object.
|
GECODE_FLATZINC_EXPORT
FlatZincSpace * | parse (const std::string &fileName, Printer &p, std::ostream &err=std::cerr, FlatZincSpace *fzs=NULL) |
| | Parse FlatZinc file fileName into fzs and return it.
|
GECODE_FLATZINC_EXPORT
FlatZincSpace * | parse (std::istream &is, Printer &p, std::ostream &err=std::cerr, FlatZincSpace *fzs=NULL) |
| | Parse FlatZinc from is into fzs and return it.
|
Interpreter for the FlatZinc language.
