Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::VariablesAssignment Member List

This is the complete list of members for operations_research::sat::VariablesAssignment, including all inherited members.

AssignFromTrueLiteral(Literal literal)operations_research::sat::VariablesAssignmentinline
AssignmentViewoperations_research::sat::VariablesAssignmentfriend
GetTrueLiteralForAssignedVariable(BooleanVariable var) constoperations_research::sat::VariablesAssignmentinline
LiteralIsAssigned(Literal literal) constoperations_research::sat::VariablesAssignmentinline
LiteralIsFalse(Literal literal) constoperations_research::sat::VariablesAssignmentinline
LiteralIsTrue(Literal literal) constoperations_research::sat::VariablesAssignmentinline
NumberOfVariables() constoperations_research::sat::VariablesAssignmentinline
operator=(const VariablesAssignment &)=deleteoperations_research::sat::VariablesAssignment
Resize(int num_variables)operations_research::sat::VariablesAssignmentinline
UnassignLiteral(Literal literal)operations_research::sat::VariablesAssignmentinline
VariableIsAssigned(BooleanVariable var) constoperations_research::sat::VariablesAssignmentinline
VariablesAssignment()=defaultoperations_research::sat::VariablesAssignment
VariablesAssignment(int num_variables)operations_research::sat::VariablesAssignmentinlineexplicit
VariablesAssignment(const VariablesAssignment &)=deleteoperations_research::sat::VariablesAssignment