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