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_EXPORT SCIP_DECL_SORTPTRCOMP (SCIPconflicthdlrComp)
 
SCIP_EXPORT SCIP_DECL_SORTPTRCOMP (SCIPconflicthdlrCompName)
 
SCIP_EXPORT SCIP_CONFLICTHDLRDATASCIPconflicthdlrGetData (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_EXPORT void SCIPconflicthdlrSetData (SCIP_CONFLICTHDLR *conflicthdlr, SCIP_CONFLICTHDLRDATA *conflicthdlrdata)
 
SCIP_EXPORT const char * SCIPconflicthdlrGetName (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_EXPORT const char * SCIPconflicthdlrGetDesc (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_EXPORT int SCIPconflicthdlrGetPriority (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_EXPORT SCIP_Bool SCIPconflicthdlrIsInitialized (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_EXPORT SCIP_Real SCIPconflicthdlrGetSetupTime (SCIP_CONFLICTHDLR *conflicthdlr)
 
SCIP_EXPORT SCIP_Real SCIPconflicthdlrGetTime (SCIP_CONFLICTHDLR *conflicthdlr)