
#include <gecode/flatzinc.hh>#include <string>#include <vector>#include <iostream>#include <algorithm>#include <gecode/flatzinc/option.hh>#include <gecode/flatzinc/varspec.hh>#include <gecode/flatzinc/conexpr.hh>#include <gecode/flatzinc/ast.hh>#include <gecode/flatzinc/parser.tab.hh>#include <gecode/flatzinc/symboltable.hh>Go to the source code of this file.
Classes | |
| class | Gecode::FlatZinc::OutputOrder |
| Strict weak ordering for output items. More... | |
| class | Gecode::FlatZinc::SymbolEntry |
| Entries in the symbol table. More... | |
| class | Gecode::FlatZinc::ParserState |
| State of the FlatZinc parser More... | |
Namespaces | |
| Gecode | |
| Gecode toplevel namespace | |
| Gecode::FlatZinc | |
| Interpreter for the FlatZinc language. | |
Typedefs | |
| typedef std::pair< std::string, Option< std::vector< int > * > > | Gecode::FlatZinc::intvartype |
| typedef std::pair< std::string, VarSpec * > | Gecode::FlatZinc::varspec |
Functions | |
| SymbolEntry | Gecode::FlatZinc::se_iv (int i) |
| Construct integer variable entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_bv (int i) |
| Construct Boolean variable entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_fv (int i) |
| Construct float variable entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_sv (int i) |
| Construct set variable entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_iva (int i) |
| Construct integer variable array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_bva (int i) |
| Construct Boolean variable array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_fva (int i) |
| Construct float variable array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_sva (int i) |
| Construct set variable array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_i (int i) |
| Construct integer entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_b (bool b) |
| Construct Boolean entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_s (int i) |
| Construct set entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_f (int i) |
| Construct float entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_ia (int i) |
| Construct integer array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_ba (int i) |
| Construct Boolean array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_sa (int i) |
| Construct set array entry. More... | |
| SymbolEntry | Gecode::FlatZinc::se_fa (int i) |
| Construct float array entry. More... | |