C++ Reference: class VariablesAssignment

This documentation is automatically generated.

Holds the current variable assignment of the solver. Each variable can be unassigned or be assigned to true or false.
Method
AssignFromTrueLiteral

Return type: void

Arguments: Literal literal

Makes the given literal true by assigning its underlying variable to either true or false depending on the literal sign. This can only be called on an unassigned variable.

GetTrueLiteralForAssignedVariable

Return type: Literal

Arguments: BooleanVariable var

Returns the literal of the given variable that is assigned to true. That is, depending on the variable, it can be the positive literal or the negative one. Only call this on an assigned variable.

LiteralIsAssigned

Return type: bool

Arguments: Literal literal

LiteralIsFalse

Return type: bool

Arguments: Literal literal

Literal getters. Note that both can be false, in which case the corresponding variable is not assigned.

LiteralIsTrue

Return type: bool

Arguments: Literal literal

NumberOfVariables

Return type: int

Resize

Return type: void

Arguments: int num_variables

UnassignLiteral

Return type: void

Arguments: Literal literal

Unassign the variable corresponding to the given literal. This can only be called on an assigned variable.

VariableIsAssigned

Return type: bool

Arguments: BooleanVariable var

Returns true iff the given variable is assigned.

VariablesAssignment

VariablesAssignment

Return type: explicit

Arguments: int num_variables

Send feedback about...