operations_research::sat::DualBoundStrengthening Class Reference

Detailed Description

Definition at line 223 of file var_domination.h.

#include <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 operations_research::sat::DualBoundStrengthening::CanFreelyDecreaseUntil ( int ref ) const

inline

Definition at line 256 of file var_domination.h.

CannotDecrease()

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

Definition at line 565 of file var_domination.cc.

CannotIncrease()

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

Definition at line 579 of file var_domination.cc.

CannotMove()

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

Definition at line 593 of file var_domination.cc.

NumDeletedConstraints()

int operations_research::sat::DualBoundStrengthening::NumDeletedConstraints ( ) const

inline

Definition at line 261 of file var_domination.h.

ProcessLinearConstraint()

template<typename LinearProto>

void operations_research::sat::DualBoundStrengthening::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 612 of file var_domination.cc.

Reset()

void operations_research::sat::DualBoundStrengthening::Reset ( int num_variables )

inline

Definition at line 227 of file var_domination.h.

Strengthen()

bool operations_research::sat::DualBoundStrengthening::Strengthen

(

PresolveContext *

context

)

Definition at line 726 of file var_domination.cc.

---

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

• ortools/sat/var_domination.h
• ortools/sat/var_domination.cc