Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::FlatZinc::AST::Var Class Reference

Variable node base class. More...

#include <ast.hh>

Public Member Functions

 Var (int i0, const std::string &n0)
 Constructor.
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 isFloat (double &i)
 Test if node is float, if yes set d to the value.
bool isCall (const std::string &id)
 Test if node is function call with id.
CallgetCall (void)
 Return function call.
bool hasCall (const std::string &id)
 Test if node is function call or array containing function call id.
CallgetCall (const std::string &id)
 Return function call id.
ArraygetArray (void)
 Cast this node to an array node.
AtomgetAtom (void)
 Cast this node to an Atom node.
std::string getVarName (void)
 Return name of variable represented by this node.
int getIntVar (void)
 Cast this node to an integer variable node.
int getBoolVar (void)
 Cast this node to a Boolean variable node.
int getFloatVar (void)
 Cast this node to a Float 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.
SetLitgetSet (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 isFloatVar (void)
 Test if node is a float variable node.
bool isInt (void)
 Test if node is an integer node.
bool isFloat (void)
 Test if node is a float 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.
virtual void print (std::ostream &)=0
 Output string representation.

Public Attributes

int i
std::string n

Detailed Description

Variable node base class.

Definition at line 189 of file ast.hh.

Constructor & Destructor Documentation

◆ Var()

Gecode::FlatZinc::AST::Var::Var ( int i0,
const std::string & n0 )
inline

Constructor.

Definition at line 194 of file ast.hh.

Member Data Documentation

◆ i

int Gecode::FlatZinc::AST::Var::i

Definition at line 191 of file ast.hh.

◆ n

std::string Gecode::FlatZinc::AST::Var::n

Definition at line 192 of file ast.hh.


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