Reification specification.
More...
#include <int.hh>
Reification specification.
Definition at line 891 of file int.hh.
◆ Reify() [1/2]
Gecode::Reify::Reify |
( |
void | | ) |
|
|
inline |
Default constructor without proper initialization.
Definition at line 42 of file reify.hpp.
◆ Reify() [2/2]
Construct reification specification.
Definition at line 45 of file reify.hpp.
◆ var() [1/2]
BoolVar Gecode::Reify::var |
( |
void | | ) |
const |
|
inline |
Return Boolean control variable.
Definition at line 48 of file reify.hpp.
◆ mode() [1/2]
Return reification mode.
Definition at line 56 of file reify.hpp.
◆ var() [2/2]
void Gecode::Reify::var |
( |
BoolVar | x | ) |
|
|
inline |
Set Boolean control variable.
Definition at line 52 of file reify.hpp.
◆ mode() [2/2]
The Boolean control variable.
Definition at line 894 of file int.hh.
◆ rm
The reification mode.
Definition at line 896 of file int.hh.
The documentation for this class was generated from the following files: