Couenne
0.2
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Pages
Couenne
src
bound_tightening
CouenneInfeasCut.hpp
Go to the documentation of this file.
1
/* $Id: CouenneInfeasCut.hpp 490 2011-01-14 16:07:12Z pbelotti $
2
*
3
* Name: CouenneInfeasCut.hpp
4
* Author: Pietro Belotti
5
* Purpose: An infeasible cut to tell the node solver this node is infeasible
6
*
7
* (C) Pietro Belotti, 2010.
8
* This file is licensed under the Eclipse Public License (EPL)
9
*/
10
11
#ifndef COUENNEINFEASCUT_HPP
12
#define COUENNEINFEASCUT_HPP
13
14
#include "OsiCuts.hpp"
15
19
20
void
WipeMakeInfeas
(OsiCuts &cs);
21
22
25
26
bool
isWiped
(OsiCuts &cs);
27
28
#endif
WipeMakeInfeas
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...
isWiped
bool isWiped(OsiCuts &cs)
Check whether the previous cut generators have added an infeasible cut.
Generated by
1.8.5