Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Prop Struct Reference

Detailed Description

propagators data

Definition at line 37 of file struct_prop.h.

#include <struct_prop.h>

Public Member Functions

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

Data Fields

SCIP_Longint ncalls
 
SCIP_Longint nrespropcalls
 
SCIP_Longint ncutoffs
 
SCIP_Longint ndomredsfound
 
char * name
 
char * desc
 
SCIP_PROPDATApropdata
 
SCIP_CLOCKsetuptime
 
SCIP_CLOCKproptime
 
SCIP_CLOCKsbproptime
 
SCIP_CLOCKresproptime
 
SCIP_CLOCKpresoltime
 
int priority
 
int freq
 
SCIP_PROPTIMING timingmask
 
SCIP_PRESOLTIMING presoltiming
 
int presolpriority
 
int maxprerounds
 
int lastnfixedvars
 
int lastnaggrvars
 
int lastnchgvartypes
 
int lastnchgbds
 
int lastnaddholes
 
int lastndelconss
 
int lastnaddconss
 
int lastnupgdconss
 
int lastnchgcoefs
 
int lastnchgsides
 
int nfixedvars
 
int naggrvars
 
int nchgvartypes
 
int nchgbds
 
int naddholes
 
int ndelconss
 
int naddconss
 
int nupgdconss
 
int nchgcoefs
 
int nchgsides
 
int npresolcalls
 
SCIP_Bool delay
 
SCIP_Bool wasdelayed
 
SCIP_Bool initialized
 

Member Function Documentation

◆ SCIP_DECL_PROPCOPY()

SCIP_Prop::SCIP_DECL_PROPCOPY ( propcopy)

copy method of propagator or NULL if you don't want to copy your plugin into sub-SCIPs

◆ SCIP_DECL_PROPFREE()

SCIP_Prop::SCIP_DECL_PROPFREE ( propfree)

destructor of propagator

◆ SCIP_DECL_PROPINIT()

SCIP_Prop::SCIP_DECL_PROPINIT ( propinit)

initialize propagator

◆ SCIP_DECL_PROPEXIT()

SCIP_Prop::SCIP_DECL_PROPEXIT ( propexit)

deinitialize propagator

◆ SCIP_DECL_PROPINITPRE()

SCIP_Prop::SCIP_DECL_PROPINITPRE ( propinitpre)

presolving initialization method of propagator

◆ SCIP_DECL_PROPEXITPRE()

SCIP_Prop::SCIP_DECL_PROPEXITPRE ( propexitpre)

presolving deinitialization method of propagator

◆ SCIP_DECL_PROPINITSOL()

SCIP_Prop::SCIP_DECL_PROPINITSOL ( propinitsol)

solving process initialization method of propagator

◆ SCIP_DECL_PROPEXITSOL()

SCIP_Prop::SCIP_DECL_PROPEXITSOL ( propexitsol)

solving process deinitialization method of propagator

◆ SCIP_DECL_PROPPRESOL()

SCIP_Prop::SCIP_DECL_PROPPRESOL ( proppresol)

presolving method of propagator

◆ SCIP_DECL_PROPEXEC()

SCIP_Prop::SCIP_DECL_PROPEXEC ( propexec)

execution method of propagator

◆ SCIP_DECL_PROPRESPROP()

SCIP_Prop::SCIP_DECL_PROPRESPROP ( propresprop)

propagation conflict resolving method

Field Documentation

◆ ncalls

SCIP_Longint SCIP_Prop::ncalls

number of times, this propagator was called

Definition at line 39 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropExec(), SCIPpropGetNCalls(), and SCIPpropInit().

◆ nrespropcalls

SCIP_Longint SCIP_Prop::nrespropcalls

number of times, the resolve propagation was called

Definition at line 40 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropGetNRespropCalls(), SCIPpropInit(), and SCIPpropResolvePropagation().

◆ ncutoffs

SCIP_Longint SCIP_Prop::ncutoffs

number of cutoffs found so far by this propagator

Definition at line 41 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropExec(), SCIPpropGetNCutoffs(), and SCIPpropInit().

◆ ndomredsfound

SCIP_Longint SCIP_Prop::ndomredsfound

number of domain reductions found so far by this propagator

Definition at line 42 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropExec(), SCIPpropGetNDomredsFound(), and SCIPpropInit().

