Detailed Description

methods 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)

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)

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_DECL_PROPCOPY((*propcopy)))

SCIP_RETCODE	SCIPsetPropFree (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPFREE((*propfree)))

SCIP_RETCODE	SCIPsetPropInit (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPINIT((*propinit)))

SCIP_RETCODE	SCIPsetPropExit (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPEXIT((*propexit)))

SCIP_RETCODE	SCIPsetPropInitsol (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPINITSOL((*propinitsol)))

SCIP_RETCODE	SCIPsetPropExitsol (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPEXITSOL((*propexitsol)))

SCIP_RETCODE	SCIPsetPropInitpre (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPINITPRE((*propinitpre)))

SCIP_RETCODE	SCIPsetPropExitpre (SCIP scip, SCIP_PROP prop, SCIP_DECL_PROPEXITPRE((*propexitpre)))

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_DECL_PROPRESPROP((*propresprop)))

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 43 of file prop.c.

◆ 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 49 of file prop.c.

◆ SCIP_DECL_SORTPTRCOMP() [3/3]

SCIP_DECL_SORTPTRCOMP ( SCIPpropCompName )

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

Definition at line 55 of file prop.c.

References SCIPpropGetName().

◆ SCIPpropGetData()

SCIP_PROPDATA* SCIPpropGetData ( SCIP_PROP * prop )

gets user data of propagator

Parameters

prop	propagator

Definition at line 780 of file prop.c.

References NULL, and SCIP_Prop::propdata.

Referenced by addSymresackConss(), applyGenVBounds(), initData(), propagateCutoffboundBinvar(), propagateCutoffboundBinvars(), propagateCutoffboundGlobally(), propagateVbounds(), 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(), SCIPfindObjProp(), SCIPgenVBoundAdd(), SCIPgetObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPisOrbitalfixingEnabled(), SCIPisPropagatedVbounds(), SCIPpropSyncAddBndchg(), SCIPpropSyncGetNTightenedBnds(), SCIPpropSyncGetNTightenedIntBnds(), SCIPStpNfixedEdges(), SCIPStpPropGet2BoundedArr(), SCIPStpPropGetGraph(), and tryAddSymmetryHandlingConss().

◆ 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 790 of file prop.c.

References NULL, and SCIP_Prop::propdata.

Referenced by SCIP_DECL_PROPFREE().

◆ SCIPpropGetName()

const char* SCIPpropGetName ( SCIP_PROP * prop )

gets name of propagator

Parameters

prop	propagator

Definition at line 932 of file prop.c.

References SCIP_Prop::name, and NULL.

