subst_constraint_action Class Reference

Detect and process implied free variables. More...

#include <CoinPresolveSubst.hpp>

Inheritance diagram for subst_constraint_action:
CoinPresolveAction

List of all members.

Classes

struct  action

Public Member Functions

const char * name () const
 A name for debug printing.
void postsolve (CoinPostsolveMatrix *prob) const
 Apply the postsolve transformation for this particular presolve action.
virtual ~subst_constraint_action ()

Static Public Member Functions

static const CoinPresolveActionpresolve (CoinPresolveMatrix *prob, const int *implied_free, const int *which, int numberFree, const CoinPresolveAction *next, int fill_level)
static const CoinPresolveActionpresolveX (CoinPresolveMatrix *prob, const CoinPresolveAction *next, int fillLevel)

Detailed Description

Detect and process implied free variables.

Consider a variable x. Suppose that we can find an equality such that the bound on the equality, combined with the bounds on the other variables involved in the equality, are such that even the worst case values of the other variables still imply bounds for x which are tighter than the variable's original bounds. Since x can never reach its upper or lower bounds, it is an implied free variable. By solving the equality for x and substituting for x in every other constraint entangled with x, we can make x into a column singleton. Now x is an implied free column singleton and both x and the equality can be removed.

A similar transform for the case where the variable is a natural column singleton is handled by implied_free_action. In the current presolve architecture, implied_free_action is responsible for detecting implied free variables that are natural column singletons or can be reduced to column singletons. implied_free_action calls subst_constraint_action to process variables that must be reduced to column singletons.

Definition at line 37 of file CoinPresolveSubst.hpp.


Constructor & Destructor Documentation

virtual subst_constraint_action::~subst_constraint_action (  )  [virtual]

Member Function Documentation

const char* subst_constraint_action::name (  )  const [virtual]

A name for debug printing.

It is expected that the name is not stored in the transform itself.

Implements CoinPresolveAction.

static const CoinPresolveAction* subst_constraint_action::presolve ( CoinPresolveMatrix prob,
const int *  implied_free,
const int *  which,
int  numberFree,
const CoinPresolveAction next,
int  fill_level 
) [static]
static const CoinPresolveAction* subst_constraint_action::presolveX ( CoinPresolveMatrix prob,
const CoinPresolveAction next,
int  fillLevel 
) [static]
void subst_constraint_action::postsolve ( CoinPostsolveMatrix prob  )  const [virtual]

Apply the postsolve transformation for this particular presolve action.

Implements CoinPresolveAction.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on 28 Aug 2016 for CoinUtils by  doxygen 1.6.1