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