Referenced by applyProbing(), conflictAddBound(), conflictResolveBound(), paramsetSetPresolvingDefault(), paramsetSetPresolvingOff(), presolveRound(), propagationRound(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTPTRCOMP(), SCIPboundchgApply(), SCIPcopyConcurrentSolvingStats(), SCIPgenVBoundAdd(), SCIPgetSymmetry(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintPresolverStatistics(), SCIPprintPropagatorStatistics(), SCIPpropCopyInclude(), SCIPpropSyncAddBndchg(), SCIPsetIncludeCutsel(), SCIPsetPropPresol(), varAddLbchginfo(), and varAddUbchginfo().

◆ SCIPpropGetDesc()

const char* SCIPpropGetDesc ( SCIP_PROP * prop )

gets description of propagator

Parameters

prop	propagator

Definition at line 942 of file prop.c.

References SCIP_Prop::desc, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPpropGetPriority()

int SCIPpropGetPriority ( SCIP_PROP * prop )

gets priority of propagator

Parameters

prop	propagator

Definition at line 952 of file prop.c.

References NULL, and SCIP_Prop::priority.

Referenced by propagationRound(), and SCIP_DECL_DIALOGEXEC().

◆ SCIPpropGetPresolPriority()

int SCIPpropGetPresolPriority ( SCIP_PROP * prop )

gets presolving priority of propagator

Parameters

prop	propagator

Definition at line 962 of file prop.c.

References NULL, and SCIP_Prop::presolpriority.

Referenced by presolveRound(), and SCIP_DECL_DIALOGEXEC().

◆ SCIPpropGetFreq()

int SCIPpropGetFreq ( SCIP_PROP * prop )

gets frequency of propagator

Parameters

prop	propagator

Definition at line 1000 of file prop.c.

References SCIP_Prop::freq, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ 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 1025 of file prop.c.

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

Referenced by SCIPprintPresolverStatistics(), and SCIPprintPropagatorStatistics().

◆ SCIPpropSetFreq()

void SCIPpropSetFreq	(	SCIP_PROP *	prop,
		int	freq
	)

sets frequency of propagator

Parameters

prop	propagator
freq	new frequency of propagator

Definition at line 1035 of file prop.c.

References SCIP_Prop::freq, and NULL.

Referenced by SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), 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 1047 of file prop.c.

References NULL, SCIP_Prop::proptime, and SCIPclockGetTime().

Referenced by SCIPprintPropagatorStatistics().

◆ 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 1057 of file prop.c.

References NULL, SCIP_Prop::sbproptime, and SCIPclockGetTime().

Referenced by SCIPprintPropagatorStatistics().

◆ SCIPpropGetRespropTime()

SCIP_Real SCIPpropGetRespropTime ( SCIP_PROP * prop )

gets time in seconds used in this propagator for resolve propagation

Parameters

prop	propagator

Definition at line 1067 of file prop.c.

References NULL, SCIP_Prop::resproptime, and SCIPclockGetTime().

Referenced by SCIPprintPropagatorStatistics().

◆ SCIPpropGetPresolTime()

SCIP_Real SCIPpropGetPresolTime ( SCIP_PROP * prop )

gets time in seconds used in this propagator for presolving

Parameters

prop	propagator

Definition at line 1077 of file prop.c.

References NULL, SCIP_Prop::presoltime, and SCIPclockGetTime().

Referenced by SCIPprintPresolverStatistics(), and SCIPprintPropagatorStatistics().

◆ SCIPpropGetNCalls()

SCIP_Longint SCIPpropGetNCalls ( SCIP_PROP * prop )

gets the total number of times, the propagator was called

Parameters

prop	propagator

Definition at line 1087 of file prop.c.

References SCIP_Prop::ncalls, and NULL.

Referenced by SCIPprintPropagatorStatistics().

◆ 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 1097 of file prop.c.

References SCIP_Prop::nrespropcalls, and NULL.

Referenced by SCIPprintPropagatorStatistics().

◆ SCIPpropGetNCutoffs()

SCIP_Longint SCIPpropGetNCutoffs ( SCIP_PROP * prop )

gets total number of times, this propagator detected a cutoff

Parameters

prop	propagator

Definition at line 1107 of file prop.c.

References SCIP_Prop::ncutoffs, and NULL.

Referenced by SCIPprintPropagatorStatistics().

◆ SCIPpropGetNDomredsFound()

SCIP_Longint SCIPpropGetNDomredsFound ( SCIP_PROP * prop )

gets total number of domain reductions found by this propagator

Parameters

prop	propagator

Definition at line 1117 of file prop.c.

References SCIP_Prop::ndomredsfound, and NULL.

Referenced by SCIPprintPropagatorStatistics().

◆ SCIPpropIsDelayed()

SCIP_Bool SCIPpropIsDelayed ( SCIP_PROP * prop )

should propagator be delayed, if other propagators found reductions?

Parameters

prop	propagator

Definition at line 1127 of file prop.c.

References SCIP_Prop::delay, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPpropWasDelayed()

SCIP_Bool SCIPpropWasDelayed ( SCIP_PROP * prop )

was propagator delayed at the last call?

Parameters

prop	propagator

Definition at line 1137 of file prop.c.

References NULL, and SCIP_Prop::wasdelayed.

Referenced by propagationRound().

◆ SCIPpropIsInitialized()

SCIP_Bool SCIPpropIsInitialized ( SCIP_PROP * prop )

is propagator initialized?

Parameters

prop	propagator

Definition at line 1147 of file prop.c.

References SCIP_Prop::initialized, and NULL.

◆ SCIPpropGetNFixedVars()

int SCIPpropGetNFixedVars ( SCIP_PROP * prop )

gets number of variables fixed during presolving of propagator

Parameters

prop	propagator

Definition at line 1157 of file prop.c.

References SCIP_Prop::nfixedvars, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNAggrVars()

int SCIPpropGetNAggrVars ( SCIP_PROP * prop )

gets number of variables aggregated during presolving of propagator

Parameters

prop	propagator

Definition at line 1167 of file prop.c.

References SCIP_Prop::naggrvars, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNChgVarTypes()

int SCIPpropGetNChgVarTypes ( SCIP_PROP * prop )

gets number of variable types changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1177 of file prop.c.

References SCIP_Prop::nchgvartypes, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNChgBds()

int SCIPpropGetNChgBds ( SCIP_PROP * prop )

gets number of bounds changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1187 of file prop.c.

References SCIP_Prop::nchgbds, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ 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 1197 of file prop.c.

References SCIP_Prop::naddholes, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNDelConss()

int SCIPpropGetNDelConss ( SCIP_PROP * prop )

gets number of constraints deleted during presolving of propagator

Parameters

prop	propagator

Definition at line 1207 of file prop.c.

References SCIP_Prop::ndelconss, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNAddConss()

int SCIPpropGetNAddConss ( SCIP_PROP * prop )

gets number of constraints added during presolving of propagator

Parameters

prop	propagator

Definition at line 1217 of file prop.c.

References SCIP_Prop::naddconss, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNUpgdConss()

int SCIPpropGetNUpgdConss ( SCIP_PROP * prop )

gets number of constraints upgraded during presolving of propagator

Parameters

prop	propagator

Definition at line 1227 of file prop.c.

References NULL, and SCIP_Prop::nupgdconss.

◆ SCIPpropGetNChgCoefs()

int SCIPpropGetNChgCoefs ( SCIP_PROP * prop )

gets number of coefficients changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1237 of file prop.c.

References SCIP_Prop::nchgcoefs, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetNChgSides()

int SCIPpropGetNChgSides ( SCIP_PROP * prop )

gets number of constraint sides changed during presolving of propagator

Parameters

prop	propagator

Definition at line 1247 of file prop.c.

References SCIP_Prop::nchgsides, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ 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 1257 of file prop.c.

References SCIP_Prop::npresolcalls, and NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetTimingmask()

SCIP_PROPTIMING SCIPpropGetTimingmask ( SCIP_PROP * prop )

returns the timing mask of the propagator

Parameters

prop	propagator

Definition at line 1267 of file prop.c.

References NULL, and SCIP_Prop::timingmask.

Referenced by propagationRound().

◆ SCIPpropDoesPresolve()

SCIP_Bool SCIPpropDoesPresolve ( SCIP_PROP * prop )

does the propagator perform presolving?

Parameters

prop	propagator

Definition at line 1277 of file prop.c.

References NULL.

Referenced by SCIPprintPresolverStatistics().

◆ SCIPpropGetPresolTiming()

SCIP_PRESOLTIMING SCIPpropGetPresolTiming ( SCIP_PROP * prop )

returns the timing mask of the presolving method of the propagator

Parameters

prop	propagator

Definition at line 1287 of file prop.c.

References NULL, and SCIP_Prop::presoltiming.

Referenced by SCIP_DECL_DIALOGEXEC().

◆ 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 1297 of file prop.c.

References NULL, and SCIP_Prop::presoltiming.

◆ 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

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
propdata	propagator data

Definition at line 53 of file scip_prop.c.

References FALSE, Scip::mem, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage(), SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), Scip::set, SCIP_Mem::setmem, and TRUE.

