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_CONFLICTHDLRDATA *	SCIPconflicthdlrGetData (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

SCIP_DECL_SORTPTRCOMP

(

SCIPconflicthdlrCompName

)

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

SCIP_CONFLICTHDLRDATA* SCIPconflicthdlrGetData

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

gets user data of conflict handler

Parameters

conflicthdlr

conflict handler

void SCIPconflicthdlrSetData	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_CONFLICTHDLRDATA *	conflicthdlrdata
	)

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

Parameters

conflicthdlr	conflict handler
conflicthdlrdata	new conflict handler user data

const char* SCIPconflicthdlrGetName

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

gets name of conflict handler

Parameters

conflicthdlr

conflict handler

const char* SCIPconflicthdlrGetDesc

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

gets description of conflict handler

Parameters

conflicthdlr

conflict handler

int SCIPconflicthdlrGetPriority

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

gets priority of conflict handler

Parameters

conflicthdlr

conflict handler

SCIP_Bool SCIPconflicthdlrIsInitialized

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

is conflict handler initialized?

Parameters

conflicthdlr

conflict handler

SCIP_Real SCIPconflicthdlrGetSetupTime

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

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

Parameters

conflicthdlr

conflict handler

SCIP_Real SCIPconflicthdlrGetTime

(

SCIP_CONFLICTHDLR *

conflicthdlr

)

gets time in seconds used in this conflict handler

Parameters

conflicthdlr

conflict handler