operations_research::sat::ImpliedBoundsProcessor Class Reference

Detailed Description

Definition at line 190 of file cuts.h.

#include <cuts.h>

Classes
struct	BestImpliedBoundInfo

Public Member Functions
	ImpliedBoundsProcessor (absl::Span< const IntegerVariable > lp_vars_, IntegerTrail *integer_trail, ImpliedBounds *implied_bounds)
void	RecomputeCacheAndSeparateSomeImpliedBoundCuts (const util_intops::StrongVector< IntegerVariable, double > &lp_values)
bool	DecomposeWithImpliedLowerBound (const CutTerm &term, IntegerValue factor_t, CutTerm &bool_term, CutTerm &slack_term)
bool	DecomposeWithImpliedUpperBound (const CutTerm &term, IntegerValue factor_t, CutTerm &bool_term, CutTerm &slack_term)
std::tuple< int, int, int >	PostprocessWithImpliedBound (const std::function< IntegerValue(IntegerValue)> &f, IntegerValue factor_t, CutData *cut)
bool	CacheDataForCut (IntegerVariable first_slack, CutData *cut)
bool	TryToExpandWithLowerImpliedbound (IntegerValue factor_t, bool complement, CutTerm *term, absl::int128 *rhs, std::vector< CutTerm > *new_bool_terms)
CutDataBuilder *	MutableCutBuilder ()
std::vector< CutTerm > *	ClearedMutableTempTerms ()
void	AddLpVariable (IntegerVariable var)
BestImpliedBoundInfo	GetCachedImpliedBoundInfo (IntegerVariable var) const
TopNCuts &	IbCutPool ()

Constructor & Destructor Documentation

ImpliedBoundsProcessor()

operations_research::sat::ImpliedBoundsProcessor::ImpliedBoundsProcessor ( absl::Span< const IntegerVariable > lp_vars_, IntegerTrail * integer_trail, ImpliedBounds * implied_bounds )

inline

Definition at line 193 of file cuts.h.

Member Function Documentation

AddLpVariable()

void operations_research::sat::ImpliedBoundsProcessor::AddLpVariable ( IntegerVariable var )

inline

Definition at line 257 of file cuts.h.

CacheDataForCut()

bool operations_research::sat::ImpliedBoundsProcessor::CacheDataForCut	(	IntegerVariable	first_slack,
		CutData *	cut )

Definition at line 2548 of file cuts.cc.

ClearedMutableTempTerms()

std::vector< CutTerm > * operations_research::sat::ImpliedBoundsProcessor::ClearedMutableTempTerms ( )

inline

Definition at line 250 of file cuts.h.

DecomposeWithImpliedLowerBound()

bool operations_research::sat::ImpliedBoundsProcessor::DecomposeWithImpliedLowerBound	(	const CutTerm &	term,
		IntegerValue	factor_t,
		CutTerm &	bool_term,
		CutTerm &	slack_term )

Definition at line 2348 of file cuts.cc.

DecomposeWithImpliedUpperBound()

bool operations_research::sat::ImpliedBoundsProcessor::DecomposeWithImpliedUpperBound	(	const CutTerm &	term,
		IntegerValue	factor_t,
		CutTerm &	bool_term,
		CutTerm &	slack_term )

Definition at line 2418 of file cuts.cc.

GetCachedImpliedBoundInfo()

ImpliedBoundsProcessor::BestImpliedBoundInfo operations_research::sat::ImpliedBoundsProcessor::GetCachedImpliedBoundInfo

(

IntegerVariable

var

)

const

Definition at line 2258 of file cuts.cc.

IbCutPool()

TopNCuts & operations_research::sat::ImpliedBoundsProcessor::IbCutPool ( )

inline

Definition at line 288 of file cuts.h.

MutableCutBuilder()

CutDataBuilder * operations_research::sat::ImpliedBoundsProcessor::MutableCutBuilder ( )

inline

Definition at line 246 of file cuts.h.

PostprocessWithImpliedBound()

std::tuple< int, int, int > operations_research::sat::ImpliedBoundsProcessor::PostprocessWithImpliedBound	(	const std::function< IntegerValue(IntegerValue)> &	f,
		IntegerValue	factor_t,
		CutData *	cut )

Definition at line 2439 of file cuts.cc.

RecomputeCacheAndSeparateSomeImpliedBoundCuts()

void operations_research::sat::ImpliedBoundsProcessor::RecomputeCacheAndSeparateSomeImpliedBoundCuts

(

const util_intops::StrongVector< IntegerVariable, double > &

lp_values

)

Definition at line 2338 of file cuts.cc.

TryToExpandWithLowerImpliedbound()

bool operations_research::sat::ImpliedBoundsProcessor::TryToExpandWithLowerImpliedbound	(	IntegerValue	factor_t,
		bool	complement,
		CutTerm *	term,
		absl::int128 *	rhs,
		std::vector< CutTerm > *	new_bool_terms )

Definition at line 2520 of file cuts.cc.

---

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

• ortools/sat/cuts.h
• ortools/sat/cuts.cc