C++ Reference: class VariablesAssignment

Note: 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