Specification for set variables. More...
#include <varspec.hh>
Public Member Functions | |
SetVarSpec (bool introduced) | |
SetVarSpec (const Option< AST::SetLit * > &v, bool introduced) | |
SetVarSpec (AST::SetLit *v, bool introduced) | |
SetVarSpec (const Alias &eq, bool introduced) | |
~SetVarSpec (void) | |
![]() | |
virtual | ~VarSpec (void) |
Destructor. | |
VarSpec (bool introduced0) | |
Constructor. |
Public Attributes | |
Option< AST::SetLit * > | upperBound |
![]() | |
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. |
Specification for set variables.
Definition at line 135 of file varspec.hh.
|
inline |
Definition at line 138 of file varspec.hh.
|
inline |
Definition at line 142 of file varspec.hh.
|
inline |
Definition at line 146 of file varspec.hh.
|
inline |
Definition at line 150 of file varspec.hh.
|
inline |
Definition at line 153 of file varspec.hh.
Option<AST::SetLit*> Gecode::FlatZinc::SetVarSpec::upperBound |
Definition at line 137 of file varspec.hh.