Specification for set variables.
More...
#include <varspec.hh>
|
| Option< AST::SetLit * > | upperBound |
| |
| int | i |
| | Variable index.
|
| |
| bool | alias |
| | Whether the variable aliases another variable.
|
| |
| bool | assigned |
| | Whether the variable is assigned.
|
| |
| bool | introduced |
| | Whether the variable was introduced in the mzn2fzn translation.
|
| |
| bool | funcDep |
| | Whether the variable functionally depends on another variable.
|
| |
Specification for set variables.
Definition at line 139 of file varspec.hh.
◆ SetVarSpec() [1/4]
| Gecode::FlatZinc::SetVarSpec::SetVarSpec |
( |
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ SetVarSpec() [2/4]
| Gecode::FlatZinc::SetVarSpec::SetVarSpec |
( |
const Option< AST::SetLit * > & | v, |
|
|
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ SetVarSpec() [3/4]
| Gecode::FlatZinc::SetVarSpec::SetVarSpec |
( |
AST::SetLit * | v, |
|
|
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ SetVarSpec() [4/4]
| Gecode::FlatZinc::SetVarSpec::SetVarSpec |
( |
const Alias & | eq, |
|
|
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ ~SetVarSpec()
| Gecode::FlatZinc::SetVarSpec::~SetVarSpec |
( |
void | | ) |
|
|
inline |
◆ upperBound
The documentation for this class was generated from the following file: