
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 |