13 #ifndef BonSolverHelp_H
14 #define BonSolverHelp_H
16 class OsiSolverInterface;
17 class OsiBranchingInformation;
23 bool integerFeasible(OsiSolverInterface & si,
const OsiBranchingInformation & info,
24 double integer_tolerance,
25 OsiObject ** objects = 0,
int nObjects = -1);
30 void fixIntegers(OsiSolverInterface & si,
const OsiBranchingInformation & info,
31 double integer_tolerance,
32 OsiObject ** objects = 0,
int nObjects = -1);
35 void relaxIntegers(OsiSolverInterface & si,
const OsiBranchingInformation & info,
36 double integer_tolerance,
37 OsiObject ** objects = 0,
int nObjects = -1);
40 OsiObject ** objects,
int nObjects,
41 double integer_tolerance,
42 const double * colsol,
const double * other);
46 const OsiCuts& cs,
int numberCuts);
void fixIntegers(OsiSolverInterface &si, const OsiBranchingInformation &info, double integer_tolerance, OsiObject **objects=0, int nObjects=-1)
Fix integer variables in si to their values in colsol.
void installCuts(OsiSolverInterface &si, const OsiCuts &cs, int numberCuts)
Install cuts in solver.
void relaxIntegers(OsiSolverInterface &si, const OsiBranchingInformation &info, double integer_tolerance, OsiObject **objects=0, int nObjects=-1)
Relax integer variables in si.
bool integerFeasible(OsiSolverInterface &si, const OsiBranchingInformation &info, double integer_tolerance, OsiObject **objects=0, int nObjects=-1)
Check for integer feasibility of a solution return true if it is feasible.
bool isDifferentOnIntegers(OsiSolverInterface &si, OsiObject **objects, int nObjects, double integer_tolerance, const double *colsol, const double *other)
Check if two solutions are the same on integer variables.