OR-Tools  8.2
SatDecisionPolicy Member List

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

AllPreferences() constSatDecisionPolicy
BeforeConflict(int trail_index)SatDecisionPolicy
BumpVariableActivities(const std::vector< Literal > &literals)SatDecisionPolicy
IncreaseNumVariables(int num_variables)SatDecisionPolicy
InStablePhase() constSatDecisionPolicyinline
MaybeEnablePhaseSaving(bool save_phase)SatDecisionPolicyinline
NextBranch()SatDecisionPolicy
ResetDecisionHeuristic()SatDecisionPolicy
SatDecisionPolicy(Model *model)SatDecisionPolicyexplicit
SetAssignmentPreference(Literal literal, double weight)SatDecisionPolicy
SetStablePhase(bool is_stable)SatDecisionPolicyinline
Untrail(int target_trail_index)SatDecisionPolicy
UpdateVariableActivityIncrement()SatDecisionPolicy
UpdateWeightedSign(const std::vector< LiteralWithCoeff > &terms, Coefficient rhs)SatDecisionPolicy