◆ name

char* SCIP_Prop::name

◆ desc

char* SCIP_Prop::desc

description of propagator

Definition at line 44 of file struct_prop.h.

Referenced by SCIPpropGetDesc().

◆ propdata

SCIP_PROPDATA* SCIP_Prop::propdata

propagators local data

Definition at line 56 of file struct_prop.h.

Referenced by SCIPpropGetData(), and SCIPpropSetData().

◆ setuptime

SCIP_CLOCK* SCIP_Prop::setuptime

◆ proptime

SCIP_CLOCK* SCIP_Prop::proptime

time used for propagation of this propagator

Definition at line 58 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropEnableOrDisableClocks(), SCIPpropExec(), SCIPpropGetTime(), and SCIPpropInit().

◆ sbproptime

SCIP_CLOCK* SCIP_Prop::sbproptime

time used for propagation of this propagator during strong branching

Definition at line 59 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropEnableOrDisableClocks(), SCIPpropExec(), SCIPpropGetStrongBranchPropTime(), and SCIPpropInit().

◆ resproptime

SCIP_CLOCK* SCIP_Prop::resproptime

time used for resolve propagation of this propagator

Definition at line 60 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropEnableOrDisableClocks(), SCIPpropGetRespropTime(), SCIPpropInit(), and SCIPpropResolvePropagation().

◆ presoltime

SCIP_CLOCK* SCIP_Prop::presoltime

time used for presolving of this propagator

Definition at line 61 of file struct_prop.h.

Referenced by SCIPcopyConcurrentSolvingStats(), SCIPpropEnableOrDisableClocks(), SCIPpropGetPresolTime(), SCIPpropInit(), and SCIPpropPresol().

◆ priority

int SCIP_Prop::priority

priority of the propagator for propagation

Definition at line 62 of file struct_prop.h.

Referenced by SCIPpropGetPriority(), and SCIPpropSetPriority().

◆ freq

int SCIP_Prop::freq

frequency for calling propagator

Definition at line 63 of file struct_prop.h.

Referenced by SCIPpropExec(), SCIPpropGetFreq(), and SCIPpropSetFreq().

◆ timingmask

SCIP_PROPTIMING SCIP_Prop::timingmask

positions in the node solving loop where propagator should be executed

Definition at line 64 of file struct_prop.h.

Referenced by SCIPpropGetTimingmask().

◆ presoltiming

SCIP_PRESOLTIMING SCIP_Prop::presoltiming

timing mask of the presolving method of the propagator

Definition at line 65 of file struct_prop.h.

Referenced by SCIPpropGetPresolTiming(), SCIPpropPresol(), SCIPpropSetPresol(), and SCIPpropSetPresolTiming().

◆ presolpriority

int SCIP_Prop::presolpriority

priority of the presolving of the propagator

Definition at line 66 of file struct_prop.h.

Referenced by SCIPpropGetPresolPriority(), SCIPpropSetPresol(), and SCIPpropSetPresolPriority().

◆ maxprerounds

int SCIP_Prop::maxprerounds

maximal number of presolving rounds the constraint handler participates in (-1: no limit)

Definition at line 67 of file struct_prop.h.

Referenced by SCIPpropPresol(), and SCIPpropSetPresol().

◆ lastnfixedvars

int SCIP_Prop::lastnfixedvars

number of variables fixed before the last call to the propagator

Definition at line 68 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnaggrvars

int SCIP_Prop::lastnaggrvars

number of variables aggregated in presolving before the last call to the propagator

Definition at line 69 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnchgvartypes

int SCIP_Prop::lastnchgvartypes

number of variable type changes in presolving before the last call to the propagator

Definition at line 70 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnchgbds

int SCIP_Prop::lastnchgbds

number of variable bounds tightened in presolving before the last call to the propagator

Definition at line 71 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnaddholes

int SCIP_Prop::lastnaddholes

number of domain holes added in presolving before the last call to the propagator

Definition at line 72 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastndelconss

int SCIP_Prop::lastndelconss

number of deleted constraints in presolving before the last call to the propagator

Definition at line 73 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnaddconss

int SCIP_Prop::lastnaddconss

number of added constraints in presolving before the last call to the propagator

Definition at line 74 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnupgdconss

