Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    pub_conflict.h File Reference
    Public API of SCIP » Core API

    Detailed Description

    public methods for conflict analysis handlers

    Author
    Tobias Achterberg

    Definition in file pub_conflict.h.

    #include "scip/def.h"
    #include "scip/type_misc.h"
    #include "scip/type_conflict.h"

    Go to the source code of this file.

    Functions

     SCIP_DECL_SORTPTRCOMP (SCIPconflicthdlrComp)
     
     SCIP_DECL_SORTPTRCOMP (SCIPconflicthdlrCompName)
     
    SCIP_CONFLICTHDLRDATA * SCIPconflicthdlrGetData (SCIP_CONFLICTHDLR *conflicthdlr)
     
    void SCIPconflicthdlrSetData (SCIP_CONFLICTHDLR *conflicthdlr, SCIP_CONFLICTHDLRDATA *conflicthdlrdata)
     
    const char * SCIPconflicthdlrGetName (SCIP_CONFLICTHDLR *conflicthdlr)
     
    const char * SCIPconflicthdlrGetDesc (SCIP_CONFLICTHDLR *conflicthdlr)
     
    int SCIPconflicthdlrGetPriority (SCIP_CONFLICTHDLR *conflicthdlr)
     
    SCIP_Bool SCIPconflicthdlrIsInitialized (SCIP_CONFLICTHDLR *conflicthdlr)
     
    SCIP_Real SCIPconflicthdlrGetSetupTime (SCIP_CONFLICTHDLR *conflicthdlr)
     
    SCIP_Real SCIPconflicthdlrGetTime (SCIP_CONFLICTHDLR *conflicthdlr)