Generated on Mon Aug 27 2012 17:15:59 for Gecode by doxygen 1.8.1.2
Gecode::FlatZinc::SetVarSpec Class Reference

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)
- Public Member Functions inherited from Gecode::FlatZinc::VarSpec
virtual ~VarSpec (void)
 Destructor.
 VarSpec (bool introduced0)
 Constructor.

Public Attributes

Option< AST::SetLit * > upperBound
- Public Attributes inherited from Gecode::FlatZinc::VarSpec
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.

Detailed Description

Specification for set variables.

Definition at line 135 of file varspec.hh.

Constructor & Destructor Documentation

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

Definition at line 138 of file varspec.hh.

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

Definition at line 142 of file varspec.hh.

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

Definition at line 146 of file varspec.hh.

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

Definition at line 150 of file varspec.hh.

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

Definition at line 153 of file varspec.hh.

Member Data Documentation

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

Definition at line 137 of file varspec.hh.


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