Generated on Mon Sep 17 2012 22:20:54 for Gecode by doxygen 1.8.1.1
Gecode::FlatZinc::AST::Array Class Reference

Array node More...

#include <ast.hh>

List of all members.

Public Member Functions

 Array (const std::vector< Node * > &a0)
 Array (Node *n)
 Array (int n=0)
virtual void print (std::ostream &os)
 Output string representation.
 ~Array (void)
- Public Member Functions inherited from Gecode::FlatZinc::AST::Node
virtual ~Node (void)
 Destructor.
void append (Node *n)
 Append n to an array node.
bool hasAtom (const std::string &id)
 Test if node has atom with id.
bool isInt (int &i)
 Test if node is int, if yes set i to the value.
bool isCall (const std::string &id)
 Test if node is function call with id.
Call * getCall (void)
 Return function call.
bool hasCall (const std::string &id)
 Test if node is function call or array containing function call id.
Call * getCall (const std::string &id)
 Return function call id.
Array * getArray (void)
 Cast this node to an array node.
Atom * getAtom (void)
 Cast this node to an Atom node.
int getIntVar (void)
 Cast this node to an integer variable node.
int getBoolVar (void)
 Cast this node to a Boolean variable node.
int getSetVar (void)
 Cast this node to a set variable node.
int getInt (void)
 Cast this node to an integer node.
bool getBool (void)
 Cast this node to a Boolean node.
double getFloat (void)
 Cast this node to a Float node.
SetLit * getSet (void)
 Cast this node to a set literal node.
std::string getString (void)
 Cast this node to a string node.
bool isIntVar (void)
 Test if node is an integer variable node.
bool isBoolVar (void)
 Test if node is a Boolean variable node.
bool isSetVar (void)
 Test if node is a set variable node.
bool isInt (void)
 Test if node is an integer node.
bool isBool (void)
 Test if node is a Boolean node.
bool isString (void)
 Test if node is a string node.
bool isArray (void)
 Test if node is an array node.
bool isSet (void)
 Test if node is a set literal node.
bool isAtom (void)
 Test if node is an atom node.

Public Attributes

std::vector< Node * > a

Detailed Description

Array node

Definition at line 221 of file ast.hh.


Constructor & Destructor Documentation

Gecode::FlatZinc::AST::Array::Array ( const std::vector< Node * > &  a0)
inline

Definition at line 224 of file ast.hh.

Gecode::FlatZinc::AST::Array::Array ( Node *  n)
inline

Definition at line 226 of file ast.hh.

Gecode::FlatZinc::AST::Array::Array ( int  n = 0)
inline

Definition at line 228 of file ast.hh.

Gecode::FlatZinc::AST::Array::~Array ( void  )
inline

Definition at line 238 of file ast.hh.


Member Function Documentation

virtual void Gecode::FlatZinc::AST::Array::print ( std::ostream &  )
inlinevirtual

Output string representation.

Implements Gecode::FlatZinc::AST::Node.

Definition at line 229 of file ast.hh.


Member Data Documentation

std::vector<Node*> Gecode::FlatZinc::AST::Array::a

Definition at line 223 of file ast.hh.


The documentation for this class was generated from the following file: