Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Conflicthdlr Struct Reference

Detailed Description

conflict handler

Definition at line 39 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_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_Conflicthdlr::SCIP_DECL_CONFLICTFREE ( conflictfree)

destructor of conflict handler

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTINIT ( conflictinit)

initialize conflict handler

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXIT ( conflictexit)

deinitialize conflict handler

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTINITSOL ( conflictinitsol)

solving process initialization method of conflict handler

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXITSOL ( conflictexitsol)

solving process deinitialization method of conflict handler

SCIP_Conflicthdlr::SCIP_DECL_CONFLICTEXEC ( conflictexec)

conflict processing method of conflict handler

Field Documentation

char* SCIP_Conflicthdlr::name

name of conflict handler

Definition at line 41 of file struct_conflict.h.

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

char* SCIP_Conflicthdlr::desc

description of conflict handler

Definition at line 42 of file struct_conflict.h.

Referenced by SCIPconflicthdlrGetDesc().

SCIP_CONFLICTHDLRDATA* SCIP_Conflicthdlr::conflicthdlrdata

conflict handler data

Definition at line 50 of file struct_conflict.h.

Referenced by SCIPconflicthdlrGetData(), and SCIPconflicthdlrSetData().

SCIP_CLOCK* SCIP_Conflicthdlr::setuptime

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

Definition at line 51 of file struct_conflict.h.

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

SCIP_CLOCK* SCIP_Conflicthdlr::conflicttime

conflict handler execution time

Definition at line 52 of file struct_conflict.h.

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

int SCIP_Conflicthdlr::priority

priority of the conflict handler

Definition at line 53 of file struct_conflict.h.

Referenced by SCIPconflicthdlrGetPriority(), and SCIPconflicthdlrSetPriority().

SCIP_Bool SCIP_Conflicthdlr::initialized

is conflict handler initialized?

Definition at line 54 of file struct_conflict.h.

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