Definition at line 122 of file sat_base.h.
◆ VariablesAssignment() [1/2]
◆ VariablesAssignment() [2/2]
◆ AssignFromTrueLiteral()
void AssignFromTrueLiteral |
( |
Literal |
literal | ) |
|
|
inline |
◆ GetTrueLiteralForAssignedVariable()
Literal GetTrueLiteralForAssignedVariable |
( |
BooleanVariable |
var | ) |
const |
|
inline |
◆ LiteralIsAssigned()
bool LiteralIsAssigned |
( |
Literal |
literal | ) |
const |
|
inline |
◆ LiteralIsFalse()
bool LiteralIsFalse |
( |
Literal |
literal | ) |
const |
|
inline |
◆ LiteralIsTrue()
bool LiteralIsTrue |
( |
Literal |
literal | ) |
const |
|
inline |
◆ NumberOfVariables()
int NumberOfVariables |
( |
| ) |
const |
|
inline |
◆ Resize()
void Resize |
( |
int |
num_variables | ) |
|
|
inline |
◆ UnassignLiteral()
void UnassignLiteral |
( |
Literal |
literal | ) |
|
|
inline |
◆ VariableIsAssigned()
bool VariableIsAssigned |
( |
BooleanVariable |
var | ) |
const |
|
inline |
The documentation for this class was generated from the following file: