public methods for conflict handler plugins and conflict analysis
- Author
- Tobias Achterberg
-
Timo Berthold
-
Thorsten Koch
-
Alexander Martin
-
Marc Pfetsch
-
Kati Wolter
-
Gregor Hendel
-
Leona Gottwald
Definition in file scip_conflict.h.
|
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) |
|