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

Gecode::FlatZinc::IntVarSpec Class Reference

Specification for integer variables. More...

#include <varspec.hh>

List of all members.

Public Member Functions

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

Public Attributes

Option< AST::SetLit * > domain

Detailed Description

Specification for integer variables.

Definition at line 72 of file varspec.hh.

Constructor & Destructor Documentation

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

Definition at line 75 of file varspec.hh.

Gecode::FlatZinc::IntVarSpec::IntVarSpec ( int  i0,
bool  introduced,
bool  funcDep 
) [inline]

Definition at line 82 of file varspec.hh.

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

Definition at line 86 of file varspec.hh.

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

Definition at line 90 of file varspec.hh.

Member Data Documentation

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

Definition at line 74 of file varspec.hh.

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