34 #ifndef __GECODE_FLATZINC_CONEXPR_HH__
35 #define __GECODE_FLATZINC_CONEXPR_HH__
40 namespace Gecode {
namespace FlatZinc {
63 : id(id0), args(args0), ann(ann0) {}
A node in a FlatZinc abstract syntax tree.
Abstract representation of a constraint.
~ConExpr(void)
Destructor.
std::string id
Identifier for the constraint.
AST::Array * args
Constraint arguments.
AST::Node * operator[](int i) const
Return argument i.
int size(void) const
Return number of arguments.
AST::Array * ann
Constraint annotations.
ConExpr(const std::string &id0, AST::Array *args0, AST::Array *ann0)
Constructor.
Gecode::IntArgs i({1, 2, 3, 4})