Gecode::FlatZinc::SetVarSpec Class Reference
Specification for set variables. More...
#include <varspec.hh>
Public Member Functions | |
SetVarSpec (bool introduced, bool funcDep) | |
SetVarSpec (const Option< AST::SetLit * > &v, bool introduced, bool funcDep) | |
SetVarSpec (AST::SetLit *v, bool introduced, bool funcDep) | |
SetVarSpec (const Alias &eq, bool introduced, bool funcDep) | |
~SetVarSpec (void) | |
Public Attributes | |
Option< AST::SetLit * > | upperBound |
Detailed Description
Specification for set variables.
Definition at line 139 of file varspec.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::SetVarSpec::SetVarSpec | ( | bool | introduced, | |
bool | funcDep | |||
) | [inline] |
Definition at line 142 of file varspec.hh.
Gecode::FlatZinc::SetVarSpec::SetVarSpec | ( | const Option< AST::SetLit * > & | v, | |
bool | introduced, | |||
bool | funcDep | |||
) | [inline] |
Definition at line 146 of file varspec.hh.
Gecode::FlatZinc::SetVarSpec::SetVarSpec | ( | AST::SetLit * | v, | |
bool | introduced, | |||
bool | funcDep | |||
) | [inline] |
Definition at line 150 of file varspec.hh.
Gecode::FlatZinc::SetVarSpec::SetVarSpec | ( | const Alias & | eq, | |
bool | introduced, | |||
bool | funcDep | |||
) | [inline] |
Definition at line 155 of file varspec.hh.
Gecode::FlatZinc::SetVarSpec::~SetVarSpec | ( | void | ) | [inline] |
Definition at line 159 of file varspec.hh.
Member Data Documentation
Definition at line 141 of file varspec.hh.
The documentation for this class was generated from the following file:
- gecode/flatzinc/varspec.hh