#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... | |