Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::FlatZinc::AST::SetLit Class Reference

Set literal node More...

#include <ast.hh>

Public Member Functions

 SetLit (void)
 
 SetLit (int min0, int max0)
 
 SetLit (const std::vector< int > &s0)
 
 SetLit (SetLit *s0)
 
bool empty (void) const
 
virtual void print (std::ostream &os)
 Output string representation. More...
 
- Public Member Functions inherited from Gecode::FlatZinc::AST::Node
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...
 
CallgetCall (void)
 Return function call. More...
 
bool hasCall (const std::string &id)
 Test if node is function call or array containing function call id. More...
 
CallgetCall (const std::string &id)
 Return function call id. More...
 
ArraygetArray (void)
 Cast this node to an array node. More...
 
AtomgetAtom (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...
 
SetLitgetSet (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...
 

Public Attributes

bool interval
 
int min
 
int max
 
std::vector< int > s
 

Detailed Description

Set literal node

Definition at line 175 of file ast.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::AST::SetLit::SetLit ( void  )
inline

Definition at line 180 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit ( int  min0,
int  max0 
)
inline

Definition at line 181 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit ( const std::vector< int > &  s0)
inline

Definition at line 182 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit ( SetLit s0)
inlineexplicit

Definition at line 183 of file ast.hh.

Member Function Documentation

bool Gecode::FlatZinc::AST::SetLit::empty ( void  ) const
inline

Definition at line 184 of file ast.hh.

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

Output string representation.

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

Definition at line 187 of file ast.hh.

Member Data Documentation

bool Gecode::FlatZinc::AST::SetLit::interval

Definition at line 177 of file ast.hh.

int Gecode::FlatZinc::AST::SetLit::min

Definition at line 178 of file ast.hh.

int Gecode::FlatZinc::AST::SetLit::max

Definition at line 178 of file ast.hh.

std::vector<int> Gecode::FlatZinc::AST::SetLit::s

Definition at line 179 of file ast.hh.


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