Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::FlatZinc::ConExpr Class Reference

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::Nodeoperator[] (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::Arrayargs
 Constraint arguments. More...
 
AST::Arrayann
 Constraint annotations. More...
 

Detailed Description

Abstract representation of a constraint.

Definition at line 47 of file conexpr.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::ConExpr::ConExpr ( const std::string &  id0,
AST::Array args0,
AST::Array ann0 
)
inline

Constructor.

Definition at line 66 of file conexpr.hh.

Gecode::FlatZinc::ConExpr::~ConExpr ( void  )
inline

Destructor.

Definition at line 76 of file conexpr.hh.

Member Function Documentation

AST::Node * Gecode::FlatZinc::ConExpr::operator[] ( int  i) const
inline

Return argument i.

Definition at line 70 of file conexpr.hh.

int Gecode::FlatZinc::ConExpr::size ( void  ) const
inline

Return number of arguments.

Definition at line 73 of file conexpr.hh.

Member Data Documentation

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.


The documentation for this class was generated from the following file: