operations_research::sat::SatDecisionPolicy Class Reference

Detailed Description

Definition at line 37 of file sat_decision.h.

#include <sat_decision.h>

Public Member Functions
	SatDecisionPolicy (Model *model)
void	IncreaseNumVariables (int num_variables)
void	ResetDecisionHeuristic ()
Literal	NextBranch ()
void	BumpVariableActivities (absl::Span< const 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, float weight)
std::vector< std::pair< Literal, float > >	AllPreferences () const
double	Activity (Literal l) const
void	SetTargetPolarityIfUnassigned (Literal l)
absl::Span< const Literal >	GetBestPartialAssignment () const
void	ClearBestPartialAssignment ()
void	ResetActivitiesToFollowBestPartialAssignment ()

Constructor & Destructor Documentation

SatDecisionPolicy()

operations_research::sat::SatDecisionPolicy::SatDecisionPolicy ( Model * model )

explicit

Definition at line 41 of file sat_decision.cc.

Member Function Documentation

Activity()

double operations_research::sat::SatDecisionPolicy::Activity ( Literal l ) const

inline

Definition at line 104 of file sat_decision.h.

AllPreferences()

std::vector< std::pair< Literal, float > > operations_research::sat::SatDecisionPolicy::AllPreferences

(

)

const

Definition at line 310 of file sat_decision.cc.

BeforeConflict()

void operations_research::sat::SatDecisionPolicy::BeforeConflict

(

int

trail_index

)

Definition at line 74 of file sat_decision.cc.

BumpVariableActivities()

void operations_research::sat::SatDecisionPolicy::BumpVariableActivities

(

absl::Span< const Literal >

literals

)

Definition at line 324 of file sat_decision.cc.

ClearBestPartialAssignment()

void operations_research::sat::SatDecisionPolicy::ClearBestPartialAssignment ( )

inline

Definition at line 121 of file sat_decision.h.

GetBestPartialAssignment()

absl::Span< const Literal > operations_research::sat::SatDecisionPolicy::GetBestPartialAssignment ( ) const

inline

Definition at line 118 of file sat_decision.h.

IncreaseNumVariables()

void operations_research::sat::SatDecisionPolicy::IncreaseNumVariables

(

int

num_variables

)

Definition at line 47 of file sat_decision.cc.

InStablePhase()

bool operations_research::sat::SatDecisionPolicy::InStablePhase ( ) const

inline

Definition at line 79 of file sat_decision.h.

MaybeEnablePhaseSaving()

void operations_research::sat::SatDecisionPolicy::MaybeEnablePhaseSaving ( bool save_phase )

inline

Definition at line 83 of file sat_decision.h.

NextBranch()

Literal operations_research::sat::SatDecisionPolicy::NextBranch

(

)

Definition at line 376 of file sat_decision.cc.

ResetActivitiesToFollowBestPartialAssignment()

void operations_research::sat::SatDecisionPolicy::ResetActivitiesToFollowBestPartialAssignment

(

)

Definition at line 230 of file sat_decision.cc.

ResetDecisionHeuristic()

void operations_research::sat::SatDecisionPolicy::ResetDecisionHeuristic

(

)

Definition at line 147 of file sat_decision.cc.

SetAssignmentPreference()

void operations_research::sat::SatDecisionPolicy::SetAssignmentPreference	(	Literal	literal,
		float	weight )

Definition at line 296 of file sat_decision.cc.

SetStablePhase()

void operations_research::sat::SatDecisionPolicy::SetStablePhase ( bool is_stable )

inline

Definition at line 78 of file sat_decision.h.

SetTargetPolarityIfUnassigned()

void operations_research::sat::SatDecisionPolicy::SetTargetPolarityIfUnassigned ( Literal l )

inline

Definition at line 110 of file sat_decision.h.

Untrail()

void operations_research::sat::SatDecisionPolicy::Untrail

(

int

target_trail_index

)

Definition at line 435 of file sat_decision.cc.

UpdateVariableActivityIncrement()

void operations_research::sat::SatDecisionPolicy::UpdateVariableActivityIncrement

(

)

Definition at line 372 of file sat_decision.cc.

---

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

• ortools/sat/sat_decision.h
• ortools/sat/sat_decision.cc