Detailed Description

methods and datastructures for separators

Author: Tobias Achterberg; Timo Berthold

Definition in file sepa.c.

#include <assert.h>
#include <string.h>
#include "scip/def.h"
#include "scip/set.h"
#include "scip/stat.h"
#include "scip/clock.h"
#include "scip/paramset.h"
#include "scip/sepastore.h"
#include "scip/scip.h"
#include "scip/sepa.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/struct_sepa.h"

Go to the source code of this file.

Functions
	SCIP_DECL_SORTPTRCOMP (SCIPsepaComp)

	SCIP_DECL_SORTPTRCOMP (SCIPsepaCompName)

static	SCIP_DECL_PARAMCHGD (paramChgdSepaPriority)

SCIP_RETCODE	SCIPsepaCopyInclude (SCIP_SEPA sepa, SCIP_SET set)

SCIP_RETCODE	SCIPsepaCreate (SCIP_SEPA *sepa, SCIP_SET set, SCIP_MESSAGEHDLR messagehdlr, BMS_BLKMEM blkmem, const char name, const char desc, int priority, int freq, SCIP_Real maxbounddist, SCIP_Bool usessubscip, SCIP_Bool delay, SCIP_DECL_SEPACOPY((sepacopy)), SCIP_DECL_SEPAFREE((sepafree)), SCIP_DECL_SEPAINIT((sepainit)), SCIP_DECL_SEPAEXIT((sepaexit)), SCIP_DECL_SEPAINITSOL((sepainitsol)), SCIP_DECL_SEPAEXITSOL((sepaexitsol)), SCIP_DECL_SEPAEXECLP((sepaexeclp)), SCIP_DECL_SEPAEXECSOL((sepaexecsol)), SCIP_SEPADATA *sepadata)

SCIP_RETCODE	SCIPsepaFree (SCIP_SEPA *sepa, SCIP_SET set)

SCIP_RETCODE	SCIPsepaInit (SCIP_SEPA sepa, SCIP_SET set)

SCIP_RETCODE	SCIPsepaExit (SCIP_SEPA sepa, SCIP_SET set)

SCIP_RETCODE	SCIPsepaInitsol (SCIP_SEPA sepa, SCIP_SET set)

SCIP_RETCODE	SCIPsepaExitsol (SCIP_SEPA sepa, SCIP_SET set)

SCIP_RETCODE	SCIPsepaExecLP (SCIP_SEPA sepa, SCIP_SET set, SCIP_STAT stat, SCIP_SEPASTORE sepastore, int depth, SCIP_Real bounddist, SCIP_Bool execdelayed, SCIP_RESULT *result)

SCIP_RETCODE	SCIPsepaExecSol (SCIP_SEPA sepa, SCIP_SET set, SCIP_STAT stat, SCIP_SEPASTORE sepastore, SCIP_SOL sol, int depth, SCIP_Bool execdelayed, SCIP_RESULT result)

SCIP_SEPADATA *	SCIPsepaGetData (SCIP_SEPA *sepa)

void	SCIPsepaSetData (SCIP_SEPA sepa, SCIP_SEPADATA sepadata)

void	SCIPsepaSetCopy (SCIP_SEPA sepa, SCIP_DECL_SEPACOPY((sepacopy)))

void	SCIPsepaSetFree (SCIP_SEPA sepa, SCIP_DECL_SEPAFREE((sepafree)))

void	SCIPsepaSetInit (SCIP_SEPA sepa, SCIP_DECL_SEPAINIT((sepainit)))

void	SCIPsepaSetExit (SCIP_SEPA sepa, SCIP_DECL_SEPAEXIT((sepaexit)))

void	SCIPsepaSetInitsol (SCIP_SEPA sepa, SCIP_DECL_SEPAINITSOL((sepainitsol)))

void	SCIPsepaSetExitsol (SCIP_SEPA sepa, SCIP_DECL_SEPAEXITSOL((sepaexitsol)))

const char *	SCIPsepaGetName (SCIP_SEPA *sepa)

const char *	SCIPsepaGetDesc (SCIP_SEPA *sepa)

int	SCIPsepaGetPriority (SCIP_SEPA *sepa)

void	SCIPsepaSetPriority (SCIP_SEPA sepa, SCIP_SET set, int priority)

