11 #ifndef COUENNESOLVERINTERFACE_HPP
12 #define COUENNESOLVERINTERFACE_HPP
18 class CouenneCutGenerator;
140 #include "CouenneSolverInterface.cpp"
141 #include "CouenneLPtightenBounds.cpp"
142 #include "CouenneLPtightenBoundsCLP-light.cpp"
143 #include "CouenneLPtightenBoundsCLP.cpp"
Cut Generator for linear convexifications.
Solver interface class with a pointer to a Couenne cut generator.
virtual int tightenBoundsCLP(int lightweight)
Copy of the Clp version — not light version.
bool knowOptimal_
Flag indicating that optimality was detected during solveFromHotStart.
virtual OsiSolverInterface * clone(bool copyData=true) const
Clone.
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 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.
CouenneCutGenerator * CutGen()
Return cut generator pointer.
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