Generated on Thu Mar 13 2014 04:39:43 for Gecode by doxygen 1.8.1.2
Gecode::FlatZinc::VarSpec Class Reference

Base class for variable specifications. More...

#include <varspec.hh>

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

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: