Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::FlatZinc::BoolVarSpec Class Reference

Specification for Boolean variables. More...

#include <varspec.hh>

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

Public Attributes

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

Detailed Description

Specification for Boolean variables.

Definition at line 97 of file varspec.hh.

Constructor & Destructor Documentation

◆ BoolVarSpec() [1/3]

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

Definition at line 100 of file varspec.hh.

◆ BoolVarSpec() [2/3]

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

Definition at line 104 of file varspec.hh.

◆ BoolVarSpec() [3/3]

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

Definition at line 108 of file varspec.hh.

◆ ~BoolVarSpec()

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

Definition at line 112 of file varspec.hh.

Member Data Documentation

◆ domain

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

Definition at line 99 of file varspec.hh.


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