operations_research::sat::PseudoCosts Class Reference

Detailed Description

Definition at line 40 of file pseudo_costs.h.

#include <pseudo_costs.h>

Classes
struct	BranchingInfo
struct	VariableBoundChange

Public Member Functions
	PseudoCosts (Model *model)
void	BeforeTakingDecision (Literal decision)
void	AfterTakingDecision (bool conflict=false)
double	ObjectiveIncrease (bool conflict)
bool	SaveLpInfo ()
void	SaveBoundChanges (Literal decision, absl::Span< const double > lp_values)
IntegerVariable	GetBestDecisionVar ()
double	GetCost (IntegerVariable var) const
int	GetNumRecords (IntegerVariable var) const
double	CombineScores (double down_branch, double up_branch) const
BranchingInfo	EvaluateVar (IntegerVariable var, absl::Span< const double > lp_values)
void	UpdateBoolPseudoCosts (absl::Span< const Literal > reason, IntegerValue objective_increase)
double	BoolPseudoCost (Literal lit, double lp_value) const
const std::vector< VariableBoundChange > &	BoundChanges ()

Constructor & Destructor Documentation

PseudoCosts()

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

explicit

Definition at line 60 of file pseudo_costs.cc.

Member Function Documentation

AfterTakingDecision()

void operations_research::sat::PseudoCosts::AfterTakingDecision

(

bool

conflict = false

)

Definition at line 226 of file pseudo_costs.cc.

BeforeTakingDecision()

void operations_research::sat::PseudoCosts::BeforeTakingDecision

(

Literal

decision

)

Definition at line 136 of file pseudo_costs.cc.

BoolPseudoCost()

double operations_research::sat::PseudoCosts::BoolPseudoCost	(	Literal	lit,
		double	lp_value ) const

Definition at line 198 of file pseudo_costs.cc.

BoundChanges()

const std::vector< VariableBoundChange > & operations_research::sat::PseudoCosts::BoundChanges ( )

inline

Definition at line 106 of file pseudo_costs.h.

CombineScores()

double operations_research::sat::PseudoCosts::CombineScores	(	double	down_branch,
		double	up_branch ) const

Definition at line 45 of file pseudo_costs.cc.

EvaluateVar()

PseudoCosts::BranchingInfo operations_research::sat::PseudoCosts::EvaluateVar	(	IntegerVariable	var,
		absl::Span< const double >	lp_values )

Definition at line 142 of file pseudo_costs.cc.

GetBestDecisionVar()

IntegerVariable operations_research::sat::PseudoCosts::GetBestDecisionVar

(

)

Definition at line 289 of file pseudo_costs.cc.

GetCost()

double operations_research::sat::PseudoCosts::GetCost ( IntegerVariable var ) const

inline

Definition at line 62 of file pseudo_costs.h.

GetNumRecords()

int operations_research::sat::PseudoCosts::GetNumRecords ( IntegerVariable var ) const

inline

Definition at line 69 of file pseudo_costs.h.

ObjectiveIncrease()

double operations_research::sat::PseudoCosts::ObjectiveIncrease

(

bool

conflict

)

Definition at line 211 of file pseudo_costs.cc.

SaveBoundChanges()

void operations_research::sat::PseudoCosts::SaveBoundChanges	(	Literal	decision,
		absl::Span< const double >	lp_values )

Definition at line 102 of file pseudo_costs.cc.

SaveLpInfo()

bool operations_research::sat::PseudoCosts::SaveLpInfo

(

)

Definition at line 97 of file pseudo_costs.cc.

UpdateBoolPseudoCosts()

void operations_research::sat::PseudoCosts::UpdateBoolPseudoCosts	(	absl::Span< const Literal >	reason,
		IntegerValue	objective_increase )

Definition at line 186 of file pseudo_costs.cc.

---

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

• ortools/sat/pseudo_costs.h
• ortools/sat/pseudo_costs.cc