Include dependency graph for var_bool.hpp:
Go to the source code of this file.
Data Structures | |
| class | VarBool |
| Interface for read-only boolean variable. More... | |
| class | VarBoolTrue |
| Constant true VarBool. More... | |
| class | VarBoolFalse |
| Constant false VarBool. More... | |
| class | VarBoolImpl |
| Boolean variable implementation (read/write). More... | |
| class | VarBoolAndBool |
| Conjunction of two boolean variables (AND). More... | |
| class | VarBoolOrBool |
| Disjunction of two boolean variables (OR). More... | |
| class | VarNotBool |
| Negation of a boolean variable (NOT). More... | |
1.5.1