int	SCIPsepaGetFreq (SCIP_SEPA *sepa)

void	SCIPsepaSetFreq (SCIP_SEPA *sepa, int freq)

SCIP_Real	SCIPsepaGetMaxbounddist (SCIP_SEPA *sepa)

SCIP_Bool	SCIPsepaUsesSubscip (SCIP_SEPA *sepa)

void	SCIPsepaEnableOrDisableClocks (SCIP_SEPA *sepa, SCIP_Bool enable)

SCIP_Real	SCIPsepaGetSetupTime (SCIP_SEPA *sepa)

SCIP_Real	SCIPsepaGetTime (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNCalls (SCIP_SEPA *sepa)

int	SCIPsepaGetNCallsAtNode (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNCutoffs (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNCutsFound (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNCutsApplied (SCIP_SEPA *sepa)

void	SCIPsepaIncNAppliedCuts (SCIP_SEPA *sepa)

void	SCIPsepaIncNCutsFound (SCIP_SEPA *sepa)

void	SCIPsepaIncNCutsFoundAtNode (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNCutsFoundAtNode (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNConssFound (SCIP_SEPA *sepa)

SCIP_Longint	SCIPsepaGetNDomredsFound (SCIP_SEPA *sepa)

SCIP_Bool	SCIPsepaIsDelayed (SCIP_SEPA *sepa)

SCIP_Bool	SCIPsepaWasLPDelayed (SCIP_SEPA *sepa)

SCIP_Bool	SCIPsepaWasSolDelayed (SCIP_SEPA *sepa)

SCIP_Bool	SCIPsepaIsInitialized (SCIP_SEPA *sepa)

Function Documentation

SCIP_DECL_SORTPTRCOMP ( SCIPsepaComp )

compares two separators w. r. to their priority

Definition at line 43 of file sepa.c.

SCIP_DECL_SORTPTRCOMP ( SCIPsepaCompName )

comparison method for sorting separators w.r.t. to their name

Definition at line 49 of file sepa.c.

References SCIPsepaGetName().

static SCIP_DECL_PARAMCHGD ( paramChgdSepaPriority )

static

method to call, when the priority of a separator was changed

Definition at line 56 of file sepa.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPparamGetData(), SCIPparamGetInt(), and SCIPsetSepaPriority().

SCIP_RETCODE SCIPsepaCopyInclude	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set
	)

copies the given separator to a new scip

Parameters

sepa	separator
set	SCIP_SET of SCIP to copy to

Definition at line 70 of file sepa.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIPsepaGetName().

Referenced by SCIPsetCopyPlugins().

SCIP_RETCODE SCIPsepaCreate	(	SCIP_SEPA **	sepa,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	priority,
		int	freq,
		SCIP_Real	maxbounddist,
		SCIP_Bool	usessubscip,
		SCIP_Bool	delay,
		SCIP_DECL_SEPACOPY((*sepacopy))	,
		SCIP_DECL_SEPAFREE((*sepafree))	,
		SCIP_DECL_SEPAINIT((*sepainit))	,
		SCIP_DECL_SEPAEXIT((*sepaexit))	,
		SCIP_DECL_SEPAINITSOL((*sepainitsol))	,
		SCIP_DECL_SEPAEXITSOL((*sepaexitsol))	,
		SCIP_DECL_SEPAEXECLP((*sepaexeclp))	,
		SCIP_DECL_SEPAEXECSOL((*sepaexecsol))	,
		SCIP_SEPADATA *	sepadata
	)

creates a separator

Parameters

sepa	pointer to separator data structure
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of separator
desc	description of separator
priority	priority of separator (>= 0: before, < 0: after constraint handlers)
freq	frequency for calling separator
maxbounddist	maximal relative distance from current node's dual bound to primal bound compared to best node's dual bound for applying separation
usessubscip	does the separator use a secondary SCIP instance?
delay	should separator be delayed, if other separators found cuts?
sepadata	separator data

Definition at line 88 of file sepa.c.

References BMSallocMemory, BMSduplicateMemoryArray, FALSE, NULL, paramname, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPclockCreate(), SCIPsetAddBoolParam(), SCIPsetAddIntParam(), SCIPsetAddRealParam(), SCIPsnprintf(), and TRUE.

Referenced by SCIPincludeSepa(), and SCIPincludeSepaBasic().

SCIP_RETCODE SCIPsepaFree	(	SCIP_SEPA **	sepa,
		SCIP_SET *	set
	)

calls destructor and frees memory of separator

Parameters

sepa	pointer to separator data structure
set	global SCIP settings

Definition at line 180 of file sepa.c.

References BMSfreeMemory, BMSfreeMemoryArray, NULL, SCIP_CALL, SCIP_OKAY, and SCIPclockFree().

SCIP_RETCODE SCIPsepaInit	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set
	)

initializes separator

Parameters

sepa	separator
set	global SCIP settings

Definition at line 206 of file sepa.c.

References FALSE, SCIP_Sepa::initialized, SCIP_Sepa::lastsepanode, SCIP_Sepa::lpwasdelayed, SCIP_Sepa::name, SCIP_Sepa::ncalls, SCIP_Sepa::ncallsatnode, SCIP_Sepa::nconssfound, SCIP_Sepa::ncutoffs, SCIP_Sepa::ncutsapplied, SCIP_Sepa::ncutsfound, SCIP_Sepa::ncutsfoundatnode, SCIP_Sepa::ndomredsfound, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIP_Sepa::sepaclock, SCIP_Sepa::setuptime, SCIP_Sepa::solwasdelayed, and TRUE.

Referenced by SCIPsetIncludeExternalCode().

SCIP_RETCODE SCIPsepaExit	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set
	)

calls exit method of separator

Parameters

sepa	separator
set	global SCIP settings

Definition at line 254 of file sepa.c.

References FALSE, SCIP_Sepa::initialized, SCIP_Sepa::name, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIP_Sepa::setuptime.

Referenced by SCIPsetInitPlugins().

SCIP_RETCODE SCIPsepaInitsol	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set
	)

informs separator that the branch and bound process is being started

Parameters

sepa	separator
set	global SCIP settings

Definition at line 284 of file sepa.c.

References FALSE, SCIP_Sepa::lpwasdelayed, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Sepa::setuptime, and SCIP_Sepa::solwasdelayed.

Referenced by SCIPsetExitprePlugins().

SCIP_RETCODE SCIPsepaExitsol	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set
	)

informs separator that the branch and bound process data is being freed

Parameters

sepa	separator
set	global SCIP settings

Definition at line 311 of file sepa.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Sepa::setuptime.

Referenced by SCIPsetInitsolPlugins().

SCIP_RETCODE SCIPsepaExecLP	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_SEPASTORE *	sepastore,
		int	depth,
		SCIP_Real	bounddist,
		SCIP_Bool	execdelayed,
		SCIP_RESULT *	result
	)