Referenced by SCIPincludeObjProp().

◆ 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().

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
propdata	propagator data

Definition at line 105 of file scip_prop.c.

References FALSE, Scip::mem, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PRESOLTIMING_ALWAYS, SCIPcheckStage(), SCIPerrorMessage, SCIPfindProp(), SCIPpropCreate(), SCIPsetIncludeProp(), Scip::set, SCIP_Mem::setmem, and TRUE.

Referenced by SCIPincludePropDualfix(), SCIPincludePropNlobbt(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropStp(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().

◆ SCIPsetPropCopy()

SCIP_RETCODE SCIPsetPropCopy	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPCOPY((*propcopy))
	)

sets copy method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 142 of file scip_prop.c.

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

Referenced by SCIPincludePropDualfix(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropStp(), and SCIPincludePropVbounds().

◆ SCIPsetPropFree()

SCIP_RETCODE SCIPsetPropFree	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPFREE((*propfree))
	)

sets destructor method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 158 of file scip_prop.c.

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

Referenced by SCIPincludePropNlobbt(), SCIPincludePropRedcost(), SCIPincludePropRootredcost(), SCIPincludePropStp(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().

◆ SCIPsetPropInit()

SCIP_RETCODE SCIPsetPropInit	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPINIT((*propinit))
	)

sets initialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 174 of file scip_prop.c.

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

Referenced by SCIPincludePropSync().

◆ SCIPsetPropExit()

SCIP_RETCODE SCIPsetPropExit	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPEXIT((*propexit))
	)

