Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_Conflicthdlr Struct Reference

    Detailed Description

    conflict handler

    Definition at line 49 of file struct_conflict.h.

    #include <struct_conflict.h>

    Public Member Functions

     SCIP_DECL_CONFLICTCOPY ((*conflictcopy))
     
     SCIP_DECL_CONFLICTFREE ((*conflictfree))
     
     SCIP_DECL_CONFLICTINIT ((*conflictinit))
     
     SCIP_DECL_CONFLICTEXIT ((*conflictexit))
     
     SCIP_DECL_CONFLICTINITSOL ((*conflictinitsol))
     
     SCIP_DECL_CONFLICTEXITSOL ((*conflictexitsol))
     
     SCIP_DECL_CONFLICTEXEC ((*conflictexec))
     

    Data Fields

    char * name
     
    char * desc
     
    SCIP_CONFLICTHDLRDATAconflicthdlrdata
     
    SCIP_CLOCKsetuptime
     
    SCIP_CLOCKconflicttime
     
    int priority
     
    SCIP_Bool initialized
     

    Member Function Documentation

    ◆ SCIP_DECL_CONFLICTCOPY()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTCOPY ( conflictcopy)

    copy method of conflict handler or NULL if you don't want to copy your plugin into sub-SCIPs

    ◆ SCIP_DECL_CONFLICTFREE()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTFREE ( conflictfree)

    destructor of conflict handler

    ◆ SCIP_DECL_CONFLICTINIT()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTINIT ( conflictinit)

    initialize conflict handler

    ◆ SCIP_DECL_CONFLICTEXIT()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXIT ( conflictexit)

    deinitialize conflict handler

    ◆ SCIP_DECL_CONFLICTINITSOL()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTINITSOL ( conflictinitsol)

    solving process initialization method of conflict handler

    ◆ SCIP_DECL_CONFLICTEXITSOL()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXITSOL ( conflictexitsol)

    solving process deinitialization method of conflict handler

    ◆ SCIP_DECL_CONFLICTEXEC()

    SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXEC ( conflictexec)

    conflict processing method of conflict handler

    Field Documentation

    ◆ name

    char* SCIP_Conflicthdlr::name

    name of conflict handler

    Definition at line 51 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrExec(), SCIPconflicthdlrExit(), SCIPconflicthdlrGetName(), and SCIPconflicthdlrInit().

    ◆ desc

    char* SCIP_Conflicthdlr::desc

    description of conflict handler

    Definition at line 52 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrGetDesc().

    ◆ conflicthdlrdata

    SCIP_CONFLICTHDLRDATA* SCIP_Conflicthdlr::conflicthdlrdata

    conflict handler data

    Definition at line 60 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrGetData(), and SCIPconflicthdlrSetData().

    ◆ setuptime

    SCIP_CLOCK* SCIP_Conflicthdlr::setuptime

    time spend for setting up this conflict handler for the next stages

    Definition at line 61 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrEnableOrDisableClocks(), SCIPconflicthdlrExit(), SCIPconflicthdlrExitsol(), SCIPconflicthdlrGetSetupTime(), SCIPconflicthdlrInit(), and SCIPconflicthdlrInitsol().

    ◆ conflicttime

    SCIP_CLOCK* SCIP_Conflicthdlr::conflicttime

    conflict handler execution time

    Definition at line 62 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrEnableOrDisableClocks(), SCIPconflicthdlrExec(), SCIPconflicthdlrGetTime(), and SCIPconflicthdlrInit().

    ◆ priority

    int SCIP_Conflicthdlr::priority

    priority of the conflict handler

    Definition at line 63 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrGetPriority(), and SCIPconflicthdlrSetPriority().

    ◆ initialized

    SCIP_Bool SCIP_Conflicthdlr::initialized

    is conflict handler initialized?

    Definition at line 64 of file struct_conflict.h.

    Referenced by SCIPconflicthdlrExit(), SCIPconflicthdlrInit(), and SCIPconflicthdlrIsInitialized().