SatDecisionPolicy

Detailed Description

Definition at line 34 of file sat_decision.h.

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

Constructor & Destructor Documentation

SatDecisionPolicy()

SatDecisionPolicy ( Model *  model )

explicit

Definition at line 21 of file sat_decision.cc.

Member Function Documentation

AllPreferences()

std::vector< std::pair< Literal, double > > AllPreferences

(

)

const

Definition at line 263 of file sat_decision.cc.

BeforeConflict()

void BeforeConflict

(

int

trail_index

)

Definition at line 55 of file sat_decision.cc.

BumpVariableActivities()

void BumpVariableActivities

(

const std::vector< Literal > &

literals

)

Definition at line 287 of file sat_decision.cc.

IncreaseNumVariables()

void IncreaseNumVariables

(

int

num_variables

)

Definition at line 26 of file sat_decision.cc.

InStablePhase()

bool InStablePhase ( ) const

inline

Definition at line 81 of file sat_decision.h.

MaybeEnablePhaseSaving()

void MaybeEnablePhaseSaving ( bool  save_phase )

inline

Definition at line 85 of file sat_decision.h.

NextBranch()

Literal NextBranch

(

)

Definition at line 336 of file sat_decision.cc.

ResetDecisionHeuristic()

void ResetDecisionHeuristic

(

)

Definition at line 126 of file sat_decision.cc.

SetAssignmentPreference()

void SetAssignmentPreference	(	Literal	literal,
		double	weight
	)

Definition at line 248 of file sat_decision.cc.

SetStablePhase()

void SetStablePhase ( bool  is_stable )

inline

Definition at line 80 of file sat_decision.h.

Untrail()

void Untrail

(

int

target_trail_index

)

Definition at line 395 of file sat_decision.cc.

UpdateVariableActivityIncrement()

void UpdateVariableActivityIncrement

(

)

Definition at line 332 of file sat_decision.cc.

UpdateWeightedSign()

void UpdateWeightedSign	(	const std::vector< LiteralWithCoeff > &	terms,
		Coefficient	rhs
	)

Definition at line 277 of file sat_decision.cc.

---

The documentation for this class was generated from the following files:

• sat_decision.h
• sat_decision.cc