Generated on Fri Aug 24 2012 04:52:27 for Gecode by doxygen 1.8.1.1
Gecode::FlatZinc::ConExpr Class Reference

Abstract representation of a constraint. More...

#include <conexpr.hh>

List of all members.

Public Member Functions

 ConExpr (const std::string &id0, AST::Array *args0)
 Constructor.
AST::Nodeoperator[] (int i) const
 Return argument i.
int size (void) const
 Return number of arguments.
 ~ConExpr (void)
 Destructor.

Public Attributes

std::string id
 Identifier for the constraint.
AST::Arrayargs
 Constraint arguments.

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 
)
inline

Constructor.

Definition at line 64 of file conexpr.hh.

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

Destructor.

Definition at line 74 of file conexpr.hh.


Member Function Documentation

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

Return argument i.

Definition at line 68 of file conexpr.hh.

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

Return number of arguments.

Definition at line 71 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.


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