Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Conflicthdlr Struct Reference

Detailed Description

conflict handler

Definition at line 40 of file struct_conflict.h.

#include <struct_conflict.h>

Public Member Functions

 SCIP_DECL_CONFLICTCOPY ((*conflictcopy))
 
 SCIP_DECL_CONFLICTFREE ((*conflictfree))
 
 SCIP_DECL_CONFLICTINIT ((*conflictinit))
 
 SCIP_DECL_CONFLICTEXIT ((*conflictexit))
 
 SCIP_DECL_CONFLICTINITSOL ((*conflictinitsol))
 
 SCIP_DECL_CONFLICTEXITSOL ((*conflictexitsol))
 
 SCIP_DECL_CONFLICTEXEC ((*conflictexec))
 

Data Fields

char * name
 
char * desc
 
SCIP_CONFLICTHDLRDATAconflicthdlrdata
 
SCIP_CLOCKsetuptime
 
SCIP_CLOCKconflicttime
 
int priority
 
SCIP_Bool initialized
 

Member Function Documentation

◆ SCIP_DECL_CONFLICTCOPY()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTCOPY ( conflictcopy)

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

◆ SCIP_DECL_CONFLICTFREE()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTFREE ( conflictfree)

destructor of conflict handler

◆ SCIP_DECL_CONFLICTINIT()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTINIT ( conflictinit)

initialize conflict handler

◆ SCIP_DECL_CONFLICTEXIT()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXIT ( conflictexit)

deinitialize conflict handler

◆ SCIP_DECL_CONFLICTINITSOL()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTINITSOL ( conflictinitsol)

solving process initialization method of conflict handler

◆ SCIP_DECL_CONFLICTEXITSOL()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXITSOL ( conflictexitsol)

solving process deinitialization method of conflict handler

◆ SCIP_DECL_CONFLICTEXEC()

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXEC ( conflictexec)

conflict processing method of conflict handler

Field Documentation

◆ name

char* SCIP_Conflicthdlr::name

name of conflict handler

Definition at line 42 of file struct_conflict.h.

Referenced by SCIPconflicthdlrExec(), SCIPconflicthdlrExit(), SCIPconflicthdlrGetName(), and SCIPconflicthdlrInit().

◆ desc

char* SCIP_Conflicthdlr::desc

description of conflict handler

Definition at line 43 of file struct_conflict.h.

Referenced by SCIPconflicthdlrGetDesc().

◆ conflicthdlrdata

SCIP_CONFLICTHDLRDATA* SCIP_Conflicthdlr::conflicthdlrdata

conflict handler data

Definition at line 51 of file struct_conflict.h.

Referenced by SCIPconflicthdlrGetData(), and SCIPconflicthdlrSetData().

◆ setuptime

SCIP_CLOCK* SCIP_Conflicthdlr::setuptime

time spend for setting up this conflict handler for the next stages

Definition at line 52 of file struct_conflict.h.

Referenced by SCIPconflicthdlrEnableOrDisableClocks(), SCIPconflicthdlrExit(), SCIPconflicthdlrExitsol(), SCIPconflicthdlrGetSetupTime(), SCIPconflicthdlrInit(), and SCIPconflicthdlrInitsol().

◆ conflicttime

SCIP_CLOCK* SCIP_Conflicthdlr::conflicttime

conflict handler execution time

Definition at line 53 of file struct_conflict.h.

Referenced by SCIPconflicthdlrEnableOrDisableClocks(), SCIPconflicthdlrExec(), SCIPconflicthdlrGetTime(), and SCIPconflicthdlrInit().

◆ priority

int SCIP_Conflicthdlr::priority

priority of the conflict handler

Definition at line 54 of file struct_conflict.h.

Referenced by SCIPconflicthdlrGetPriority(), and SCIPconflicthdlrSetPriority().

◆ initialized

SCIP_Bool SCIP_Conflicthdlr::initialized

is conflict handler initialized?

Definition at line 55 of file struct_conflict.h.

Referenced by SCIPconflicthdlrExit(), SCIPconflicthdlrInit(), and SCIPconflicthdlrIsInitialized().