11#ifndef COUENNESOLVERINTERFACE_HPP
12#define COUENNESOLVERINTERFACE_HPP
140#include "CouenneSolverInterface.cpp"
141#include "CouenneLPtightenBounds.cpp"
142#include "CouenneLPtightenBoundsCLP-light.cpp"
143#include "CouenneLPtightenBoundsCLP.cpp"
Cut Generator for linear convexifications.
virtual int tightenBoundsCLP(int lightweight)
Copy of the Clp version — not light version.
bool knowOptimal_
Flag indicating that optimality was detected during solveFromHotStart.
virtual int tightenBoundsCLP_Light(int lightweight)
Copy of the Clp version — light version.
virtual void resolve()
Resolve an LP relaxation after problem modification.
virtual int tightenBounds(int lightweight)
Tighten bounds on all variables (including continuous).
virtual OsiSolverInterface * clone(bool copyData=true) const
Clone.
CouenneCutGenerator * CutGen()
Return cut generator pointer.
virtual bool isProvenPrimalInfeasible() const
we need to overwrite this since we might have internal knowledge
virtual void markHotStart()
Create a hot start snapshot of the optimization process.
bool isProvenDualInfeasible() const
set doingResolve_
CouenneCutGenerator * cutgen_
The pointer to the Couenne cut generator.
virtual void initialSolve()
Solve initial LP relaxation.
bool knowDualInfeasible_
Flag indicating this problem's continuous relaxation is unbounded.
virtual double getObjValue() const
Get the objective function value.
void setCutGenPtr(CouenneCutGenerator *cg)
Set cut generator pointer after setup, to avoid changes in the pointer due to cut generator cloning (...
virtual void solveFromHotStart()
Optimize starting from the hot start snapshot.
~CouenneSolverInterface()
Destructor.
virtual void unmarkHotStart()
Delete the hot start snapshot.
CouenneSolverInterface(CouenneCutGenerator *cg=NULL)
Constructor.
virtual bool isProvenOptimal() const
we need to overwrite this since we might have internal knowledge
CouenneSolverInterface(const CouenneSolverInterface &src)
Copy constructor.
virtual void resolve_nobt()
Resolve an LP without applying bound tightening beforehand.
bool knowInfeasible_
Flag indicating that infeasibility was detected during solveFromHotStart.
general include file for different compilers