Detailed Description

IIS

Definition at line 45 of file struct_iisfinder.h.

#include <struct_iisfinder.h>

Public Member Functions
	SCIP_DECL_IISFINDERCOPY ((*iisfindercopy))

	SCIP_DECL_IISFINDERFREE ((*iisfinderfree))

	SCIP_DECL_IISFINDEREXEC ((*iisfinderexec))

Data Fields
char *	name

char *	desc

SCIP_CLOCK *	iisfindertime

SCIP_IISFINDERDATA *	iisfinderdata

int	priority

Member Function Documentation

◆ SCIP_DECL_IISFINDERCOPY()

SCIP_IISfinder::SCIP_DECL_IISFINDERCOPY ( * iisfindercopy )

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

◆ SCIP_DECL_IISFINDERFREE()

SCIP_IISfinder::SCIP_DECL_IISFINDERFREE ( * iisfinderfree )

destructor of IIS finder

◆ SCIP_DECL_IISFINDEREXEC()

SCIP_IISfinder::SCIP_DECL_IISFINDEREXEC ( * iisfinderexec )

IIS finder generation method

Field Documentation

◆ name

char* SCIP_IISfinder::name

name of IIS finder

Definition at line 47 of file struct_iisfinder.h.

Referenced by SCIPiisfinderGetName(), and SCIPiisGenerate().

◆ desc

char* SCIP_IISfinder::desc

description of IIS finder

Definition at line 48 of file struct_iisfinder.h.

Referenced by SCIPiisfinderGetDesc().

◆ iisfindertime

SCIP_CLOCK* SCIP_IISfinder::iisfindertime

IIS finder execution time

Definition at line 52 of file struct_iisfinder.h.

Referenced by SCIPiisfinderEnableOrDisableClocks(), SCIPiisfinderGetTime(), and SCIPiisGenerate().

◆ iisfinderdata

SCIP_IISFINDERDATA* SCIP_IISfinder::iisfinderdata

IIS finder data

Definition at line 53 of file struct_iisfinder.h.

Referenced by SCIPiisfinderGetData(), and SCIPiisfinderSetData().

◆ priority

int SCIP_IISfinder::priority

priority of the IIS finder

Definition at line 54 of file struct_iisfinder.h.

Referenced by SCIPiisfinderGetPriority(), and SCIPiisfinderSetPriority().

SCIP