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