Scippy

SCIP

Solving Constraint Integer Programs

pub_conflict.h File Reference

Detailed Description

public methods for conflict analysis handlers

Author
Tobias Achterberg

Definition in file pub_conflict.h.

#include "scip/def.h"
#include "scip/type_misc.h"
#include "scip/type_conflict.h"

Go to the source code of this file.

Functions

 SCIP_DECL_SORTPTRCOMP (SCIPconflicthdlrComp)
 
 SCIP_DECL_SORTPTRCOMP (SCIPconflicthdlrCompName)
 
SCIP_CONFLICTHDLRDATASCIPconflicthdlrGetData (SCIP_CONFLICTHDLR *conflicthdlr)
 
void SCIPconflicthdlrSetData (SCIP_CONFLICTHDLR *conflicthdlr, SCIP_CONFLICTHDLRDATA *conflicthdlrdata)
 
const char * SCIPconflicthdlrGetName (SCIP_CONFLICTHDLR *conflicthdlr)
 
const char * SCIPconflicthdlrGetDesc (SCIP_CONFLICTHDLR *conflicthdlr)
 
int SCIPconflicthdlrGetPriority (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_Bool SCIPconflicthdlrIsInitialized (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_Real SCIPconflicthdlrGetSetupTime (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_Real SCIPconflicthdlrGetTime (SCIP_CONFLICTHDLR *conflicthdlr)
 

Function Documentation

SCIP_DECL_SORTPTRCOMP ( SCIPconflicthdlrComp  )

compares two conflict handlers w. r. to their priority

Definition at line 333 of file conflict.c.

SCIP_DECL_SORTPTRCOMP ( SCIPconflicthdlrCompName  )

comparison method for sorting conflict handler w.r.t. to their name

Definition at line 339 of file conflict.c.

References SCIPconflicthdlrGetName().

SCIP_CONFLICTHDLRDATA* SCIPconflicthdlrGetData ( SCIP_CONFLICTHDLR conflicthdlr)

gets user data of conflict handler

Parameters
conflicthdlrconflict handler

Definition at line 619 of file conflict.c.

References SCIP_Conflicthdlr::conflicthdlrdata, and NULL.

Referenced by SCIP_DECL_CONFLICTEXEC(), and SCIP_DECL_CONFLICTFREE().

void SCIPconflicthdlrSetData ( SCIP_CONFLICTHDLR conflicthdlr,
SCIP_CONFLICTHDLRDATA conflicthdlrdata 
)

sets user data of conflict handler; user has to free old data in advance!

Parameters
conflicthdlrconflict handler
conflicthdlrdatanew conflict handler user data

Definition at line 629 of file conflict.c.

References SCIP_Conflicthdlr::conflicthdlrdata, and NULL.

const char* SCIPconflicthdlrGetName ( SCIP_CONFLICTHDLR conflicthdlr)
const char* SCIPconflicthdlrGetDesc ( SCIP_CONFLICTHDLR conflicthdlr)

gets description of conflict handler

Parameters
conflicthdlrconflict handler

Definition at line 716 of file conflict.c.

References SCIP_Conflicthdlr::desc, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPincludeDialogDefaultFix(), and SCIPincludeDialogDefaultSet().

int SCIPconflicthdlrGetPriority ( SCIP_CONFLICTHDLR conflicthdlr)

gets priority of conflict handler

Parameters
conflicthdlrconflict handler

Definition at line 726 of file conflict.c.

References NULL, and SCIP_Conflicthdlr::priority.

Referenced by conflictAddConflictCons(), and SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPconflicthdlrIsInitialized ( SCIP_CONFLICTHDLR conflicthdlr)

is conflict handler initialized?

Parameters
conflicthdlrconflict handler

Definition at line 750 of file conflict.c.

References SCIP_Conflicthdlr::initialized, and NULL.

SCIP_Real SCIPconflicthdlrGetSetupTime ( SCIP_CONFLICTHDLR conflicthdlr)

gets time in seconds used in this conflict handler for setting up for next stages

Parameters
conflicthdlrconflict handler

Definition at line 772 of file conflict.c.

References NULL, SCIPclockGetTime(), and SCIP_Conflicthdlr::setuptime.

SCIP_Real SCIPconflicthdlrGetTime ( SCIP_CONFLICTHDLR conflicthdlr)

gets time in seconds used in this conflict handler

Parameters
conflicthdlrconflict handler

Definition at line 782 of file conflict.c.

References SCIP_Conflicthdlr::conflicttime, NULL, and SCIPclockGetTime().