SCIP_IISfinder Struct Reference

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().