DualBoundStrengthening

Detailed Description

Definition at line 210 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)
template<typename LinearProto >
void	ProcessLinearConstraint (bool is_objective, const PresolveContext &context, const LinearProto &linear, int64 min_activity, int64 max_activity)
bool	Strengthen (PresolveContext *context)
int64	CanFreelyDecreaseUntil (int ref) const

Member Function Documentation

CanFreelyDecreaseUntil()

int64 CanFreelyDecreaseUntil ( int  ref ) const

inline

Definition at line 243 of file var_domination.h.

CannotDecrease()

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

Definition at line 518 of file var_domination.cc.

CannotIncrease()

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

Definition at line 528 of file var_domination.cc.

CannotMove()

void CannotMove

(

absl::Span< const int >

refs

)

Definition at line 538 of file var_domination.cc.

ProcessLinearConstraint()

void ProcessLinearConstraint	(	bool	is_objective,
		const PresolveContext &	context,
		const LinearProto &	linear,
		int64	min_activity,
		int64	max_activity
	)

Definition at line 549 of file var_domination.cc.

Reset()

void Reset ( int  num_variables )

inline

Definition at line 214 of file var_domination.h.

Strengthen()

bool Strengthen

(

PresolveContext *

context

)

Definition at line 607 of file var_domination.cc.

---

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

• var_domination.h
• var_domination.cc