Generated on Thu Feb 14 2013 20:59:56 for Gecode by doxygen 1.8.3.1
Gecode::FlatZinc::BoolVarSpec Class Reference

Specification for Boolean variables. More...

#include <varspec.hh>

Public Member Functions

 BoolVarSpec (Option< AST::SetLit * > &d, bool introduced)
 
 BoolVarSpec (bool b, bool introduced)
 
 BoolVarSpec (const Alias &eq, bool introduced)
 
 ~BoolVarSpec (void)
 
- Public Member Functions inherited from Gecode::FlatZinc::VarSpec
virtual ~VarSpec (void)
 Destructor. More...
 
 VarSpec (bool introduced0)
 Constructor. More...
 

Public Attributes

Option< AST::SetLit * > domain
 
- Public Attributes inherited from Gecode::FlatZinc::VarSpec
bool introduced
 Whether the variable was introduced in the mzn2fzn translation. More...
 
int i
 Variable index. More...
 
bool alias
 Whether the variable aliases another variable. More...
 
bool assigned
 Whether the variable is assigned. More...
 

Detailed Description

Specification for Boolean variables.

Definition at line 95 of file varspec.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::BoolVarSpec::BoolVarSpec ( Option< AST::SetLit * > &  d,
bool  introduced 
)
inline

Definition at line 98 of file varspec.hh.

Gecode::FlatZinc::BoolVarSpec::BoolVarSpec ( bool  b,
bool  introduced 
)
inline

Definition at line 102 of file varspec.hh.

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

Definition at line 105 of file varspec.hh.

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

Definition at line 108 of file varspec.hh.

Member Data Documentation

Option<AST::SetLit* > Gecode::FlatZinc::BoolVarSpec::domain

Definition at line 97 of file varspec.hh.


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