idol::Presolvers::OneRowBoundTightening Class Reference

Description

Definition at line 15 of file OneRowBoundTightening.h.

Public Methods
bool	execute (Model &t_model) override
void	log_after_termination () const override
AbstractPresolver *	clone () const override

Protected Static Methods
static double	get_min_activity (const Model &t_model, const LinExpr< Var > &t_expr)
static double	get_max_activity (const Model &t_model, const LinExpr< Var > &t_expr)

Methods Documentation

clone()

AbstractPresolver * idol::Presolvers::OneRowBoundTightening::clone ( ) const

nodiscardoverridevirtual

Implements idol::Presolvers::AbstractPresolver.

execute()

bool idol::Presolvers::OneRowBoundTightening::execute ( Model & t_model )

overridevirtual

Implements idol::Presolvers::AbstractPresolver.

log_after_termination()

void idol::Presolvers::OneRowBoundTightening::log_after_termination ( ) const

overridevirtual

Reimplemented from idol::Presolvers::AbstractPresolver.