
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.