Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    Debug Solution
    Public API of SCIP » Core API

    Detailed Description

    methods to control the SCIP debug solution mechanism, see also Debugging

    Functions

    void SCIPenableDebugSol (SCIP *scip)
     
    void SCIPdisableDebugSol (SCIP *scip)
     

    Function Documentation

    ◆ SCIPenableDebugSol()

    void SCIPenableDebugSol ( SCIP *  scip)

    enable debug solution mechanism

    the debug solution mechanism allows to trace back the invalidation of a debug solution during the solution process of SCIP. It must be explicitly enabled for the SCIP data structure.

    See also
    debug.h for more information on debug solution mechanism
    Parameters
    scipSCIP data structure

    Definition at line 58 of file scip_debug.c.

    References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage, SCIPdebugIncludeProp, SCIPdebugSolEnable, SCIPfindProp(), and TRUE.

    Referenced by addScenarioVarsAndConsToProb(), runSCIP(), runShell(), SCIPrunColoringShell(), and SCIPrunShell().

    ◆ SCIPdisableDebugSol()

    void SCIPdisableDebugSol ( SCIP *  scip)

    disable solution debugging mechanism

    See also
    debug.h for more information on debug solution mechanism
    Parameters
    scipSCIP data structure

    Definition at line 74 of file scip_debug.c.

    References FALSE, SCIP_CALL_ABORT, SCIPcheckStage, SCIPdebugSolDisable, and TRUE.