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

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

Activity(Literal l) constoperations_research::sat::SatDecisionPolicyinline
AllPreferences() constoperations_research::sat::SatDecisionPolicy
BeforeConflict(int trail_index)operations_research::sat::SatDecisionPolicy
BumpVariableActivities(absl::Span< const Literal > literals)operations_research::sat::SatDecisionPolicy
ClearBestPartialAssignment()operations_research::sat::SatDecisionPolicyinline
GetBestPartialAssignment() constoperations_research::sat::SatDecisionPolicyinline
IncreaseNumVariables(int num_variables)operations_research::sat::SatDecisionPolicy
InStablePhase() constoperations_research::sat::SatDecisionPolicyinline
MaybeEnablePhaseSaving(bool save_phase)operations_research::sat::SatDecisionPolicyinline
NextBranch()operations_research::sat::SatDecisionPolicy
ResetDecisionHeuristic()operations_research::sat::SatDecisionPolicy
SatDecisionPolicy(Model *model)operations_research::sat::SatDecisionPolicyexplicit
SetAssignmentPreference(Literal literal, float weight)operations_research::sat::SatDecisionPolicy
SetStablePhase(bool is_stable)operations_research::sat::SatDecisionPolicyinline
SetTargetPolarity(Literal l)operations_research::sat::SatDecisionPolicyinline
Untrail(int target_trail_index)operations_research::sat::SatDecisionPolicy
UpdateVariableActivityIncrement()operations_research::sat::SatDecisionPolicy