/home/coin/SVN-release/OS-2.4.2/Couenne/src/bound_tightening/CouenneInfeasCut.cpp File Reference

#include "OsiCuts.hpp"

Include dependency graph for CouenneInfeasCut.cpp:

Go to the source code of this file.

Functions

void WipeMakeInfeas (OsiCuts &cs)
 Add a fictitious cut 1<= x_0 <= -1 as a signal to the node solver that this node is deemed infeasible by this cut generator (most likely a bound tightener).
bool isWiped (OsiCuts &cs)
 Check whether the previous cut generators have added an infeasible cut.


Function Documentation

void WipeMakeInfeas ( OsiCuts &  cs  ) 

Add a fictitious cut 1<= x_0 <= -1 as a signal to the node solver that this node is deemed infeasible by this cut generator (most likely a bound tightener).

Definition at line 19 of file CouenneInfeasCut.cpp.

Referenced by Couenne::CouenneDisjCuts::generateCuts(), Couenne::CouenneCutGenerator::generateCuts(), and Couenne::CouenneTwoImplied::generateCuts().

bool isWiped ( OsiCuts &  cs  ) 

Check whether the previous cut generators have added an infeasible cut.

Definition at line 41 of file CouenneInfeasCut.cpp.

Referenced by Couenne::CouenneDisjCuts::generateCuts(), Couenne::CouenneCutGenerator::generateCuts(), Couenne::CouenneTwoImplied::generateCuts(), Couenne::CouenneFixPoint::generateCuts(), and Couenne::CouenneProblem::obbt().


Generated on Wed Nov 30 03:07:06 2011 by  doxygen 1.4.7