Gecode::FlatZinc::IntVarSpec Class Reference
Specification for integer variables. More...
#include <varspec.hh>
Public Member Functions | |
IntVarSpec (const Option< AST::SetLit * > &d, bool introduced, bool funcDep) | |
IntVarSpec (int i0, bool introduced, bool funcDep) | |
IntVarSpec (const Alias &eq, bool introduced, bool funcDep) | |
~IntVarSpec (void) | |
Public Attributes | |
Option< AST::SetLit * > | domain |
Detailed Description
Specification for integer variables.
Definition at line 72 of file varspec.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::IntVarSpec::IntVarSpec | ( | const Option< AST::SetLit * > & | d, | |
bool | introduced, | |||
bool | funcDep | |||
) | [inline] |
Definition at line 75 of file varspec.hh.
Gecode::FlatZinc::IntVarSpec::IntVarSpec | ( | int | i0, | |
bool | introduced, | |||
bool | funcDep | |||
) | [inline] |
Definition at line 82 of file varspec.hh.
Gecode::FlatZinc::IntVarSpec::IntVarSpec | ( | const Alias & | eq, | |
bool | introduced, | |||
bool | funcDep | |||
) | [inline] |
Definition at line 86 of file varspec.hh.
Gecode::FlatZinc::IntVarSpec::~IntVarSpec | ( | void | ) | [inline] |
Definition at line 90 of file varspec.hh.
Member Data Documentation
Definition at line 74 of file varspec.hh.
The documentation for this class was generated from the following file:
- gecode/flatzinc/varspec.hh