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

Gecode::FlatZinc::VarSpec Class Reference

Base class for variable specifications. More...

#include <varspec.hh>

List of all members.

Public Member Functions

virtual ~VarSpec (void)
 Destructor.
 VarSpec (bool introduced0, bool funcDep0)
 Constructor.

Public Attributes

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

Base class for variable specifications.

Definition at line 52 of file varspec.hh.


Constructor & Destructor Documentation

virtual Gecode::FlatZinc::VarSpec::~VarSpec ( void   )  [inline, virtual]

Destructor.

Definition at line 55 of file varspec.hh.

Gecode::FlatZinc::VarSpec::VarSpec ( bool  introduced0,
bool  funcDep0 
) [inline]

Constructor.

Definition at line 67 of file varspec.hh.


Member Data Documentation

Variable index.

Definition at line 57 of file varspec.hh.

Whether the variable aliases another variable.

Definition at line 59 of file varspec.hh.

Whether the variable is assigned.

Definition at line 61 of file varspec.hh.

Whether the variable was introduced in the mzn2fzn translation.

Definition at line 63 of file varspec.hh.

Whether the variable functionally depends on another variable.

Definition at line 65 of file varspec.hh.


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