Gecode::FlatZinc::AST::Call Class Reference

Node representing a function call More...

#include <ast.hh>

List of all members.

Public Member Functions
	Call (const std::string &id0, Node *args0)
	~Call (void)
virtual void	print (std::ostream &os)
	Output string representation.
Array *	getArgs (unsigned int n)
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::string	id
Node *	args

---

Detailed Description

Node representing a function call

Definition at line 245 of file ast.hh.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::AST::Call::Call ( const std::string &  id0, Node *  args0  )

inline

Definition at line 249 of file ast.hh.

Gecode::FlatZinc::AST::Call::~Call ( void  )

inline

Definition at line 251 of file ast.hh.

---

Member Function Documentation

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

inlinevirtual

Output string representation.

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

Definition at line 252 of file ast.hh.

Array* Gecode::FlatZinc::AST::Call::getArgs ( unsigned int  n )

inline

Definition at line 255 of file ast.hh.

---

Member Data Documentation

std::string Gecode::FlatZinc::AST::Call::id

Definition at line 247 of file ast.hh.

Node* Gecode::FlatZinc::AST::Call::args

Definition at line 248 of file ast.hh.

---

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

• gecode/flatzinc/ast.hh (Revision: 12537)