Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    scip_iisfinder.c File Reference
    Implementation files (.c files) » Other implementation files of SCIP

    Detailed Description

    public methods for IIS plugins

    Author
    Mark Turner

    Definition in file scip_iisfinder.c.

    #include "scip/debug.h"
    #include "scip/iisfinder.h"
    #include "scip/pub_message.h"
    #include "scip/scip_iisfinder.h"
    #include "scip/set.h"
    #include "scip/struct_mem.h"
    #include "scip/struct_scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeIISfinder (SCIP *scip, const char *name, const char *desc, int priority, SCIP_DECL_IISFINDERCOPY((*iisfindercopy)), SCIP_DECL_IISFINDERFREE((*iisfinderfree)), SCIP_DECL_IISFINDEREXEC((*iisfinderexec)), SCIP_IISFINDERDATA *iisfinderdata)
     
    SCIP_RETCODE SCIPincludeIISfinderBasic (SCIP *scip, SCIP_IISFINDER **iisfinder, const char *name, const char *desc, int priority, SCIP_DECL_IISFINDEREXEC((*iisfinderexec)), SCIP_IISFINDERDATA *iisfinderdata)
     
    SCIP_RETCODE SCIPsetIISfinderCopy (SCIP *scip, SCIP_IISFINDER *iisfinder, SCIP_DECL_IISFINDERCOPY((*iisfindercopy)))
     
    SCIP_RETCODE SCIPsetIISfinderFree (SCIP *scip, SCIP_IISFINDER *iisfinder, SCIP_DECL_IISFINDERFREE((*iisfinderfree)))
     
    SCIP_RETCODE SCIPgenerateIIS (SCIP *scip)
     
    SCIP_IISFINDER * SCIPfindIISfinder (SCIP *scip, const char *name)
     
    SCIP_IISFINDER ** SCIPgetIISfinders (SCIP *scip)
     
    int SCIPgetNIISfinders (SCIP *scip)
     
    SCIP_RETCODE SCIPsetIISfinderPriority (SCIP *scip, SCIP_IISFINDER *iisfinder, int priority)
     
    SCIP_IIS * SCIPgetIIS (SCIP *scip)