SatDecisionPolicy Member List

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