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