calls LP separation method of separator

Parameters

sepa	separator
set	global SCIP settings
stat	dynamic problem statistics
sepastore	separation storage
depth	depth of current node
bounddist	current relative distance of local dual bound to global dual bound
execdelayed	execute separator even if it is marked to be delayed
result	pointer to store the result of the callback method

Definition at line 335 of file sepa.c.

References SCIP_Sepa::delay, SCIP_Sepa::freq, SCIP_Sepa::lastsepanode, SCIP_Sepa::lpwasdelayed, MAX, SCIP_Sepa::maxbounddist, SCIP_Stat::nactiveconss, SCIP_Sepa::name, SCIP_Stat::nboundchgs, SCIP_Sepa::ncalls, SCIP_Sepa::ncallsatnode, SCIP_Sepa::nconssfound, SCIP_Sepa::ncutoffs, SCIP_Sepa::ncutsfound, SCIP_Sepa::ncutsfoundatnode, SCIP_Sepa::ndomredsfound, SCIP_Stat::nholechgs, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Stat::ntotalnodes, NULL, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetIsLE(), and SCIP_Sepa::sepaclock.

Referenced by separationRoundLP().

SCIP_RETCODE SCIPsepaExecSol	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_SEPASTORE *	sepastore,
		SCIP_SOL *	sol,
		int	depth,
		SCIP_Bool	execdelayed,
		SCIP_RESULT *	result
	)

calls primal solution separation method of separator

Parameters

sepa	separator
set	global SCIP settings
stat	dynamic problem statistics
sepastore	separation storage
sol	primal solution that should be separated
depth	depth of current node
execdelayed	execute separator even if it is marked to be delayed
result	pointer to store the result of the callback method