sets deinitialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 190 of file scip_prop.c.

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

Referenced by SCIPincludePropSymmetry(), and SCIPincludePropSync().

◆ SCIPsetPropInitsol()

SCIP_RETCODE SCIPsetPropInitsol	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPINITSOL((*propinitsol))
	)

sets solving process initialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 206 of file scip_prop.c.

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

Referenced by SCIPincludePropNlobbt(), SCIPincludePropRedcost(), and SCIPincludePropStp().

◆ SCIPsetPropExitsol()

SCIP_RETCODE SCIPsetPropExitsol	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPEXITSOL((*propexitsol))
	)

sets solving process deinitialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 222 of file scip_prop.c.

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

Referenced by SCIPincludePropNlobbt(), SCIPincludePropRootredcost(), SCIPincludePropStp(), and SCIPincludePropVbounds().

◆ SCIPsetPropInitpre()

SCIP_RETCODE SCIPsetPropInitpre	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPINITPRE((*propinitpre))
	)

sets preprocessing initialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 238 of file scip_prop.c.

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

Referenced by SCIPincludePropSymmetry(), and SCIPincludePropVbounds().

◆ SCIPsetPropExitpre()

SCIP_RETCODE SCIPsetPropExitpre	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPEXITPRE((*propexitpre))
	)

sets preprocessing deinitialization method of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 254 of file scip_prop.c.

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

Referenced by SCIPincludePropSymmetry().

◆ 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
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 270 of file scip_prop.c.

References FALSE, NULL, paramname, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPcheckStage(), SCIPpropGetName(), SCIPpropSetPresol(), SCIPsetSetDefaultIntParam(), SCIPsnprintf(), Scip::set, and TRUE.

Referenced by SCIPincludePropDualfix(), SCIPincludePropSymmetry(), SCIPincludePropSync(), and SCIPincludePropVbounds().

◆ SCIPsetPropResprop()

SCIP_RETCODE SCIPsetPropResprop	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_DECL_PROPRESPROP((*propresprop))
	)

sets propagation conflict resolving callback of propagator

Parameters

scip	SCIP data structure
prop	propagator

Definition at line 303 of file scip_prop.c.

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

Referenced by SCIPincludePropSymmetry(), and SCIPincludePropVbounds().

◆ 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 320 of file scip_prop.c.

References NULL, SCIPsetFindProp(), and Scip::set.

