SCIP

Solving Constraint Integer Programs

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

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

conflicthdlr conflict 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

conflicthdlr	conflict handler
conflicthdlrdata	new conflict handler user data

Definition at line 629 of file conflict.c.

References SCIP_Conflicthdlr::conflicthdlrdata, and NULL.

const char* SCIPconflicthdlrGetName ( SCIP_CONFLICTHDLR * conflicthdlr )

gets name of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 706 of file conflict.c.

References SCIP_Conflicthdlr::name, and NULL.

Referenced by conflictAddConflictCons(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONFLICTFREE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPconflicthdlrCopyInclude(), SCIPincludeDialogDefaultFix(), SCIPincludeDialogDefaultSet(), and SCIPsetFindConshdlr().

const char* SCIPconflicthdlrGetDesc ( SCIP_CONFLICTHDLR * conflicthdlr )

gets description of conflict handler

Parameters

conflicthdlr conflict 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

conflicthdlr conflict 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

conflicthdlr conflict 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

conflicthdlr conflict 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

conflicthdlr conflict handler

Definition at line 782 of file conflict.c.

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