Definition at line 441 of file sepa.c.

References SCIP_Sepa::delay, SCIP_Sepa::freq, SCIP_Sepa::lastsepanode, MAX, SCIP_Stat::nactiveconss, SCIP_Sepa::name, SCIP_Stat::nboundchgs, SCIP_Sepa::ncalls, SCIP_Sepa::ncallsatnode, SCIP_Sepa::nconssfound, SCIP_Sepa::ncutoffs, SCIP_Sepa::ncutsfound, SCIP_Sepa::ncutsfoundatnode, SCIP_Sepa::ndomredsfound, SCIP_Stat::nholechgs, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Stat::ntotalnodes, NULL, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIP_Sepa::sepaclock, and SCIP_Sepa::solwasdelayed.

Referenced by separationRoundSol().

SCIP_SEPADATA* SCIPsepaGetData ( SCIP_SEPA * sepa )

gets user data of separator

Parameters

sepa separator

Definition at line 544 of file sepa.c.

References NULL, and SCIP_Sepa::sepadata.

Referenced by freeSubscip(), SCIP_DECL_SEPACOPY(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIP_DECL_SEPAEXIT(), SCIP_DECL_SEPAEXITSOL(), SCIP_DECL_SEPAFREE(), SCIP_DECL_SEPAINIT(), SCIP_DECL_SEPAINITSOL(), SCIPfindObjSepa(), SCIPgetObjSepa(), SCIPsetBasePointClosecuts(), and separateCuts().

void SCIPsepaSetData	(	SCIP_SEPA *	sepa,
		SCIP_SEPADATA *	sepadata
	)

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

Parameters

sepa	separator
sepadata	new separator user data

Definition at line 554 of file sepa.c.

References NULL, and SCIP_Sepa::sepadata.

Referenced by SCIP_DECL_SEPAFREE().

void SCIPsepaSetCopy	(	SCIP_SEPA *	sepa,
		SCIP_DECL_SEPACOPY((*sepacopy))
	)

sets copy method of separator

Parameters

sepa separator

Definition at line 567 of file sepa.c.

References NULL.

Referenced by SCIPsetSepaCopy().

void SCIPsepaSetFree	(	SCIP_SEPA *	sepa,
		SCIP_DECL_SEPAFREE((*sepafree))
	)

sets destructor method of separator

Parameters

sepa separator

Definition at line 578 of file sepa.c.

References NULL.

Referenced by SCIPsetSepaFree().

void SCIPsepaSetInit	(	SCIP_SEPA *	sepa,
		SCIP_DECL_SEPAINIT((*sepainit))
	)

sets initialization method of separator

Parameters

sepa separator

Definition at line 589 of file sepa.c.

References NULL.

Referenced by SCIPsetSepaInit().

void SCIPsepaSetExit	(	SCIP_SEPA *	sepa,
		SCIP_DECL_SEPAEXIT((*sepaexit))
	)

sets deinitialization method of separator

Parameters

sepa separator

Definition at line 600 of file sepa.c.

References NULL.

Referenced by SCIPsetSepaExit().

void SCIPsepaSetInitsol	(	SCIP_SEPA *	sepa,
		SCIP_DECL_SEPAINITSOL((*sepainitsol))
	)

sets solving process initialization method of separator

Parameters

sepa separator

Definition at line 611 of file sepa.c.

References NULL.

Referenced by SCIPsetSepaInitsol().

void SCIPsepaSetExitsol	(	SCIP_SEPA *	sepa,
		SCIP_DECL_SEPAEXITSOL((*sepaexitsol))
	)

sets solving process deinitialization method of separator

Parameters

sepa separator

Definition at line 622 of file sepa.c.

References NULL.

Referenced by SCIPsetSepaExitsol().

const char* SCIPsepaGetName ( SCIP_SEPA * sepa )

gets name of separator

Parameters

sepa separator

Definition at line 633 of file sepa.c.

References SCIP_Sepa::name, and NULL.

Referenced by generateDisjCutSOS1(), paramsetSetSeparatingAggressive(), paramsetSetSeparatingDefault(), paramsetSetSeparatingOff(), printSeparatorStatistics(), process(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_SEPACOPY(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXITSOL(), SCIP_DECL_SEPAFREE(), SCIP_DECL_SORTPTRCOMP(), SCIPincludeDialogDefaultFix(), SCIPincludeDialogDefaultSet(), SCIPparamsetSetToSubscipsOff(), SCIPsepaCopyInclude(), SCIPsetBasePointClosecuts(), SCIPsetSortRelaxs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), separationRoundLP(), and separationRoundSol().

const char* SCIPsepaGetDesc ( SCIP_SEPA * sepa )

gets description of separator

Parameters

sepa separator

Definition at line 643 of file sepa.c.

References SCIP_Sepa::desc, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPincludeDialogDefaultFix(), and SCIPincludeDialogDefaultSet().

int SCIPsepaGetPriority ( SCIP_SEPA * sepa )

gets priority of separator

Parameters

sepa separator

Definition at line 653 of file sepa.c.

References NULL, and SCIP_Sepa::priority.

Referenced by SCIP_DECL_DIALOGEXEC(), separationRoundLP(), and separationRoundSol().

void SCIPsepaSetPriority	(	SCIP_SEPA *	sepa,
		SCIP_SET *	set,
		int	priority
	)

sets priority of separator

Parameters

sepa	separator
set	global SCIP settings
priority	new priority of the separator

Definition at line 663 of file sepa.c.

References FALSE, NULL, and SCIP_Sepa::priority.

Referenced by SCIPsetSepaPriority().

int SCIPsepaGetFreq ( SCIP_SEPA * sepa )

gets frequency of separator

Parameters

sepa separator

Definition at line 677 of file sepa.c.

References SCIP_Sepa::freq, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

void SCIPsepaSetFreq	(	SCIP_SEPA *	sepa,
		int	freq
	)

sets frequency of separator

Parameters

sepa	separator
freq	new frequency of separator

Definition at line 687 of file sepa.c.

References SCIP_Sepa::freq, and NULL.

SCIP_Real SCIPsepaGetMaxbounddist ( SCIP_SEPA * sepa )

get maximal bound distance at which the separator is called

Parameters

sepa separator

Definition at line 698 of file sepa.c.

References SCIP_Sepa::maxbounddist, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPsepaUsesSubscip ( SCIP_SEPA * sepa )

does the separator use a secondary SCIP instance?

Parameters

sepa separator

Definition at line 708 of file sepa.c.

References NULL, and SCIP_Sepa::usessubscip.

Referenced by SCIPparamsetSetToSubscipsOff().

void SCIPsepaEnableOrDisableClocks	(	SCIP_SEPA *	sepa,
		SCIP_Bool	enable
	)

enables or disables all clocks of sepa, depending on the value of the flag

Parameters

sepa	the separator for which all clocks should be enabled or disabled
enable	should the clocks of the separator be enabled?

Definition at line 718 of file sepa.c.

References NULL, SCIPclockEnableOrDisable(), SCIP_Sepa::sepaclock, and SCIP_Sepa::setuptime.

Referenced by SCIPsetSetReoptimizationParams().

SCIP_Real SCIPsepaGetSetupTime ( SCIP_SEPA * sepa )

gets time in seconds used in this separator for setting up for next stages

Parameters

sepa separator

Definition at line 730 of file sepa.c.

References NULL, SCIPclockGetTime(), and SCIP_Sepa::setuptime.

Referenced by printSeparatorStatistics().

SCIP_Real SCIPsepaGetTime ( SCIP_SEPA * sepa )

gets time in seconds used in this separator

Parameters

sepa separator

Definition at line 740 of file sepa.c.

References NULL, SCIPclockGetTime(), and SCIP_Sepa::sepaclock.

Referenced by printSeparatorStatistics(), and SCIP_DECL_SEPAEXECLP().

SCIP_Longint SCIPsepaGetNCalls ( SCIP_SEPA * sepa )

gets the total number of times, the separator was called

Parameters

sepa separator

Definition at line 750 of file sepa.c.

References SCIP_Sepa::ncalls, and NULL.

Referenced by printSeparatorStatistics(), and separateCuts().

int SCIPsepaGetNCallsAtNode ( SCIP_SEPA * sepa )

gets the number of times, the separator was called at the current node

Parameters

sepa separator

Definition at line 760 of file sepa.c.

References SCIP_Sepa::ncallsatnode, and NULL.

Referenced by SCIP_DECL_SEPAEXECLP(), and separateCuts().

SCIP_Longint SCIPsepaGetNCutoffs ( SCIP_SEPA * sepa )

gets total number of times, the separator detected a cutoff

Parameters

sepa separator

Definition at line 770 of file sepa.c.

References SCIP_Sepa::ncutoffs, and NULL.

Referenced by printSeparatorStatistics().

SCIP_Longint SCIPsepaGetNCutsFound ( SCIP_SEPA * sepa )

gets the total number of cutting planes found by this separator

Parameters

sepa separator

Definition at line 780 of file sepa.c.

References SCIP_Sepa::ncutsfound, and NULL.

Referenced by printSeparatorStatistics(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), and separateSupLiftedMinimalCoverInequality().

SCIP_Longint SCIPsepaGetNCutsApplied ( SCIP_SEPA * sepa )

gets the total number of cutting planes applied to lp

Parameters

sepa separator

Definition at line 790 of file sepa.c.

References SCIP_Sepa::ncutsapplied, and NULL.

Referenced by printSeparatorStatistics().

void SCIPsepaIncNAppliedCuts ( SCIP_SEPA * sepa )

increase count of applied cuts

Parameters

sepa separator

Definition at line 800 of file sepa.c.

References SCIP_Sepa::ncutsapplied, and NULL.

Referenced by sepastoreApplyCut().

void SCIPsepaIncNCutsFound ( SCIP_SEPA * sepa )

increase count of found cuts

Parameters

sepa separator

Definition at line 810 of file sepa.c.

References SCIP_Sepa::ncutsfound, and NULL.

Referenced by SCIPcutpoolSeparate().

void SCIPsepaIncNCutsFoundAtNode ( SCIP_SEPA * sepa )

increase count of found cuts at current node

Parameters

sepa separator

Definition at line 820 of file sepa.c.

References SCIP_Sepa::ncutsfoundatnode, and NULL.

Referenced by SCIPcutpoolSeparate().

SCIP_Longint SCIPsepaGetNCutsFoundAtNode ( SCIP_SEPA * sepa )

gets the number of cutting planes found by this separator at the current node

Parameters

sepa separator

Definition at line 830 of file sepa.c.

References SCIP_Sepa::ncutsfoundatnode, and NULL.

SCIP_Longint SCIPsepaGetNConssFound ( SCIP_SEPA * sepa )

gets total number of additional constraints added by this separator

Parameters

sepa separator

Definition at line 840 of file sepa.c.

References SCIP_Sepa::nconssfound, and NULL.

Referenced by printSeparatorStatistics().

SCIP_Longint SCIPsepaGetNDomredsFound ( SCIP_SEPA * sepa )

gets total number of domain reductions found by this separator

Parameters

sepa separator

Definition at line 850 of file sepa.c.

References SCIP_Sepa::ndomredsfound, and NULL.

Referenced by printSeparatorStatistics().

SCIP_Bool SCIPsepaIsDelayed ( SCIP_SEPA * sepa )

should separator be delayed, if other separators found cuts?

Parameters

sepa separator

Definition at line 860 of file sepa.c.

References SCIP_Sepa::delay, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPsepaWasLPDelayed ( SCIP_SEPA * sepa )

was separation of the LP solution delayed at the last call?

Parameters

sepa separator

Definition at line 870 of file sepa.c.

References SCIP_Sepa::lpwasdelayed, and NULL.

Referenced by SCIP_DECL_SEPAEXECLP(), separateCuts(), and separationRoundLP().

SCIP_Bool SCIPsepaWasSolDelayed ( SCIP_SEPA * sepa )

was separation of the primal solution delayed at the last call?

Parameters

sepa separator

Definition at line 880 of file sepa.c.

References NULL, and SCIP_Sepa::solwasdelayed.

Referenced by separationRoundSol().

SCIP_Bool SCIPsepaIsInitialized ( SCIP_SEPA * sepa )

is separator initialized?

Parameters

sepa separator

Definition at line 890 of file sepa.c.

References SCIP_Sepa::initialized, and NULL.

Referenced by SCIPsetFindRelax().

SCIP

Detailed Description

Functions

Function Documentation