Referenced by SCIP_DECL_PROPINITSOL(), SCIPcopyConcurrentSolvingStats(), SCIPcreateConcurrent(), SCIPexecPropVbounds(), SCIPfindObjProp(), SCIPgetSymmetry(), SCIPgetSymmetryNGenerators(), SCIPincludeProp(), SCIPincludePropBasic(), SCIPisOrbitalfixingEnabled(), SCIPisPropagatedVbounds(), SCIPStpNfixedEdges(), SCIPStpPropGet2BoundedArr(), and SCIPStpPropGetGraph().

◆ SCIPgetProps()

SCIP_PROP** SCIPgetProps ( SCIP * scip )

returns the array of currently available propagators

Parameters

scip	SCIP data structure

Definition at line 333 of file scip_prop.c.

References NULL, SCIP_Set::props, SCIPsetSortProps(), and Scip::set.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPcopyConcurrentSolvingStats().

◆ SCIPgetNProps()

int SCIPgetNProps ( SCIP * scip )

returns the number of currently available propagators

Parameters

scip	SCIP data structure

Definition at line 346 of file scip_prop.c.

References SCIP_Set::nprops, NULL, and Scip::set.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPcopyConcurrentSolvingStats().

◆ 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 357 of file scip_prop.c.

References NULL, SCIP_OKAY, SCIPpropSetPriority(), and Scip::set.

Referenced by SCIP_DECL_PARAMCHGD().

◆ 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 372 of file scip_prop.c.

References NULL, SCIP_OKAY, SCIPpropSetPresolPriority(), and Scip::set.

Referenced by SCIP_DECL_PARAMCHGD().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIP_DECL_SORTPTRCOMP() [1/3]

◆ SCIP_DECL_SORTPTRCOMP() [2/3]

◆ SCIP_DECL_SORTPTRCOMP() [3/3]

◆ SCIPpropGetData()

◆ SCIPpropSetData()

◆ SCIPpropGetName()

◆ SCIPpropGetDesc()

◆ SCIPpropGetPriority()

◆ SCIPpropGetPresolPriority()

◆ SCIPpropGetFreq()

◆ SCIPpropGetSetupTime()

◆ SCIPpropSetFreq()

◆ SCIPpropGetTime()

◆ SCIPpropGetStrongBranchPropTime()

◆ SCIPpropGetRespropTime()

◆ SCIPpropGetPresolTime()

◆ SCIPpropGetNCalls()

◆ SCIPpropGetNRespropCalls()

◆ SCIPpropGetNCutoffs()

◆ SCIPpropGetNDomredsFound()

◆ SCIPpropIsDelayed()

◆ SCIPpropWasDelayed()

◆ SCIPpropIsInitialized()

◆ SCIPpropGetNFixedVars()

◆ SCIPpropGetNAggrVars()

◆ SCIPpropGetNChgVarTypes()

◆ SCIPpropGetNChgBds()

◆ SCIPpropGetNAddHoles()

◆ SCIPpropGetNDelConss()

◆ SCIPpropGetNAddConss()

◆ SCIPpropGetNUpgdConss()

◆ SCIPpropGetNChgCoefs()

◆ SCIPpropGetNChgSides()

◆ SCIPpropGetNPresolCalls()

◆ SCIPpropGetTimingmask()

◆ SCIPpropDoesPresolve()

◆ SCIPpropGetPresolTiming()

◆ SCIPpropSetPresolTiming()

◆ SCIPincludeProp()

◆ SCIPincludePropBasic()

◆ SCIPsetPropCopy()

◆ SCIPsetPropFree()

◆ SCIPsetPropInit()

◆ SCIPsetPropExit()

◆ SCIPsetPropInitsol()

◆ SCIPsetPropExitsol()

◆ SCIPsetPropInitpre()

◆ SCIPsetPropExitpre()

◆ SCIPsetPropPresol()

◆ SCIPsetPropResprop()

◆ SCIPfindProp()

◆ SCIPgetProps()

◆ SCIPgetNProps()

◆ SCIPsetPropPriority()

◆ SCIPsetPropPresolPriority()