Abstract representation of a constraint. More...
#include <conexpr.hh>
Public Member Functions | |
ConExpr (const std::string &id0, AST::Array *args0, AST::Array *ann0) | |
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. | |
AST::Array * | ann |
Constraint annotations. | |
Abstract representation of a constraint.
Definition at line 43 of file conexpr.hh.
|
inline |
Constructor.
Definition at line 62 of file conexpr.hh.
|
inline |
Destructor.
Definition at line 72 of file conexpr.hh.
|
inline |
Return argument i.
Definition at line 66 of file conexpr.hh.
|
inline |
Return number of arguments.
Definition at line 69 of file conexpr.hh.
std::string Gecode::FlatZinc::ConExpr::id |
Identifier for the constraint.
Definition at line 46 of file conexpr.hh.
AST::Array* Gecode::FlatZinc::ConExpr::args |
Constraint arguments.
Definition at line 48 of file conexpr.hh.
AST::Array* Gecode::FlatZinc::ConExpr::ann |
Constraint annotations.
Definition at line 50 of file conexpr.hh.