
A node in a FlatZinc abstract syntax tree. More...
#include <ast.hh>
Public Member Functions | |
| virtual | ~Node (void) |
| Destructor. More... | |
| void | append (Node *n) |
| Append n to an array node. More... | |
| bool | hasAtom (const std::string &id) |
| Test if node has atom with id. More... | |
| bool | isInt (int &i) |
| Test if node is int, if yes set i to the value. More... | |
| bool | isFloat (double &i) |
| Test if node is float, if yes set d to the value. More... | |
| bool | isCall (const std::string &id) |
| Test if node is function call with id. More... | |
| Call * | getCall (void) |
| Return function call. More... | |
| bool | hasCall (const std::string &id) |
| Test if node is function call or array containing function call id. More... | |
| Call * | getCall (const std::string &id) |
| Return function call id. More... | |
| Array * | getArray (void) |
| Cast this node to an array node. More... | |
| Atom * | getAtom (void) |
| Cast this node to an Atom node. More... | |
| std::string | getVarName (void) |
| Return name of variable represented by this node. More... | |
| int | getIntVar (void) |
| Cast this node to an integer variable node. More... | |
| int | getBoolVar (void) |
| Cast this node to a Boolean variable node. More... | |
| int | getFloatVar (void) |
| Cast this node to a Float variable node. More... | |
| int | getSetVar (void) |
| Cast this node to a set variable node. More... | |
| int | getInt (void) |
| Cast this node to an integer node. More... | |
| bool | getBool (void) |
| Cast this node to a Boolean node. More... | |
| double | getFloat (void) |
| Cast this node to a Float node. More... | |
| SetLit * | getSet (void) |
| Cast this node to a set literal node. More... | |
| std::string | getString (void) |
| Cast this node to a string node. More... | |
| bool | isIntVar (void) |
| Test if node is an integer variable node. More... | |
| bool | isBoolVar (void) |
| Test if node is a Boolean variable node. More... | |
| bool | isSetVar (void) |
| Test if node is a set variable node. More... | |
| bool | isFloatVar (void) |
| Test if node is a float variable node. More... | |
| bool | isInt (void) |
| Test if node is an integer node. More... | |
| bool | isFloat (void) |
| Test if node is a float node. More... | |
| bool | isBool (void) |
| Test if node is a Boolean node. More... | |
| bool | isString (void) |
| Test if node is a string node. More... | |
| bool | isArray (void) |
| Test if node is an array node. More... | |
| bool | isSet (void) |
| Test if node is a set literal node. More... | |
| bool | isAtom (void) |
| Test if node is an atom node. More... | |
| virtual void | print (std::ostream &)=0 |
| Output string representation. More... | |
|
inlinevirtual |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
pure virtual |
Output string representation.
Implemented in Gecode::FlatZinc::AST::String, Gecode::FlatZinc::AST::Atom, Gecode::FlatZinc::AST::ArrayAccess, Gecode::FlatZinc::AST::Call, Gecode::FlatZinc::AST::Array, Gecode::FlatZinc::AST::SetVar, Gecode::FlatZinc::AST::FloatVar, Gecode::FlatZinc::AST::IntVar, Gecode::FlatZinc::AST::BoolVar, Gecode::FlatZinc::AST::SetLit, Gecode::FlatZinc::AST::FloatLit, Gecode::FlatZinc::AST::IntLit, and Gecode::FlatZinc::AST::BoolLit.