DualBoundStrengthening

Detailed Description

Definition at line 219 of file var_domination.h.

Public Member Functions
void	Reset (int num_variables)
void	CannotDecrease (absl::Span< const int > refs, int ct_index=-1)
void	CannotIncrease (absl::Span< const int > refs, int ct_index=-1)
void	CannotMove (absl::Span< const int > refs, int ct_index=-1)
template<typename LinearProto >
void	ProcessLinearConstraint (bool is_objective, const PresolveContext &context, const LinearProto &linear, int64_t min_activity, int64_t max_activity, int ct_index=-1)
bool	Strengthen (PresolveContext *context)
int64_t	CanFreelyDecreaseUntil (int ref) const
int	NumDeletedConstraints () const

Member Function Documentation

CanFreelyDecreaseUntil()

int64_t CanFreelyDecreaseUntil ( int  ref ) const

inline

Definition at line 252 of file var_domination.h.

CannotDecrease()

void CannotDecrease	(	absl::Span< const int >	refs,
		int	ct_index = -1
	)

Definition at line 548 of file var_domination.cc.

CannotIncrease()

void CannotIncrease	(	absl::Span< const int >	refs,
		int	ct_index = -1
	)

Definition at line 558 of file var_domination.cc.

CannotMove()

void CannotMove	(	absl::Span< const int >	refs,
		int	ct_index = -1
	)

Definition at line 568 of file var_domination.cc.

NumDeletedConstraints()

int NumDeletedConstraints ( ) const

inline

Definition at line 257 of file var_domination.h.

ProcessLinearConstraint()

void ProcessLinearConstraint	(	bool	is_objective,
		const PresolveContext &	context,
		const LinearProto &	linear,
		int64_t	min_activity,
		int64_t	max_activity,
		int	ct_index = -1
	)

Definition at line 582 of file var_domination.cc.

Reset()

void Reset ( int  num_variables )

inline

Definition at line 223 of file var_domination.h.

Strengthen()

bool Strengthen

(

PresolveContext *

context

)

Definition at line 696 of file var_domination.cc.

---

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

• var_domination.h
• var_domination.cc