ImpliedBoundsProcessor

Detailed Description

Definition at line 56 of file cuts.h.

Classes
struct	BestImpliedBoundInfo
struct	SlackInfo

Public Member Functions
	ImpliedBoundsProcessor (absl::Span< const IntegerVariable > lp_vars_, IntegerTrail *integer_trail, ImpliedBounds *implied_bounds)
void	ProcessUpperBoundedConstraint (const absl::StrongVector< IntegerVariable, double > &lp_values, LinearConstraint *cut)
void	ProcessUpperBoundedConstraintWithSlackCreation (bool substitute_only_inner_variables, IntegerVariable first_slack, const absl::StrongVector< IntegerVariable, double > &lp_values, LinearConstraint *cut, std::vector< SlackInfo > *slack_infos)
void	SeparateSomeImpliedBoundCuts (const absl::StrongVector< IntegerVariable, double > &lp_values)
bool	DebugSlack (IntegerVariable first_slack, const LinearConstraint &initial_cut, const LinearConstraint &cut, const std::vector< SlackInfo > &info)
void	AddLpVariable (IntegerVariable var)
void	ClearCache () const
BestImpliedBoundInfo	GetCachedImpliedBoundInfo (IntegerVariable var)
TopNCuts &	IbCutPool ()

Constructor & Destructor Documentation

ImpliedBoundsProcessor()

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

inline

Definition at line 59 of file cuts.h.

Member Function Documentation

AddLpVariable()

void AddLpVariable ( IntegerVariable  var )

inline

Definition at line 108 of file cuts.h.

ClearCache()

void ClearCache ( ) const

inline

Definition at line 112 of file cuts.h.

DebugSlack()

bool DebugSlack	(	IntegerVariable	first_slack,
		const LinearConstraint &	initial_cut,
		const LinearConstraint &	cut,
		const std::vector< SlackInfo > &	info
	)

Definition at line 1725 of file cuts.cc.

GetCachedImpliedBoundInfo()

ImpliedBoundsProcessor::BestImpliedBoundInfo GetCachedImpliedBoundInfo

(

IntegerVariable

var

)

Definition at line 1500 of file cuts.cc.

IbCutPool()

TopNCuts & IbCutPool ( )

inline

Definition at line 125 of file cuts.h.

ProcessUpperBoundedConstraint()

void ProcessUpperBoundedConstraint	(	const absl::StrongVector< IntegerVariable, double > &	lp_values,
		LinearConstraint *	cut
	)

Definition at line 1491 of file cuts.cc.

ProcessUpperBoundedConstraintWithSlackCreation()

void ProcessUpperBoundedConstraintWithSlackCreation	(	bool	substitute_only_inner_variables,
		IntegerVariable	first_slack,
		const absl::StrongVector< IntegerVariable, double > &	lp_values,
		LinearConstraint *	cut,
		std::vector< SlackInfo > *	slack_infos
	)

Definition at line 1584 of file cuts.cc.

SeparateSomeImpliedBoundCuts()

void SeparateSomeImpliedBoundCuts

(

const absl::StrongVector< IntegerVariable, double > &

lp_values

)

Definition at line 1575 of file cuts.cc.

---

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

• cuts.h
• cuts.cc