Scippy

SCIP

Solving Constraint Integer Programs

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

Detailed Description

public methods for IIS finder plugins

Author
Mark Turner

Definition in file scip_iisfinder.h.

#include "scip/def.h"
#include "scip/type_iisfinder.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_tree.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)