Reification specification. More...
#include <int.hh>
Public Member Functions | |
Reify (void) | |
Default constructor without proper initialization. | |
Reify (BoolVar x, ReifyMode rm=RM_EQV) | |
Construct reification specification. | |
BoolVar | var (void) const |
Return Boolean control variable. | |
ReifyMode | mode (void) const |
Return reification mode. | |
void | var (BoolVar x) |
Set Boolean control variable. | |
void | mode (ReifyMode rm) |
Set reification mode. | |
Protected Attributes | |
BoolVar | x |
The Boolean control variable. | |
ReifyMode | rm |
The reification mode. |
Gecode::Reify::Reify | ( | void | ) | [inline] |
Gecode::Reify::Reify | ( | BoolVar | x, |
ReifyMode | rm = RM_EQV |
||
) | [inline] |
BoolVar Gecode::Reify::var | ( | void | ) | const [inline] |
ReifyMode Gecode::Reify::mode | ( | void | ) | const [inline] |
void Gecode::Reify::var | ( | BoolVar | x | ) | [inline] |
void Gecode::Reify::mode | ( | ReifyMode | rm | ) | [inline] |
BoolVar Gecode::Reify::x [protected] |
ReifyMode Gecode::Reify::rm [protected] |