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::Node *	operator[] (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::Array *	args
	Constraint arguments.

---

Detailed Description

Abstract representation of a constraint.

Definition at line 46 of file conexpr.hh.

---

Constructor & Destructor Documentation

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

Constructor.

Definition at line 63 of file conexpr.hh.

Gecode::FlatZinc::ConExpr::~ConExpr

(

void

)

[inline]

Destructor.

Definition at line 73 of file conexpr.hh.

---

Member Function Documentation

AST::Node * Gecode::FlatZinc::ConExpr::operator[]

(

int

i

)

const [inline]

Return argument i.

Definition at line 67 of file conexpr.hh.

int Gecode::FlatZinc::ConExpr::size

(

void

)

const [inline]

Return number of arguments.

Definition at line 70 of file conexpr.hh.

---

Member Data Documentation

std::string Gecode::FlatZinc::ConExpr::id

Identifier for the constraint.

Definition at line 46 of file conexpr.hh.

AST::Array* Gecode::FlatZinc::ConExpr::args

Constraint arguments.

Definition at line 48 of file conexpr.hh.

---

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

• gecode/flatzinc/conexpr.hh (Revision: 12336)