
Specification for Boolean variables. More...
#include <varspec.hh>
Public Member Functions | |
| BoolVarSpec (Option< AST::SetLit * > &d, bool introduced, bool funcDep) | |
| BoolVarSpec (bool b, bool introduced, bool funcDep) | |
| BoolVarSpec (const Alias &eq, bool introduced, bool funcDep) | |
| ~BoolVarSpec (void) | |
Public Member Functions inherited from Gecode::FlatZinc::VarSpec | |
| virtual | ~VarSpec (void) |
| Destructor. More... | |
| VarSpec (bool introduced0, bool funcDep0) | |
| Constructor. More... | |
Public Attributes | |
| Option< AST::SetLit * > | domain |
Public Attributes inherited from Gecode::FlatZinc::VarSpec | |
| 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... | |
Specification for Boolean variables.
Definition at line 101 of file varspec.hh.
|
inline |
Definition at line 104 of file varspec.hh.
|
inline |
Definition at line 108 of file varspec.hh.
|
inline |
Definition at line 112 of file varspec.hh.
|
inline |
Definition at line 116 of file varspec.hh.
| Option<AST::SetLit* > Gecode::FlatZinc::BoolVarSpec::domain |
Definition at line 103 of file varspec.hh.