Gecode::FlatZinc::AST Namespace Reference
Abstract syntax trees for the FlatZinc interpreter. More...
Classes | |
| class | TypeError |
| Exception signaling type error More... | |
| class | Node |
| A node in a FlatZinc abstract syntax tree. More... | |
| class | BoolLit |
| Boolean literal node. More... | |
| class | IntLit |
| Integer literal node. More... | |
| class | FloatLit |
| Float literal node. More... | |
| class | SetLit |
| Set literal node More... | |
| class | Var |
| Variable node base class. More... | |
| class | BoolVar |
| Boolean variable node. More... | |
| class | IntVar |
| Integer variable node. More... | |
| class | FloatVar |
| Float variable node. More... | |
| class | SetVar |
| Set variable node More... | |
| class | Array |
| Array node More... | |
| class | Call |
| Node representing a function call More... | |
| class | ArrayAccess |
| Node representing an array access More... | |
| class | Atom |
| Node representing an atom More... | |
| class | String |
| String node More... | |
Functions | |
| Node * | extractSingleton (Node *n) |
Detailed Description
Abstract syntax trees for the FlatZinc interpreter.