![]() |
OR-Tools
8.2
|
This is the complete list of members for SatDecisionPolicy, including all inherited members.
AllPreferences() const | SatDecisionPolicy | |
BeforeConflict(int trail_index) | SatDecisionPolicy | |
BumpVariableActivities(const std::vector< Literal > &literals) | SatDecisionPolicy | |
IncreaseNumVariables(int num_variables) | SatDecisionPolicy | |
InStablePhase() const | SatDecisionPolicy | inline |
MaybeEnablePhaseSaving(bool save_phase) | SatDecisionPolicy | inline |
NextBranch() | SatDecisionPolicy | |
ResetDecisionHeuristic() | SatDecisionPolicy | |
SatDecisionPolicy(Model *model) | SatDecisionPolicy | explicit |
SetAssignmentPreference(Literal literal, double weight) | SatDecisionPolicy | |
SetStablePhase(bool is_stable) | SatDecisionPolicy | inline |
Untrail(int target_trail_index) | SatDecisionPolicy | |
UpdateVariableActivityIncrement() | SatDecisionPolicy | |
UpdateWeightedSign(const std::vector< LiteralWithCoeff > &terms, Coefficient rhs) | SatDecisionPolicy |