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

Base class for variable specifications. More...

#include <varspec.hh>

Public Member Functions

virtual ~VarSpec (void)
 Destructor. More...
 
 VarSpec (bool introduced0, bool funcDep0)
 Constructor. More...
 

Public Attributes

int i
 Variable index. More...
 
bool alias
 Whether the variable aliases another variable. More...
 
bool assigned
 Whether the variable is assigned. More...
 
bool introduced
 Whether the variable was introduced in the mzn2fzn translation. More...
 
bool funcDep
 Whether the variable functionally depends on another variable. More...
 

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 59 of file varspec.hh.

Gecode::FlatZinc::VarSpec::VarSpec ( bool  introduced0,
bool  funcDep0 
)
inline

Constructor.

Definition at line 71 of file varspec.hh.

Member Data Documentation

int Gecode::FlatZinc::VarSpec::i

Variable index.

Definition at line 61 of file varspec.hh.

bool Gecode::FlatZinc::VarSpec::alias

Whether the variable aliases another variable.

Definition at line 63 of file varspec.hh.

bool Gecode::FlatZinc::VarSpec::assigned

Whether the variable is assigned.

Definition at line 65 of file varspec.hh.

bool Gecode::FlatZinc::VarSpec::introduced

Whether the variable was introduced in the mzn2fzn translation.

Definition at line 67 of file varspec.hh.

bool Gecode::FlatZinc::VarSpec::funcDep

Whether the variable functionally depends on another variable.

Definition at line 69 of file varspec.hh.


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