int SCIP_Prop::lastnupgdconss

number of upgraded constraints in presolving before the last call to the propagator

Definition at line 75 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnchgcoefs

int SCIP_Prop::lastnchgcoefs

number of changed coefficients in presolving before the last call to the propagator

Definition at line 76 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ lastnchgsides

int SCIP_Prop::lastnchgsides

number of changed left or right hand sides in presolving before the last call to the propagator

Definition at line 77 of file struct_prop.h.

Referenced by SCIPpropInit(), SCIPpropInitpre(), and SCIPpropPresol().

◆ nfixedvars

int SCIP_Prop::nfixedvars

total number of variables fixed by this propagator in presolving

Definition at line 78 of file struct_prop.h.

Referenced by SCIPpropGetNFixedVars(), SCIPpropInit(), and SCIPpropPresol().

◆ naggrvars

int SCIP_Prop::naggrvars

total number of variables aggregated by this propagator in presolving

Definition at line 79 of file struct_prop.h.

Referenced by SCIPpropGetNAggrVars(), SCIPpropInit(), and SCIPpropPresol().

◆ nchgvartypes

int SCIP_Prop::nchgvartypes

total number of variable type changes by this propagator in presolving

Definition at line 80 of file struct_prop.h.

Referenced by SCIPpropGetNChgVarTypes(), SCIPpropInit(), and SCIPpropPresol().

◆ nchgbds

int SCIP_Prop::nchgbds

total number of variable bounds tightened by this propagator in presolving

Definition at line 81 of file struct_prop.h.

Referenced by SCIPpropGetNChgBds(), SCIPpropInit(), and SCIPpropPresol().

◆ naddholes

int SCIP_Prop::naddholes

total number of domain holes added by this propagator in presolving

Definition at line 82 of file struct_prop.h.

Referenced by SCIPpropGetNAddHoles(), SCIPpropInit(), and SCIPpropPresol().

◆ ndelconss

int SCIP_Prop::ndelconss

total number of deleted constraints by this propagator in presolving

Definition at line 83 of file struct_prop.h.

Referenced by SCIPpropGetNDelConss(), SCIPpropInit(), and SCIPpropPresol().

◆ naddconss

int SCIP_Prop::naddconss

total number of added constraints by this propagator in presolving

Definition at line 84 of file struct_prop.h.

Referenced by SCIPpropGetNAddConss(), SCIPpropInit(), and SCIPpropPresol().

◆ nupgdconss

int SCIP_Prop::nupgdconss

total number of upgraded constraints by this propagator in presolving

Definition at line 85 of file struct_prop.h.

Referenced by SCIPpropGetNUpgdConss(), SCIPpropInit(), and SCIPpropPresol().

◆ nchgcoefs

int SCIP_Prop::nchgcoefs

total number of changed coefficients by this propagator in presolving

Definition at line 86 of file struct_prop.h.

Referenced by SCIPpropGetNChgCoefs(), SCIPpropInit(), and SCIPpropPresol().

◆ nchgsides

int SCIP_Prop::nchgsides

total number of changed left or right hand sides by this propagator in presolving

Definition at line 87 of file struct_prop.h.

Referenced by SCIPpropGetNChgSides(), SCIPpropInit(), and SCIPpropPresol().

◆ npresolcalls

int SCIP_Prop::npresolcalls

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

Definition at line 88 of file struct_prop.h.

Referenced by SCIPpropGetNPresolCalls(), SCIPpropInit(), and SCIPpropPresol().

◆ delay

SCIP_Bool SCIP_Prop::delay

should propagator be delayed, if other propagators found reductions?

Definition at line 89 of file struct_prop.h.

Referenced by SCIPpropExec(), and SCIPpropIsDelayed().

◆ wasdelayed

SCIP_Bool SCIP_Prop::wasdelayed

was the propagator delayed at the last call?

Definition at line 90 of file struct_prop.h.

Referenced by SCIPpropExec(), SCIPpropInit(), SCIPpropInitpre(), and SCIPpropWasDelayed().

◆ initialized

SCIP_Bool SCIP_Prop::initialized

is propagator initialized?

Definition at line 91 of file struct_prop.h.

Referenced by SCIPpropExit(), SCIPpropInit(), and SCIPpropIsInitialized().