SatDecisionPolicy

Detailed Description

Definition at line 36 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
double	Activity (Literal l) const

Constructor & Destructor Documentation

SatDecisionPolicy()

SatDecisionPolicy ( Model *  model )

explicit

Definition at line 36 of file sat_decision.cc.

Member Function Documentation

Activity()

double Activity ( Literal  l ) const

inline

Definition at line 108 of file sat_decision.h.

AllPreferences()

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

(

)

const

Definition at line 279 of file sat_decision.cc.

BeforeConflict()

void BeforeConflict

(

int

trail_index

)

Definition at line 70 of file sat_decision.cc.

BumpVariableActivities()

void BumpVariableActivities

(

const std::vector< Literal > &

literals

)

Definition at line 303 of file sat_decision.cc.

IncreaseNumVariables()

void IncreaseNumVariables

(

int

num_variables

)

Definition at line 41 of file sat_decision.cc.

InStablePhase()

bool InStablePhase ( ) const

inline

Definition at line 83 of file sat_decision.h.

MaybeEnablePhaseSaving()

void MaybeEnablePhaseSaving ( bool  save_phase )

inline

Definition at line 87 of file sat_decision.h.

NextBranch()

Literal NextBranch

(

)

Definition at line 355 of file sat_decision.cc.

ResetDecisionHeuristic()

void ResetDecisionHeuristic

(

)

Definition at line 142 of file sat_decision.cc.

SetAssignmentPreference()

void SetAssignmentPreference	(	Literal	literal,
		double	weight
	)

Definition at line 264 of file sat_decision.cc.

SetStablePhase()

void SetStablePhase ( bool  is_stable )

inline

Definition at line 82 of file sat_decision.h.

Untrail()

void Untrail

(

int

target_trail_index

)

Definition at line 414 of file sat_decision.cc.

UpdateVariableActivityIncrement()

void UpdateVariableActivityIncrement

(

)

Definition at line 351 of file sat_decision.cc.

UpdateWeightedSign()

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

Definition at line 293 of file sat_decision.cc.

---

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

• sat_decision.h
• sat_decision.cc