Generated on Fri Oct 19 11:25:56 2018 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::SetVarSpec Class Reference

Specification for set variables. More...

#include <varspec.hh>

List of all members.

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 Attributes

Option< AST::SetLit * > upperBound

Detailed Description

Specification for set variables.

Definition at line 139 of file varspec.hh.


Constructor & Destructor Documentation

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

Definition at line 142 of file varspec.hh.

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

Definition at line 146 of file varspec.hh.

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

Definition at line 150 of file varspec.hh.

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

Definition at line 155 of file varspec.hh.

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

Definition at line 159 of file varspec.hh.


Member Data Documentation


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