Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    sepastoreexact.h File Reference
    Internal API of SCIP

    Detailed Description

    internal methods for storing separated exact cuts

    Author
    Leon Eifler

    Definition in file sepastoreexact.h.

    #include "scip/def.h"
    #include "blockmemshell/memory.h"
    #include "scip/type_implics.h"
    #include "scip/type_retcode.h"
    #include "scip/type_set.h"
    #include "scip/type_stat.h"
    #include "scip/type_event.h"
    #include "scip/type_lp.h"
    #include "scip/type_lpexact.h"
    #include "scip/type_prob.h"
    #include "scip/type_tree.h"
    #include "scip/type_reopt.h"
    #include "scip/type_sepastore.h"
    #include "scip/type_branch.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPsepastoreExactCreate (SCIP_SEPASTOREEXACT **sepastoreexact, SCIP_SET *set)
     
    SCIP_RETCODE SCIPsepastoreExactFree (SCIP_SEPASTOREEXACT **sepastoreexact)
     
    SCIP_RETCODE SCIPsepastoreExactAddCut (SCIP_SEPASTOREEXACT *sepastoreexact, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_ROWEXACT *cut)
     
    SCIP_RETCODE SCIPsepastoreExactClearCuts (SCIP_SEPASTOREEXACT *sepastoreexact, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LPEXACT *lp)
     
    SCIP_ROWEXACT ** SCIPsepastoreExactGetCuts (SCIP_SEPASTOREEXACT *sepastoreexact)
     
    int SCIPsepastoreExactGetNCuts (SCIP_SEPASTOREEXACT *sepastoreexact)
     
    int SCIPsepastoreExactGetNCutsFound (SCIP_SEPASTOREEXACT *sepastoreexact)
     
    int SCIPsepastoreExactGetNCutsFoundRound (SCIP_SEPASTOREEXACT *sepastoreexact)
     
    int SCIPsepastoreExactGetNCutsApplied (SCIP_SEPASTOREEXACT *sepastoreexact)
     

    Function Documentation

    ◆ SCIPsepastoreExactCreate()

    SCIP_RETCODE SCIPsepastoreExactCreate ( SCIP_SEPASTOREEXACT **  sepastoreexact,
    SCIP_SET *  set 
    )

    creates separation storage

    Parameters
    sepastoreexactpointer to store separation storage
    setglobal SCIP settings

    Definition at line 79 of file sepastoreexact.c.

    References BMSallocMemory, FALSE, NULL, SCIP_ALLOC, and SCIP_OKAY.

    Referenced by initSolve().

    ◆ SCIPsepastoreExactFree()

    SCIP_RETCODE SCIPsepastoreExactFree ( SCIP_SEPASTOREEXACT **  sepastoreexact)

    frees separation storage

    Parameters
    sepastoreexactpointer to store separation storage

    Definition at line 104 of file sepastoreexact.c.

    References BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, and SCIP_OKAY.

    Referenced by freeSolve().

    ◆ SCIPsepastoreExactAddCut()

    SCIP_RETCODE SCIPsepastoreExactAddCut ( SCIP_SEPASTOREEXACT *  sepastoreexact,
    SCIP_SET *  set,
    SCIP_EVENTQUEUE *  eventqueue,
    SCIP_ROWEXACT *  cut 
    )

    adds cut to separation storage and captures it

    Parameters
    sepastoreexactseparation storage
    setglobal SCIP settings
    eventqueueevent queue
    cutseparated cut

    Definition at line 145 of file sepastoreexact.c.

    References SCIP_SepaStoreExact::cuts, SCIP_SepaStoreExact::cutssize, SCIP_RowExact::fprow, SCIP_SepaStoreExact::initiallp, SCIP_SepaStoreExact::ncuts, SCIP_SepaStoreExact::ncutsfound, SCIP_SepaStoreExact::ncutsfoundround, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugCheckRow, SCIPrationalIsInfinity(), SCIPrationalIsNegInfinity(), SCIProwExactCapture(), SCIProwExactGetLhs(), SCIProwExactGetRhs(), SCIProwGetName(), SCIProwGetNNonz(), SCIPsetDebugMsg, and sepastoreExactEnsureCutsMem().

    Referenced by SCIPaddRowExact().

    ◆ SCIPsepastoreExactClearCuts()

    SCIP_RETCODE SCIPsepastoreExactClearCuts ( SCIP_SEPASTOREEXACT *  sepastoreexact,
    BMS_BLKMEM *  blkmem,
    SCIP_SET *  set,
    SCIP_LPEXACT *  lp 
    )

    clears the separation storage without adding the cuts to the LP

    Parameters
    sepastoreexactseparation storage
    blkmemblock memory
    setglobal SCIP settings
    lpLP data

    Definition at line 190 of file sepastoreexact.c.

    References BMSfreeMemoryArrayNull, SCIP_SepaStoreExact::cuts, SCIP_SepaStoreExact::cutssize, SCIP_SepaStoreExact::initiallp, SCIP_SepaStoreExact::ncuts, SCIP_SepaStoreExact::ncutsfoundround, NULL, SCIP_CALL, SCIP_OKAY, SCIProwExactRelease(), and SCIPsetDebugMsg.

    Referenced by freeSolve().

    ◆ SCIPsepastoreExactGetCuts()

    SCIP_ROWEXACT ** SCIPsepastoreExactGetCuts ( SCIP_SEPASTOREEXACT *  sepastoreexact)

    get cuts in the separation storage

    Parameters
    sepastoreexactseparation storage

    Definition at line 228 of file sepastoreexact.c.

    References SCIP_SepaStoreExact::cuts, and NULL.

    ◆ SCIPsepastoreExactGetNCuts()

    int SCIPsepastoreExactGetNCuts ( SCIP_SEPASTOREEXACT *  sepastoreexact)

    get number of cuts in the separation storage

    Parameters
    sepastoreexactseparation storage

    Definition at line 238 of file sepastoreexact.c.

    References SCIP_SepaStoreExact::ncuts, and NULL.

    ◆ SCIPsepastoreExactGetNCutsFound()

    int SCIPsepastoreExactGetNCutsFound ( SCIP_SEPASTOREEXACT *  sepastoreexact)

    get total number of cuts found so far

    Parameters
    sepastoreexactseparation storage

    Definition at line 248 of file sepastoreexact.c.

    References SCIP_SepaStoreExact::ncutsfound, and NULL.

    ◆ SCIPsepastoreExactGetNCutsFoundRound()

    int SCIPsepastoreExactGetNCutsFoundRound ( SCIP_SEPASTOREEXACT *  sepastoreexact)

    get number of cuts found so far in current separation round

    Parameters
    sepastoreexactseparation storage

    Definition at line 258 of file sepastoreexact.c.

    References SCIP_SepaStoreExact::ncutsfoundround, and NULL.

    ◆ SCIPsepastoreExactGetNCutsApplied()

    int SCIPsepastoreExactGetNCutsApplied ( SCIP_SEPASTOREEXACT *  sepastoreexact)

    get total number of cuts applied to the LPs

    Parameters
    sepastoreexactseparation storage

    Definition at line 268 of file sepastoreexact.c.

    References SCIP_SepaStoreExact::ncutsapplied, and NULL.