Propagators

Detailed Description

functions for propagator plugins

Functions
	SCIP_DECL_SORTPTRCOMP (SCIPpropComp)
	SCIP_DECL_SORTPTRCOMP (SCIPpropCompPresol)
	SCIP_DECL_SORTPTRCOMP (SCIPpropCompName)
SCIP_PROPDATA *	SCIPpropGetData (SCIP_PROP *prop)
void	SCIPpropSetData (SCIP_PROP *prop, SCIP_PROPDATA *propdata)
void	SCIPpropMarkExact (SCIP_PROP *prop)
const char *	SCIPpropGetName (SCIP_PROP *prop)
const char *	SCIPpropGetDesc (SCIP_PROP *prop)
int	SCIPpropGetPriority (SCIP_PROP *prop)
int	SCIPpropGetPresolPriority (SCIP_PROP *prop)
int	SCIPpropGetFreq (SCIP_PROP *prop)
SCIP_Real	SCIPpropGetSetupTime (SCIP_PROP *prop)
void	SCIPpropSetFreq (SCIP_PROP *prop, int freq)
SCIP_Real	SCIPpropGetTime (SCIP_PROP *prop)
SCIP_Real	SCIPpropGetStrongBranchPropTime (SCIP_PROP *prop)
SCIP_Real	SCIPpropGetRespropTime (SCIP_PROP *prop)
SCIP_Real	SCIPpropGetPresolTime (SCIP_PROP *prop)
SCIP_Longint	SCIPpropGetNCalls (SCIP_PROP *prop)
SCIP_Longint	SCIPpropGetNRespropCalls (SCIP_PROP *prop)
SCIP_Longint	SCIPpropGetNCutoffs (SCIP_PROP *prop)
SCIP_Longint	SCIPpropGetNDomredsFound (SCIP_PROP *prop)
SCIP_Bool	SCIPpropIsDelayed (SCIP_PROP *prop)
SCIP_Bool	SCIPpropWasDelayed (SCIP_PROP *prop)
SCIP_Bool	SCIPpropIsInitialized (SCIP_PROP *prop)
int	SCIPpropGetNFixedVars (SCIP_PROP *prop)
int	SCIPpropGetNAggrVars (SCIP_PROP *prop)
int	SCIPpropGetNChgVarTypes (SCIP_PROP *prop)
int	SCIPpropGetNChgBds (SCIP_PROP *prop)
int	SCIPpropGetNAddHoles (SCIP_PROP *prop)
int	SCIPpropGetNDelConss (SCIP_PROP *prop)
int	SCIPpropGetNAddConss (SCIP_PROP *prop)
int	SCIPpropGetNUpgdConss (SCIP_PROP *prop)
int	SCIPpropGetNChgCoefs (SCIP_PROP *prop)
int	SCIPpropGetNChgSides (SCIP_PROP *prop)
int	SCIPpropGetNPresolCalls (SCIP_PROP *prop)
SCIP_PROPTIMING	SCIPpropGetTimingmask (SCIP_PROP *prop)
void	SCIPpropSetTimingmask (SCIP_PROP *prop, SCIP_PROPTIMING timingmask)
SCIP_Bool	SCIPpropDoesPresolve (SCIP_PROP *prop)
SCIP_PRESOLTIMING	SCIPpropGetPresolTiming (SCIP_PROP *prop)
void	SCIPpropSetPresolTiming (SCIP_PROP *prop, SCIP_PRESOLTIMING presoltiming)
SCIP_RETCODE	SCIPincludeProp (SCIP *scip, const char *name, const char *desc, int priority, int freq, SCIP_Bool delay, SCIP_PROPTIMING timingmask, int presolpriority, int presolmaxrounds, SCIP_PRESOLTIMING presoltiming, SCIP_DECL_PROPCOPY((*propcopy)), SCIP_DECL_PROPFREE((*propfree)), SCIP_DECL_PROPINIT((*propinit)), SCIP_DECL_PROPEXIT((*propexit)), SCIP_DECL_PROPINITPRE((*propinitpre)), SCIP_DECL_PROPEXITPRE((*propexitpre)), SCIP_DECL_PROPINITSOL((*propinitsol)), SCIP_DECL_PROPEXITSOL((*propexitsol)), SCIP_DECL_PROPPRESOL((*proppresol)), SCIP_DECL_PROPEXEC((*propexec)), SCIP_DECL_PROPRESPROP((*propresprop)), SCIP_PROPDATA *propdata)
SCIP_RETCODE	SCIPincludePropBasic (SCIP *scip, SCIP_PROP **propptr, const char *name, const char *desc, int priority, int freq, SCIP_Bool delay, SCIP_PROPTIMING timingmask, SCIP_DECL_PROPEXEC((*propexec)), SCIP_PROPDATA *propdata)
SCIP_RETCODE	SCIPsetPropCopy (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropFree (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropInit (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropExit (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropInitsol (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropExitsol (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropInitpre (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropExitpre (SCIP *scip, SCIP_PROP *prop,)
SCIP_RETCODE	SCIPsetPropPresol (SCIP *scip, SCIP_PROP *prop, SCIP_DECL_PROPPRESOL((*proppresol)), int presolpriority, int presolmaxrounds, SCIP_PRESOLTIMING presoltiming)
SCIP_RETCODE	SCIPsetPropResprop (SCIP *scip, SCIP_PROP *prop,)
SCIP_PROP *	SCIPfindProp (SCIP *scip, const char *name)
SCIP_PROP **	SCIPgetProps (SCIP *scip)
int	SCIPgetNProps (SCIP *scip)
SCIP_RETCODE	SCIPsetPropPriority (SCIP *scip, SCIP_PROP *prop, int priority)
SCIP_RETCODE	SCIPsetPropPresolPriority (SCIP *scip, SCIP_PROP *prop, int presolpriority)

Function Documentation

SCIP_DECL_SORTPTRCOMP() [1/3]

SCIP_DECL_SORTPTRCOMP

(

SCIPpropComp

)

compares two propagators w. r. to their priority

Definition at line 52 of file prop.c.

References SCIP_DECL_SORTPTRCOMP.

SCIP_DECL_SORTPTRCOMP() [2/3]

SCIP_DECL_SORTPTRCOMP

(

SCIPpropCompPresol

)

compares two propagators w. r. to their presolving priority

compares two propagators w. r. to their priority

Definition at line 58 of file prop.c.

References SCIP_DECL_SORTPTRCOMP.

SCIP_DECL_SORTPTRCOMP() [3/3]

SCIP_DECL_SORTPTRCOMP

(

SCIPpropCompName

)

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

Definition at line 64 of file prop.c.

References SCIP_DECL_SORTPTRCOMP, and SCIPpropGetName().

SCIPpropGetData()

SCIP_PROPDATA * SCIPpropGetData

(

SCIP_PROP *

prop

)

gets user data of propagator

Parameters

prop	propagator

Definition at line 791 of file prop.c.

References assert(), NULL, SCIP_Prop::propdata, and SCIPpropGetData().

Referenced by applyGenVBounds(), initData(), propagateCutoffbound(), propagateCutoffboundBinvar(), propagateCutoffboundBinvars(), propagateCutoffboundGlobally(), propagateLowerbound(), propagateVbounds(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_PROPRESPROP(), SCIPcreateSymOpNodeType(), SCIPdisplaySymmetryGenerators(), SCIPfindObjProp(), SCIPgenVBoundAdd(), SCIPgetObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPgetSymOpNodeType(), SCIPisPropagatedVbounds(), SCIPpropGetData(), SCIPpropSyncAddBndchg(), SCIPpropSyncGetNTightenedBnds(), SCIPpropSyncGetNTightenedIntBnds(), and tryAddSymmetryHandlingMethods().

SCIPpropSetData()

void SCIPpropSetData	(	SCIP_PROP *	prop,
		SCIP_PROPDATA *	propdata )

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

Parameters

prop	propagator
propdata	new propagator user data

Definition at line 801 of file prop.c.

References assert(), NULL, SCIP_Prop::propdata, and SCIPpropSetData().

Referenced by SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), and SCIPpropSetData().

SCIPpropMarkExact()

void SCIPpropMarkExact

(

SCIP_PROP *

prop

)

marks the propagator as safe to use in exact solving mode

Parameters

prop	propagator

Definition at line 941 of file prop.c.

References assert(), SCIP_Prop::exact, NULL, SCIPpropMarkExact(), and TRUE.

Referenced by SCIPpropMarkExact().

SCIPpropGetName()

const char * SCIPpropGetName

(

SCIP_PROP *

prop

)

gets name of propagator

Parameters

prop	propagator

Definition at line 951 of file prop.c.

References assert(), SCIP_Prop::name, NULL, and SCIPpropGetName().

Referenced by boundchgApplyExact(), conflictAddBound(), conflictResolveBound(), paramsetSetPresolvingDefault(), paramsetSetPresolvingOff(), presolveRound(), propagationRound(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPEXITSOL(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTPTRCOMP(), SCIPboundchgApply(), SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), SCIPcopyConcurrentSolvingStats(), SCIPgenVBoundAdd(), SCIPgetSymmetry(), SCIPnodeAddBoundinfer(), SCIPnodeAddBoundinferExact(), SCIPnodeAddHoleinfer(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), SCIPpropCopyInclude(), SCIPpropGetName(), SCIPpropSyncAddBndchg(), SCIPsetPropPresol(), varAddLbchginfo(), and varAddUbchginfo().

SCIPpropGetDesc()

const char * SCIPpropGetDesc

(

SCIP_PROP *

prop

)

gets description of propagator

Parameters

prop	propagator

Definition at line 961 of file prop.c.

References assert(), SCIP_Prop::desc, NULL, and SCIPpropGetDesc().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), and SCIPpropGetDesc().

SCIPpropGetPriority()

int SCIPpropGetPriority

(

SCIP_PROP *

prop

)

gets priority of propagator

Parameters

prop	propagator

Definition at line 971 of file prop.c.

References assert(), NULL, SCIP_Prop::priority, and SCIPpropGetPriority().

Referenced by propagationRound(), SCIP_DECL_DIALOGEXEC(), and SCIPpropGetPriority().

SCIPpropGetPresolPriority()

int SCIPpropGetPresolPriority

(

SCIP_PROP *

prop

)

gets presolving priority of propagator

Parameters

prop	propagator

Definition at line 981 of file prop.c.

References assert(), NULL, SCIP_Prop::presolpriority, and SCIPpropGetPresolPriority().

Referenced by presolveRound(), SCIP_DECL_DIALOGEXEC(), and SCIPpropGetPresolPriority().

SCIPpropGetFreq()

int SCIPpropGetFreq

(

SCIP_PROP *

prop

)

gets frequency of propagator

Parameters

prop	propagator

Definition at line 1019 of file prop.c.

References assert(), SCIP_Prop::freq, NULL, and SCIPpropGetFreq().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPpropGetFreq().

SCIPpropGetSetupTime()

SCIP_Real SCIPpropGetSetupTime

(

SCIP_PROP *

prop

)

gets time in seconds used for setting up this propagator for new stages

Parameters

prop	propagator

Definition at line 1044 of file prop.c.

References assert(), NULL, SCIP_Real, SCIPclockGetTime(), SCIPpropGetSetupTime(), and SCIP_Prop::setuptime.

Referenced by SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetSetupTime().

SCIPpropSetFreq()

void SCIPpropSetFreq	(	SCIP_PROP *	prop,
		int	freq )

sets frequency of propagator

Parameters

prop	propagator
freq	new frequency of propagator

Definition at line 1054 of file prop.c.

References assert(), SCIP_Prop::freq, NULL, and SCIPpropSetFreq().

Referenced by SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIPpropSetFreq(), and SCIPpropSyncAddBndchg().

SCIPpropGetTime()

SCIP_Real SCIPpropGetTime

(

SCIP_PROP *

prop

)

gets time in seconds used in this propagator

gets time in seconds used in this propagator for propagation

Parameters

prop	propagator

Definition at line 1066 of file prop.c.

References assert(), NULL, SCIP_Prop::proptime, SCIP_Real, SCIPclockGetTime(), and SCIPpropGetTime().

Referenced by SCIP_DECL_PROPPRESOL(), SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetTime().

SCIPpropGetStrongBranchPropTime()

SCIP_Real SCIPpropGetStrongBranchPropTime

(

SCIP_PROP *

prop

)

gets time in seconds used in this propagator during strong branching

gets time in seconds used in this propagator for propagation during strong branching

Parameters

prop	propagator

Definition at line 1076 of file prop.c.

References assert(), NULL, SCIP_Prop::sbproptime, SCIP_Real, SCIPclockGetTime(), and SCIPpropGetStrongBranchPropTime().

Referenced by SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetStrongBranchPropTime().

SCIPpropGetRespropTime()

SCIP_Real SCIPpropGetRespropTime

(

SCIP_PROP *

prop

)

gets time in seconds used in this propagator for resolve propagation

Parameters

prop	propagator

Definition at line 1086 of file prop.c.

References assert(), NULL, SCIP_Prop::resproptime, SCIP_Real, SCIPclockGetTime(), and SCIPpropGetRespropTime().

Referenced by SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetRespropTime().

SCIPpropGetPresolTime()

SCIP_Real SCIPpropGetPresolTime

(

SCIP_PROP *

prop

)

gets time in seconds used in this propagator for presolving

Parameters

prop	propagator

Definition at line 1096 of file prop.c.

References assert(), NULL, SCIP_Prop::presoltime, SCIP_Real, SCIPclockGetTime(), and SCIPpropGetPresolTime().

Referenced by SCIPcollectPropagatorStatistics(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetPresolTime().

SCIPpropGetNCalls()

SCIP_Longint SCIPpropGetNCalls

(

SCIP_PROP *

prop

)

gets the total number of times, the propagator was called

Parameters

prop	propagator

Definition at line 1106 of file prop.c.

References assert(), SCIP_Prop::ncalls, NULL, SCIP_Longint, and SCIPpropGetNCalls().

Referenced by SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetNCalls().

SCIPpropGetNRespropCalls()

SCIP_Longint SCIPpropGetNRespropCalls

(

SCIP_PROP *

prop

)

gets the total number of times, the propagator was called for resolving a propagation

Parameters

prop	propagator

Definition at line 1116 of file prop.c.

References assert(), SCIP_Prop::nrespropcalls, NULL, SCIP_Longint, and SCIPpropGetNRespropCalls().

Referenced by SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetNRespropCalls().

SCIPpropGetNCutoffs()

SCIP_Longint SCIPpropGetNCutoffs

(

SCIP_PROP *

prop

)

gets total number of times, this propagator detected a cutoff

Parameters

prop	propagator

Definition at line 1126 of file prop.c.

References assert(), SCIP_Prop::ncutoffs, NULL, SCIP_Longint, and SCIPpropGetNCutoffs().

Referenced by SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetNCutoffs().

SCIPpropGetNDomredsFound()

SCIP_Longint SCIPpropGetNDomredsFound

(

SCIP_PROP *

prop

)

gets total number of domain reductions found by this propagator

Parameters

prop	propagator

Definition at line 1136 of file prop.c.

References assert(), SCIP_Prop::ndomredsfound, NULL, SCIP_Longint, and SCIPpropGetNDomredsFound().

Referenced by SCIPcollectPresolverStatistics(), SCIPcollectPropagatorStatistics(), SCIPprintPropagatorStatistics(), and SCIPpropGetNDomredsFound().

SCIPpropIsDelayed()

SCIP_Bool SCIPpropIsDelayed

(

SCIP_PROP *

prop

)

should propagator be delayed, if other propagators found reductions?

Parameters

prop	propagator

Definition at line 1146 of file prop.c.

References assert(), SCIP_Prop::delay, NULL, SCIP_Bool, and SCIPpropIsDelayed().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPpropIsDelayed().

SCIPpropWasDelayed()

SCIP_Bool SCIPpropWasDelayed

(

SCIP_PROP *

prop

)

was propagator delayed at the last call?

Parameters

prop	propagator

Definition at line 1156 of file prop.c.

References assert(), NULL, SCIP_Bool, SCIPpropWasDelayed(), and SCIP_Prop::wasdelayed.

Referenced by propagationRound(), and SCIPpropWasDelayed().

SCIPpropIsInitialized()

SCIP_Bool SCIPpropIsInitialized

(

SCIP_PROP *

prop

)

is propagator initialized?

Parameters

prop	propagator

Definition at line 1166 of file prop.c.

References assert(), SCIP_Prop::initialized, NULL, SCIP_Bool, and SCIPpropIsInitialized().

Referenced by SCIPpropIsInitialized().

SCIPpropGetNFixedVars()

int SCIPpropGetNFixedVars

(

SCIP_PROP *

prop

)

gets number of variables fixed during presolving of propagator

Parameters

prop	propagator

Definition at line 1176 of file prop.c.

References assert(), SCIP_Prop::nfixedvars, NULL, and SCIPpropGetNFixedVars().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNFixedVars().

SCIPpropGetNAggrVars()

int SCIPpropGetNAggrVars

(

SCIP_PROP *

prop

)

gets number of variables aggregated during presolving of propagator

Parameters

prop	propagator

Definition at line 1186 of file prop.c.

References assert(), SCIP_Prop::naggrvars, NULL, and SCIPpropGetNAggrVars().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNAggrVars().

SCIPpropGetNChgVarTypes()

int SCIPpropGetNChgVarTypes

(

SCIP_PROP *

prop

)

gets number of variable types changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1196 of file prop.c.

References assert(), SCIP_Prop::nchgvartypes, NULL, and SCIPpropGetNChgVarTypes().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNChgVarTypes().

SCIPpropGetNChgBds()

int SCIPpropGetNChgBds

(

SCIP_PROP *

prop

)

gets number of bounds changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1206 of file prop.c.

References assert(), SCIP_Prop::nchgbds, NULL, and SCIPpropGetNChgBds().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNChgBds().

SCIPpropGetNAddHoles()

int SCIPpropGetNAddHoles

(

SCIP_PROP *

prop

)

gets number of holes added to domains of variables during presolving of propagator

Parameters

prop	propagator

Definition at line 1216 of file prop.c.

References assert(), SCIP_Prop::naddholes, NULL, and SCIPpropGetNAddHoles().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNAddHoles().

SCIPpropGetNDelConss()

int SCIPpropGetNDelConss

(

SCIP_PROP *

prop

)

gets number of constraints deleted during presolving of propagator

Parameters

prop	propagator

Definition at line 1226 of file prop.c.

References assert(), SCIP_Prop::ndelconss, NULL, and SCIPpropGetNDelConss().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNDelConss().

SCIPpropGetNAddConss()

int SCIPpropGetNAddConss

(

SCIP_PROP *

prop

)

gets number of constraints added during presolving of propagator

Parameters

prop	propagator

Definition at line 1236 of file prop.c.

References assert(), SCIP_Prop::naddconss, NULL, and SCIPpropGetNAddConss().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNAddConss().

SCIPpropGetNUpgdConss()

int SCIPpropGetNUpgdConss

(

SCIP_PROP *

prop

)

gets number of constraints upgraded during presolving of propagator

Parameters

prop	propagator

Definition at line 1246 of file prop.c.

References assert(), NULL, SCIP_Prop::nupgdconss, and SCIPpropGetNUpgdConss().

Referenced by SCIPpropGetNUpgdConss().

SCIPpropGetNChgCoefs()

int SCIPpropGetNChgCoefs

(

SCIP_PROP *

prop

)

gets number of coefficients changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1256 of file prop.c.

References assert(), SCIP_Prop::nchgcoefs, NULL, and SCIPpropGetNChgCoefs().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNChgCoefs().

SCIPpropGetNChgSides()

int SCIPpropGetNChgSides

(

SCIP_PROP *

prop

)

gets number of constraint sides changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1266 of file prop.c.

References assert(), SCIP_Prop::nchgsides, NULL, and SCIPpropGetNChgSides().

Referenced by SCIPcollectPresolverStatistics(), SCIPprintPresolverStatistics(), and SCIPpropGetNChgSides().

SCIPpropGetNPresolCalls()

int SCIPpropGetNPresolCalls

(

SCIP_PROP *

prop

)

gets number of times the propagator was called in presolving and tried to find reductions

Parameters

prop	propagator

Definition at line 1276 of file prop.c.

References assert(), SCIP_Prop::npresolcalls, NULL, and SCIPpropGetNPresolCalls().

Referenced by SCIPprintPresolverStatistics(), and SCIPpropGetNPresolCalls().

SCIPpropGetTimingmask()

SCIP_PROPTIMING SCIPpropGetTimingmask

(

SCIP_PROP *

prop

)

returns the timing mask of the propagator

Parameters

prop	propagator

Definition at line 1286 of file prop.c.

References assert(), NULL, SCIPpropGetTimingmask(), and SCIP_Prop::timingmask.

Referenced by propagationRound(), SCIP_DECL_PROPINIT(), and SCIPpropGetTimingmask().

SCIPpropSetTimingmask()

void SCIPpropSetTimingmask	(	SCIP_PROP *	prop,
		SCIP_PROPTIMING	timingmask )

sets new timing mask for propagator

Parameters

prop	propagator
timingmask	new timing mask of propagator

Definition at line 1296 of file prop.c.

References assert(), NULL, SCIPpropSetTimingmask(), and SCIP_Prop::timingmask.

Referenced by addNewGenVBound(), createConstraints(), freeGenVBounds(), freeGenVBoundsRelaxOnly(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPINIT(), and SCIPpropSetTimingmask().

SCIPpropDoesPresolve()

SCIP_Bool SCIPpropDoesPresolve

(

SCIP_PROP *

prop

)

does the propagator perform presolving?

Parameters

prop	propagator

Definition at line 1307 of file prop.c.

References assert(), NULL, SCIP_Bool, and SCIPpropDoesPresolve().

Referenced by SCIPprintPresolverStatistics(), and SCIPpropDoesPresolve().

SCIPpropGetPresolTiming()

SCIP_PRESOLTIMING SCIPpropGetPresolTiming

(

SCIP_PROP *

prop

)

returns the timing mask of the presolving method of the propagator

Parameters

prop	propagator

Definition at line 1317 of file prop.c.

References assert(), NULL, SCIP_Prop::presoltiming, and SCIPpropGetPresolTiming().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPpropGetPresolTiming().

SCIPpropSetPresolTiming()

void SCIPpropSetPresolTiming	(	SCIP_PROP *	prop,
		SCIP_PRESOLTIMING	presoltiming )

sets the timing mask of the presolving method of the propagator

Parameters

prop	propagator
presoltiming	timing mask to be set

Definition at line 1327 of file prop.c.

References assert(), NULL, SCIP_Prop::presoltiming, and SCIPpropSetPresolTiming().

Referenced by SCIPpropSetPresolTiming().

SCIPincludeProp()

SCIP_RETCODE SCIPincludeProp	(	SCIP *	scip,
		const char *	name,
		const char *	desc,
		int	priority,
		int	freq,
		SCIP_Bool	delay,
		SCIP_PROPTIMING	timingmask,
		int	presolpriority,
		int	presolmaxrounds,
		SCIP_PRESOLTIMING	presoltiming,
		SCIP_DECL_PROPCOPY((*propcopy))	,
		SCIP_DECL_PROPFREE((*propfree))	,
		SCIP_DECL_PROPINIT((*propinit))	,
		SCIP_DECL_PROPEXIT((*propexit))	,
		SCIP_DECL_PROPINITPRE((*propinitpre))	,
		SCIP_DECL_PROPEXITPRE((*propexitpre))	,
		SCIP_DECL_PROPINITSOL((*propinitsol))	,
		SCIP_DECL_PROPEXITSOL((*propexitsol))	,
		SCIP_DECL_PROPPRESOL((*proppresol))	,
		SCIP_DECL_PROPEXEC((*propexec))	,
		SCIP_DECL_PROPRESPROP((*propresprop))	,
		SCIP_PROPDATA *	propdata )

creates a propagator and includes it in SCIP.

Note

method has all propagator callbacks as arguments and is thus changed every time a new callback is added in future releases; consider using SCIPincludePropBasic() and setter functions if you seek for a method which is less likely to change in future releases

creates a propagator and includes it in SCIP.

Precondition

This method can be called if SCIP is in one of the following stages:

• SCIP_STAGE_INIT
• SCIP_STAGE_PROBLEM

Note

method has all propagator callbacks as arguments and is thus changed every time a new callback is added in future releases; consider using SCIPincludePropBasic() and setter functions if you seek for a method which is less likely to change in future releases

Parameters

scip	SCIP data structure
name	name of propagator
desc	description of propagator
priority	priority of the propagator (>= 0: before, < 0: after constraint handlers)
freq	frequency for calling propagator
delay	should propagator be delayed, if other propagators found reductions?
timingmask	positions in the node solving loop where propagator should be executed
presolpriority	presolving priority of the propagator (>= 0: before, < 0: after constraint handlers)
presolmaxrounds	maximal number of presolving rounds the propagator participates in (-1: no limit)
presoltiming	timing mask of the propagator's presolving method
-	copy method of propagator or NULL if you don't want to copy your plugin into sub-SCIPs
-	destructor of propagator
-	initialize propagator
-	deinitialize propagator
-	presolving initialization method of propagator
-	presolving deinitialization method of propagator
-	solving process initialization method of propagator
-	solving process deinitialization method of propagator
-	presolving method
-	execution method of propagator
-	propagation conflict resolving method
propdata	propagator data

Definition at line 66 of file scip_prop.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_PROPCOPY, SCIP_DECL_PROPEXEC, SCIP_DECL_PROPEXIT, SCIP_DECL_PROPEXITPRE, SCIP_DECL_PROPEXITSOL, SCIP_DECL_PROPFREE, SCIP_DECL_PROPINIT, SCIP_DECL_PROPINITPRE, SCIP_DECL_PROPINITSOL, SCIP_DECL_PROPPRESOL, SCIP_DECL_PROPRESPROP, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPfindProp(), SCIPincludeProp(), SCIPpropCreate(), SCIPsetIncludeProp(), and TRUE.

Referenced by SCIPincludeObjProp(), and SCIPincludeProp().

SCIPincludePropBasic()

SCIP_RETCODE SCIPincludePropBasic	(	SCIP *	scip,
		SCIP_PROP **	propptr,
		const char *	name,
		const char *	desc,
		int	priority,
		int	freq,
		SCIP_Bool	delay,
		SCIP_PROPTIMING	timingmask,
		SCIP_DECL_PROPEXEC((*propexec))	,
		SCIP_PROPDATA *	propdata )

creates a propagator and includes it in SCIP. All non-fundamental (or optional) callbacks will be set to NULL. Optional callbacks can be set via specific setter functions, see SCIPsetPropInit(), SCIPsetPropExit(), SCIPsetPropCopy(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropExitsol(), SCIPsetPropInitpre(), SCIPsetPropExitpre(), SCIPsetPropPresol(), and SCIPsetPropResprop().

Precondition

This method can be called if SCIP is in one of the following stages:

• SCIP_STAGE_INIT
• SCIP_STAGE_PROBLEM

Note

if you want to set all callbacks with a single method call, consider using SCIPincludeProp() instead

creates a propagator and includes it in SCIP. All non-fundamental (or optional) callbacks will be set to NULL. Optional callbacks can be set via specific setter functions, see SCIPsetPropInit(), SCIPsetPropExit(), SCIPsetPropCopy(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropExitsol(), SCIPsetPropInitpre(), SCIPsetPropExitpre(), SCIPsetPropPresol(), and SCIPsetPropResprop().

Note

if you want to set all callbacks with a single method call, consider using SCIPincludeProp() instead

Parameters

scip	SCIP data structure
propptr	reference to a propagator pointer, or NULL
name	name of propagator
desc	description of propagator
priority	priority of the propagator (>= 0: before, < 0: after constraint handlers)
freq	frequency for calling propagator
delay	should propagator be delayed, if other propagators found reductions?
timingmask	positions in the node solving loop where propagators should be executed
-	execution method of propagator
propdata	propagator data

Definition at line 118 of file scip_prop.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_PROPEXEC, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PRESOLTIMING_ALWAYS, SCIPcheckStage, SCIPerrorMessage, SCIPfindProp(), SCIPincludePropBasic(), SCIPpropCreate(), SCIPsetIncludeProp(), and TRUE.

Referenced by SCIPincludePropBasic(), SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().

SCIPsetPropCopy()

SCIP_RETCODE SCIPsetPropCopy	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets copy method of propagator

Parameters

scip	SCIP data structure
prop	propagator copy method of propagator or NULL if you don't want to copy your plugin into sub-SCIPs

Definition at line 155 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPCOPY, SCIP_OKAY, SCIPcheckStage, SCIPpropSetCopy(), SCIPsetPropCopy(), and TRUE.

Referenced by SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropVbounds(), and SCIPsetPropCopy().

SCIPsetPropFree()

SCIP_RETCODE SCIPsetPropFree	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets destructor method of propagator

Parameters

scip	SCIP data structure
prop	propagator destructor of propagator

Definition at line 171 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPFREE, SCIP_OKAY, SCIPcheckStage, SCIPpropSetFree(), SCIPsetPropFree(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropSync(), SCIPincludePropVbounds(), and SCIPsetPropFree().

SCIPsetPropInit()

SCIP_RETCODE SCIPsetPropInit	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets initialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator initialize propagator

Definition at line 187 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPINIT, SCIP_OKAY, SCIPcheckStage, SCIPpropSetInit(), SCIPsetPropInit(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropSync(), and SCIPsetPropInit().

SCIPsetPropExit()

SCIP_RETCODE SCIPsetPropExit	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets deinitialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator deinitialize propagator

Definition at line 203 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPEXIT, SCIP_OKAY, SCIPcheckStage, SCIPpropSetExit(), SCIPsetPropExit(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPsetPropExit().

SCIPsetPropInitsol()

SCIP_RETCODE SCIPsetPropInitsol	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets solving process initialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator solving process initialization method of propagator

Definition at line 219 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPINITSOL, SCIP_OKAY, SCIPcheckStage, SCIPpropSetInitsol(), SCIPsetPropInitsol(), and TRUE.

Referenced by SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropRedcost(), and SCIPsetPropInitsol().

SCIPsetPropExitsol()

SCIP_RETCODE SCIPsetPropExitsol	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets solving process deinitialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator solving process deinitialization method of propagator

Definition at line 235 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPEXITSOL, SCIP_OKAY, SCIPcheckStage, SCIPpropSetExitsol(), SCIPsetPropExitsol(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropNlobbt(), SCIPincludePropObbt(), SCIPincludePropPseudoobj(), SCIPincludePropRootredcost(), SCIPincludePropSymmetry(), SCIPincludePropVbounds(), and SCIPsetPropExitsol().

SCIPsetPropInitpre()

SCIP_RETCODE SCIPsetPropInitpre	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets preprocessing initialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator preprocessing initialization method of propagator

Definition at line 251 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPINITPRE, SCIP_OKAY, SCIPcheckStage, SCIPpropSetInitpre(), SCIPsetPropInitpre(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropSymmetry(), SCIPincludePropVbounds(), and SCIPsetPropInitpre().

SCIPsetPropExitpre()

SCIP_RETCODE SCIPsetPropExitpre	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets preprocessing deinitialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator preprocessing deinitialization method of propagator

Definition at line 267 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPEXITPRE, SCIP_OKAY, SCIPcheckStage, SCIPpropSetExitpre(), SCIPsetPropExitpre(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropSymmetry(), and SCIPsetPropExitpre().

SCIPsetPropPresol()

SCIP_RETCODE SCIPsetPropPresol	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPPRESOL((*proppresol))	,
		int	presolpriority,
		int	presolmaxrounds,
		SCIP_PRESOLTIMING	presoltiming )

sets presolving method of propagator

Parameters

scip	SCIP data structure
prop	propagator
-	presolving method of propagator
presolpriority	presolving priority of the propagator (>= 0: before, < 0: after constraint handlers)
presolmaxrounds	maximal number of presolving rounds the propagator participates in (-1: no limit)
presoltiming	timing mask of the propagator's presolving method

Definition at line 283 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPPRESOL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPcheckStage, SCIPpropGetName(), SCIPpropSetPresol(), SCIPsetPropPresol(), SCIPsetSetDefaultIntParam(), SCIPsnprintf(), and TRUE.

Referenced by SCIPincludePropDualfix(), SCIPincludePropGenvbounds(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropSymmetry(), SCIPincludePropSync(), SCIPincludePropVbounds(), and SCIPsetPropPresol().

SCIPsetPropResprop()

SCIP_RETCODE SCIPsetPropResprop	(	SCIP *	scip,
		SCIP_PROP *	prop )

sets propagation conflict resolving callback of propagator

Parameters

scip	SCIP data structure
prop	propagator propagation conflict resolving callback

Definition at line 316 of file scip_prop.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_DECL_PROPRESPROP, SCIP_OKAY, SCIPcheckStage, SCIPpropSetResprop(), SCIPsetPropResprop(), and TRUE.

Referenced by SCIPincludePropGenvbounds(), SCIPincludePropObbt(), SCIPincludePropProbing(), SCIPincludePropPseudoobj(), SCIPincludePropSymmetry(), SCIPincludePropVbounds(), and SCIPsetPropResprop().

SCIPfindProp()

SCIP_PROP * SCIPfindProp	(	SCIP *	scip,
		const char *	name )

returns the propagator of the given name, or NULL if not existing

Parameters

scip	SCIP data structure
name	name of propagator

Definition at line 333 of file scip_prop.c.

References assert(), NULL, SCIPfindProp(), and SCIPsetFindProp().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPINITSOL(), SCIP_DECL_PROPINITSOL(), SCIPcopyConcurrentSolvingStats(), SCIPcreateConcurrent(), SCIPcreateSymOpNodeType(), SCIPdisplaySymmetryGenerators(), SCIPenableDebugSol(), SCIPexecPropVbounds(), SCIPfindObjProp(), SCIPfindProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPgetSymOpNodeType(), SCIPincludeProp(), SCIPincludePropBasic(), and SCIPisPropagatedVbounds().

SCIPgetProps()

SCIP_PROP ** SCIPgetProps

(

SCIP *

scip

)

returns the array of currently available propagators

Parameters

scip	SCIP data structure

Definition at line 346 of file scip_prop.c.

References assert(), NULL, SCIPgetProps(), and SCIPsetSortProps().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPcopyConcurrentSolvingStats(), and SCIPgetProps().

SCIPgetNProps()

int SCIPgetNProps

(

SCIP *

scip

)

returns the number of currently available propagators

Parameters

scip	SCIP data structure

Definition at line 359 of file scip_prop.c.

References assert(), NULL, and SCIPgetNProps().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPcopyConcurrentSolvingStats(), and SCIPgetNProps().

SCIPsetPropPriority()

SCIP_RETCODE SCIPsetPropPriority	(	SCIP *	scip,
		SCIP_PROP *	prop,
		int	priority )

sets the priority of a propagator

Parameters

scip	SCIP data structure
prop	propagator
priority	new priority of the propagator

Definition at line 370 of file scip_prop.c.

References assert(), NULL, SCIP_OKAY, SCIPpropSetPriority(), and SCIPsetPropPriority().

Referenced by SCIP_DECL_PARAMCHGD(), and SCIPsetPropPriority().

SCIPsetPropPresolPriority()

SCIP_RETCODE SCIPsetPropPresolPriority	(	SCIP *	scip,
		SCIP_PROP *	prop,
		int	presolpriority )

sets the presolving priority of a propagator

Parameters

scip	SCIP data structure
prop	propagator
presolpriority	new presol priority of the propagator

Definition at line 385 of file scip_prop.c.

References assert(), NULL, SCIP_OKAY, SCIPpropSetPresolPriority(), and SCIPsetPropPresolPriority().

Referenced by SCIP_DECL_PARAMCHGD(), and SCIPsetPropPresolPriority().