Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
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 Member Functions inherited from Gecode::FlatZinc::VarSpec
virtual ~VarSpec (void)
 Destructor. More...
 
 VarSpec (bool introduced0, bool funcDep0)
 Constructor. More...
 

Public Attributes

Option< AST::SetLit * > upperBound
 
- 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...
 

Detailed Description

Specification for set variables.

Definition at line 143 of file varspec.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::SetVarSpec::SetVarSpec ( bool  introduced,
bool  funcDep 
)
inline

Definition at line 146 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::SetVarSpec ( const Option< AST::SetLit * > &  v,
bool  introduced,
bool  funcDep 
)
inline

Definition at line 150 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::SetVarSpec ( AST::SetLit v,
bool  introduced,
bool  funcDep 
)
inline

Definition at line 154 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::SetVarSpec ( const Alias eq,
bool  introduced,
bool  funcDep 
)
inline

Definition at line 159 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::~SetVarSpec ( void  )
inline

Definition at line 163 of file varspec.hh.

Member Data Documentation

Option<AST::SetLit*> Gecode::FlatZinc::SetVarSpec::upperBound

Definition at line 145 of file varspec.hh.


The documentation for this class was generated from the following file: