Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SCIP_LpSolVals Struct Reference

    Detailed Description

    collected values of the LP data which depend on the LP solution We store these values to recover the LP solution at start of diving or probing mode, say, without having to resolve the LP.

    Definition at line 117 of file struct_lp.h.

    #include <struct_lp.h>

    Data Fields

    SCIP_LPSOLSTAT lpsolstat
     
    SCIP_Real lpobjval
     
    SCIP_Bool primalfeasible
     
    SCIP_Bool primalchecked
     
    SCIP_Bool dualfeasible
     
    SCIP_Bool dualchecked
     
    SCIP_Bool solisbasic
     
    SCIP_Bool lpissolved
     
    SCIP_Bool hasprovedboundexact
     

    Field Documentation

    ◆ lpsolstat

    SCIP_LPSOLSTAT SCIP_LpSolVals::lpsolstat

    solution status of last LP solution

    Definition at line 119 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), SCIPconflictAnalyzeLP(), SCIPlpEndDive(), and SCIPlpStartDive().

    ◆ lpobjval

    SCIP_Real SCIP_LpSolVals::lpobjval

    objective value of LP without loose variables, or SCIP_INVALID

    Definition at line 120 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), and SCIPconflictAnalyzeLP().

    ◆ primalfeasible

    SCIP_Bool SCIP_LpSolVals::primalfeasible

    is current LP solution primal feasible?

    Definition at line 121 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), and SCIPconflictAnalyzeLP().

    ◆ primalchecked

    SCIP_Bool SCIP_LpSolVals::primalchecked

    was current LP solution checked for primal feasibility?

    Definition at line 122 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), and SCIPconflictAnalyzeLP().

    ◆ dualfeasible

    SCIP_Bool SCIP_LpSolVals::dualfeasible

    is current LP solution dual feasible?

    Definition at line 123 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), and SCIPconflictAnalyzeLP().

    ◆ dualchecked

    SCIP_Bool SCIP_LpSolVals::dualchecked

    was current LP solution checked for primal feasibility?

    Definition at line 124 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), and SCIPconflictAnalyzeLP().

    ◆ solisbasic

    SCIP_Bool SCIP_LpSolVals::solisbasic

    is current LP solution a basic solution?

    Definition at line 125 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), and SCIPconflictAnalyzeLP().

    ◆ lpissolved

    SCIP_Bool SCIP_LpSolVals::lpissolved

    is current LP solved?

    Definition at line 126 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), lpStoreSolVals(), SCIPconflictAnalyzeLP(), and SCIPlpEndDive().

    ◆ hasprovedboundexact

    SCIP_Bool SCIP_LpSolVals::hasprovedboundexact

    is the current LP provably dual feasible (in exact mode)

    Definition at line 127 of file struct_lp.h.

    Referenced by lpRestoreSolVals(), and lpStoreSolVals().