
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... | |
Base class for variable specifications.
Definition at line 56 of file varspec.hh.
|
inlinevirtual |
Destructor.
Definition at line 59 of file varspec.hh.
|
inline |
Constructor.
Definition at line 71 of file varspec.hh.
| 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.