34#ifndef __GECODE_FLATZINC_CONEXPR_HH__
35#define __GECODE_FLATZINC_CONEXPR_HH__
A node in a FlatZinc abstract syntax tree.
~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.
Interpreter for the FlatZinc language.
Gecode toplevel namespace