Gecode::FlatZinc::VarSpec Class Reference

Base class for variable specifications. More...

#include <varspec.hh>

List of all members.

Public Member Functions
virtual	~VarSpec (void)
	Destructor.
	VarSpec (bool introduced0)
	Constructor.
Public Attributes
bool	introduced
	Whether the variable was introduced in the mzn2fzn translation.
int	i
	Variable index.
bool	alias
	Whether the variable aliases another variable.
bool	assigned
	Whether the variable is assigned.

---

Detailed Description

Base class for variable specifications.

Definition at line 56 of file varspec.hh.

---

Constructor & Destructor Documentation

virtual Gecode::FlatZinc::VarSpec::~VarSpec

(

void

)

[inline, virtual]

Destructor.

Definition at line 61 of file varspec.hh.

Gecode::FlatZinc::VarSpec::VarSpec

(

bool

introduced0

)

[inline]

Constructor.

Definition at line 69 of file varspec.hh.

---

Member Data Documentation

bool Gecode::FlatZinc::VarSpec::introduced

Whether the variable was introduced in the mzn2fzn translation.

Definition at line 59 of file varspec.hh.

int Gecode::FlatZinc::VarSpec::i

Variable index.

Definition at line 63 of file varspec.hh.

bool Gecode::FlatZinc::VarSpec::alias

Whether the variable aliases another variable.

Definition at line 65 of file varspec.hh.

bool Gecode::FlatZinc::VarSpec::assigned

Whether the variable is assigned.

Definition at line 67 of file varspec.hh.

---

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

• gecode/flatzinc/varspec.hh (Revision: 10682)