OR-Tools  8.2
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: