Generated on Thu Apr 11 13:59:51 2019 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::BoolVarSpec Class Reference

Specification for Boolean variables. More...

#include <varspec.hh>

List of all members.

Public Member Functions

 BoolVarSpec (Option< AST::SetLit * > &d, bool introduced, bool funcDep)
 BoolVarSpec (bool b, bool introduced, bool funcDep)
 BoolVarSpec (const Alias &eq, bool introduced, bool funcDep)
 ~BoolVarSpec (void)

Public Attributes

Option< AST::SetLit * > domain

Detailed Description

Specification for Boolean variables.

Definition at line 97 of file varspec.hh.


Constructor & Destructor Documentation

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

Definition at line 100 of file varspec.hh.

Gecode::FlatZinc::BoolVarSpec::BoolVarSpec ( bool  b,
bool  introduced,
bool  funcDep 
) [inline]

Definition at line 104 of file varspec.hh.

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

Definition at line 108 of file varspec.hh.

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

Definition at line 112 of file varspec.hh.


Member Data Documentation


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