Abstract representation of a constraint. More...
#include <conexpr.hh>
Public Member Functions | |
ConExpr (const std::string &id0, AST::Array *args0) | |
Constructor. | |
AST::Node * | operator[] (int i) const |
Return argument i. | |
int | size (void) const |
Return number of arguments. | |
~ConExpr (void) | |
Destructor. | |
Public Attributes | |
std::string | id |
Identifier for the constraint. | |
AST::Array * | args |
Constraint arguments. |
Abstract representation of a constraint.
Definition at line 47 of file conexpr.hh.
Gecode::FlatZinc::ConExpr::ConExpr | ( | const std::string & | id0, |
AST::Array * | args0 | ||
) | [inline] |
Constructor.
Definition at line 64 of file conexpr.hh.
Gecode::FlatZinc::ConExpr::~ConExpr | ( | void | ) | [inline] |
Destructor.
Definition at line 74 of file conexpr.hh.
AST::Node * Gecode::FlatZinc::ConExpr::operator[] | ( | int | i | ) | const [inline] |
Return argument i.
Definition at line 68 of file conexpr.hh.
int Gecode::FlatZinc::ConExpr::size | ( | void | ) | const [inline] |
Return number of arguments.
Definition at line 71 of file conexpr.hh.
std::string Gecode::FlatZinc::ConExpr::id |
Identifier for the constraint.
Definition at line 50 of file conexpr.hh.
Constraint arguments.
Definition at line 52 of file conexpr.hh.