scip_iisfinder.c File Reference

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_RETCODE	SCIPsetIISfinderFree (SCIP *scip, SCIP_IISFINDER *iisfinder,)
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)