Scippy

SCIP

Solving Constraint Integer Programs

objiisfinder.cpp File Reference

Detailed Description

C++ wrapper for IIS finders.

Author
Mark Turner

Definition in file objiisfinder.cpp.

#include <cassert>
#include "objiisfinder.h"

Go to the source code of this file.

Functions

static SCIP_DECL_IISFINDERCOPY (iisfinderCopyObj)
 
static SCIP_DECL_IISFINDERFREE (iisfinderFreeObj)
 
static SCIP_DECL_IISFINDEREXEC (iisfinderExecObj)
 
SCIP_RETCODE SCIPincludeObjIISfinder (SCIP *scip, scip::ObjIISfinder *objiisfinder, SCIP_Bool deleteobject)
 
scip::ObjIISfinderSCIPfindObjIISfinder (SCIP *scip, const char *name)
 
scip::ObjIISfinderSCIPgetObjIISfinder (SCIP *scip, SCIP_IISFINDER *iisfinder)
 

Function Documentation

◆ SCIP_DECL_IISFINDERCOPY()

static SCIP_DECL_IISFINDERCOPY ( iisfinderCopyObj  )
static

copy method for iis finder plugins (called when SCIP copies plugins)

Definition at line 56 of file objiisfinder.cpp.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPiisfinderGetData(), SCIPincludeObjIISfinder(), and TRUE.

◆ SCIP_DECL_IISFINDERFREE()

static SCIP_DECL_IISFINDERFREE ( iisfinderFreeObj  )
static

destructor of iis finder to free user data (called when SCIP is exiting)

Definition at line 81 of file objiisfinder.cpp.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPiisfinderGetData(), and SCIPiisfinderSetData().

◆ SCIP_DECL_IISFINDEREXEC()

static SCIP_DECL_IISFINDEREXEC ( iisfinderExecObj  )
static

iis finder execution method of iisfinder

Definition at line 106 of file objiisfinder.cpp.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPiisfinderGetData().

◆ SCIPincludeObjIISfinder()

SCIP_RETCODE SCIPincludeObjIISfinder ( SCIP scip,
scip::ObjIISfinder objiisfinder,
SCIP_Bool  deleteobject 
)

creates the iis finder for the given iis finder object and includes it in SCIP

Parameters
scipSCIP data structure
objiisfinderiis finder object
deleteobjectshould the iis finder object be deleted when iis finder is freed?

Definition at line 126 of file objiisfinder.cpp.

References NULL, SCIP_CALL, scip::ObjIISfinder::scip_desc_, scip::ObjIISfinder::scip_name_, SCIP_OKAY, scip::ObjIISfinder::scip_priority_, and SCIPincludeIISfinder().

Referenced by SCIP_DECL_IISFINDERCOPY().

◆ SCIPfindObjIISfinder()

scip::ObjIISfinder * SCIPfindObjIISfinder ( SCIP scip,
const char *  name 
)

returns the iis finder object of the given name, or 0 if not existing

Parameters
scipSCIP data structure
namename of iis finder

Definition at line 154 of file objiisfinder.cpp.

References NULL, SCIPfindIISfinder(), and SCIPiisfinderGetData().

◆ SCIPgetObjIISfinder()

scip::ObjIISfinder * SCIPgetObjIISfinder ( SCIP scip,
SCIP_IISFINDER iisfinder 
)

returns the iis finder object for the given iis finder

Parameters
scipSCIP data structure
iisfinderiis finder

Definition at line 173 of file objiisfinder.cpp.

References NULL, and SCIPiisfinderGetData().