Detailed Description

public methods for conflict handler plugins and conflict analysis

Author: Tobias Achterberg; Timo Berthold; Thorsten Koch; Alexander Martin; Marc Pfetsch; Kati Wolter; Gregor Hendel; Robert Lion Gottwald

#include "scip/def.h"
#include "scip/type_conflict.h"
#include "scip/type_cons.h"
#include "scip/type_lp.h"
#include "scip/type_result.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_tree.h"
#include "scip/type_var.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludeConflicthdlr (SCIP scip, const char name, const char desc, int priority, 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)), SCIP_CONFLICTHDLRDATA *conflicthdlrdata)

SCIP_RETCODE	SCIPincludeConflicthdlrBasic (SCIP scip, SCIP_CONFLICTHDLR conflicthdlrptr, const char name, const char desc, int priority, SCIP_DECL_CONFLICTEXEC((conflictexec)), SCIP_CONFLICTHDLRDATA *conflicthdlrdata)

SCIP_RETCODE	SCIPsetConflicthdlrCopy (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTCOPY((*conflictcopy)))

SCIP_RETCODE	SCIPsetConflicthdlrFree (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTFREE((*conflictfree)))

SCIP_RETCODE	SCIPsetConflicthdlrInit (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTINIT((*conflictinit)))

SCIP_RETCODE	SCIPsetConflicthdlrExit (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTEXIT((*conflictexit)))

SCIP_RETCODE	SCIPsetConflicthdlrInitsol (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTINITSOL((*conflictinitsol)))

SCIP_RETCODE	SCIPsetConflicthdlrExitsol (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol)))

SCIP_CONFLICTHDLR *	SCIPfindConflicthdlr (SCIP scip, const char name)

SCIP_CONFLICTHDLR **	SCIPgetConflicthdlrs (SCIP *scip)

int	SCIPgetNConflicthdlrs (SCIP *scip)

SCIP_RETCODE	SCIPsetConflicthdlrPriority (SCIP scip, SCIP_CONFLICTHDLR conflicthdlr, int priority)

SCIP_Bool	SCIPisConflictAnalysisApplicable (SCIP *scip)

SCIP_RETCODE	SCIPinitConflictAnalysis (SCIP *scip, SCIP_CONFTYPE conftype, SCIP_Bool iscutoffinvolved)

SCIP_RETCODE	SCIPaddConflictLb (SCIP scip, SCIP_VAR var, SCIP_BDCHGIDX *bdchgidx)

SCIP_RETCODE	SCIPaddConflictRelaxedLb (SCIP scip, SCIP_VAR var, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedlb)

SCIP_RETCODE	SCIPaddConflictUb (SCIP scip, SCIP_VAR var, SCIP_BDCHGIDX *bdchgidx)

SCIP_RETCODE	SCIPaddConflictRelaxedUb (SCIP scip, SCIP_VAR var, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedub)

SCIP_RETCODE	SCIPaddConflictBd (SCIP scip, SCIP_VAR var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx)

SCIP_RETCODE	SCIPaddConflictRelaxedBd (SCIP scip, SCIP_VAR var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedbd)

SCIP_RETCODE	SCIPaddConflictBinvar (SCIP scip, SCIP_VAR var)

SCIP_RETCODE	SCIPisConflictVarUsed (SCIP scip, SCIP_VAR var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX bdchgidx, SCIP_Bool used)

SCIP_Real	SCIPgetConflictVarLb (SCIP scip, SCIP_VAR var)

SCIP_Real	SCIPgetConflictVarUb (SCIP scip, SCIP_VAR var)

SCIP_RETCODE	SCIPanalyzeConflict (SCIP scip, int validdepth, SCIP_Bool success)

SCIP_RETCODE	SCIPanalyzeConflictCons (SCIP scip, SCIP_CONS cons, SCIP_Bool *success)

SCIP

Detailed Description

Functions