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.
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.
[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["The `VariablesAssignment` class in C++ manages the assignment of variables within a solver, where each variable can be unassigned, true, or false."],["It provides methods to assign and unassign variables, check their assignment status, and retrieve the literal assigned to true for a given variable."],["The class allows resizing the number of variables and offers functionalities to determine if a literal or variable is assigned or has a specific truth value."],["Developers can access the literal corresponding to a variable's true assignment using `GetTrueLiteralForAssignedVariable`, ensuring the variable is assigned before calling this method."]]],["The `VariablesAssignment` class manages variable assignments in a solver, where each variable can be unassigned, true, or false. Key actions include assigning a literal to true via `AssignFromTrueLiteral`, retrieving the true literal of an assigned variable with `GetTrueLiteralForAssignedVariable`, and unassigning a literal using `UnassignLiteral`. Methods also allow checking if a literal/variable is assigned (`LiteralIsAssigned`, `VariableIsAssigned`) or if a literal is true/false (`LiteralIsTrue`, `LiteralIsFalse`). Other functions include resizing the assignment space (`Resize`) and getting the number of variables (`NumberOfVariables`).\n"]]
