Reification specification.
More...
#include <int.hh>
List of all members.
Detailed Description
Reification specification.
Definition at line 857 of file int.hh.
Constructor & Destructor Documentation
Gecode::Reify::Reify |
( |
void |
|
) |
[inline] |
Default constructor without proper initialization.
Definition at line 46 of file reify.hpp.
Construct reification specification.
Definition at line 49 of file reify.hpp.
Member Function Documentation
BoolVar Gecode::Reify::var |
( |
void |
|
) |
const [inline] |
Return Boolean control variable.
Definition at line 52 of file reify.hpp.
ReifyMode Gecode::Reify::mode |
( |
void |
|
) |
const [inline] |
Return reification mode.
Definition at line 60 of file reify.hpp.
void Gecode::Reify::var |
( |
BoolVar |
x |
) |
[inline] |
Set Boolean control variable.
Definition at line 56 of file reify.hpp.
void Gecode::Reify::mode |
( |
ReifyMode |
rm |
) |
[inline] |
Member Data Documentation
The Boolean control variable.
Definition at line 860 of file int.hh.
The reification mode.
Definition at line 862 of file int.hh.
The documentation for this class was generated from the following files: