Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Prop Struct Reference

Detailed Description

propagators data

Definition at line 36 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_Prop::SCIP_DECL_PROPCOPY ( propcopy)

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

SCIP_Prop::SCIP_DECL_PROPFREE ( propfree)

destructor of propagator

SCIP_Prop::SCIP_DECL_PROPINIT ( propinit)

initialize propagator

SCIP_Prop::SCIP_DECL_PROPEXIT ( propexit)

deinitialize propagator

SCIP_Prop::SCIP_DECL_PROPINITPRE ( propinitpre)

presolving initialization method of propagator

SCIP_Prop::SCIP_DECL_PROPEXITPRE ( propexitpre)

presolving deinitialization method of propagator

SCIP_Prop::SCIP_DECL_PROPINITSOL ( propinitsol)

solving process initialization method of propagator

SCIP_Prop::SCIP_DECL_PROPEXITSOL ( propexitsol)

solving process deinitialization method of propagator

SCIP_Prop::SCIP_DECL_PROPPRESOL ( proppresol)

presolving method of propagator

SCIP_Prop::SCIP_DECL_PROPEXEC ( propexec)

execution method of propagator

SCIP_Prop::SCIP_DECL_PROPRESPROP ( propresprop)

propagation conflict resolving method

Field Documentation

SCIP_Longint SCIP_Prop::ncalls

number of times, this propagator was called

Definition at line 38 of file struct_prop.h.

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

SCIP_Longint SCIP_Prop::nrespropcalls

number of times, the resolve propagation was called

Definition at line 39 of file struct_prop.h.

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

SCIP_Longint SCIP_Prop::ncutoffs

number of cutoffs found so far by this propagator

Definition at line 40 of file struct_prop.h.

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

SCIP_Longint SCIP_Prop::ndomredsfound

number of domain reductions found so far by this propagator

Definition at line 41 of file struct_prop.h.

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

char* SCIP_Prop::name
char* SCIP_Prop::desc

description of propagator

Definition at line 43 of file struct_prop.h.

Referenced by SCIPpropGetDesc().

SCIP_PROPDATA* SCIP_Prop::propdata

propagators local data

Definition at line 55 of file struct_prop.h.

Referenced by SCIPpropGetData(), and SCIPpropSetData().

SCIP_CLOCK* SCIP_Prop::setuptime

time spend for setting up this propagator for the next stages

Definition at line 56 of file struct_prop.h.

Referenced by SCIPpropEnableOrDisableClocks(), SCIPpropExit(), SCIPpropExitpre(), SCIPpropExitsol(), SCIPpropGetSetupTime(), SCIPpropInit(), SCIPpropInitpre(), and SCIPpropInitsol().

SCIP_CLOCK* SCIP_Prop::proptime

time used for propagation of this propagator

Definition at line 57 of file struct_prop.h.

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

SCIP_CLOCK* SCIP_Prop::sbproptime

time used for propagation of this propagator during strong branching

Definition at line 58 of file struct_prop.h.

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

SCIP_CLOCK* SCIP_Prop::resproptime

time used for resolve propagation of this propagator

Definition at line 59 of file struct_prop.h.

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

SCIP_CLOCK* SCIP_Prop::presoltime

time used for presolving of this propagator

Definition at line 60 of file struct_prop.h.

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

int SCIP_Prop::priority

priority of the propagator for propagation

Definition at line 61 of file struct_prop.h.

Referenced by SCIPpropGetPriority(), and SCIPpropSetPriority().

int SCIP_Prop::freq

frequency for calling propagator

Definition at line 62 of file struct_prop.h.

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

SCIP_PROPTIMING SCIP_Prop::timingmask

positions in the node solving loop where propagator should be executed

Definition at line 63 of file struct_prop.h.

Referenced by SCIPpropGetTimingmask().

SCIP_PRESOLTIMING SCIP_Prop::presoltiming

timing mask of the presolving method of the propagator

Definition at line 64 of file struct_prop.h.

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

int SCIP_Prop::presolpriority

priority of the presolving of the propagator

Definition at line 65 of file struct_prop.h.

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

int SCIP_Prop::maxprerounds

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

Definition at line 66 of file struct_prop.h.

Referenced by SCIPpropPresol(), and SCIPpropSetPresol().

int SCIP_Prop::lastnfixedvars

number of variables fixed before the last call to the propagator

Definition at line 67 of file struct_prop.h.

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

int SCIP_Prop::lastnaggrvars

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

Definition at line 68 of file struct_prop.h.

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

int SCIP_Prop::lastnchgvartypes

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

Definition at line 69 of file struct_prop.h.

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

int SCIP_Prop::lastnchgbds

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

Definition at line 70 of file struct_prop.h.

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

int SCIP_Prop::lastnaddholes

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

Definition at line 71 of file struct_prop.h.

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

int SCIP_Prop::lastndelconss

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

Definition at line 72 of file struct_prop.h.

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

int SCIP_Prop::lastnaddconss

number of added 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().

int SCIP_Prop::lastnupgdconss

number of upgraded 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().

int SCIP_Prop::lastnchgcoefs

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

Definition at line 75 of file struct_prop.h.

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

int SCIP_Prop::lastnchgsides

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

Definition at line 76 of file struct_prop.h.

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

int SCIP_Prop::nfixedvars

total number of variables fixed by this propagator in presolving

Definition at line 77 of file struct_prop.h.

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

int SCIP_Prop::naggrvars

total number of variables aggregated by this propagator in presolving

Definition at line 78 of file struct_prop.h.

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

int SCIP_Prop::nchgvartypes

total number of variable type changes by this propagator in presolving

Definition at line 79 of file struct_prop.h.

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

int SCIP_Prop::nchgbds

total number of variable bounds tightened by this propagator in presolving

Definition at line 80 of file struct_prop.h.

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

int SCIP_Prop::naddholes

total number of domain holes added by this propagator in presolving

Definition at line 81 of file struct_prop.h.

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

int SCIP_Prop::ndelconss

total number of deleted constraints by this propagator in presolving

Definition at line 82 of file struct_prop.h.

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

int SCIP_Prop::naddconss

total number of added constraints by this propagator in presolving

Definition at line 83 of file struct_prop.h.

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

int SCIP_Prop::nupgdconss

total number of upgraded constraints by this propagator in presolving

Definition at line 84 of file struct_prop.h.

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

int SCIP_Prop::nchgcoefs

total number of changed coefficients by this propagator in presolving

Definition at line 85 of file struct_prop.h.

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

int SCIP_Prop::nchgsides

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

Definition at line 86 of file struct_prop.h.

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

int SCIP_Prop::npresolcalls

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

Definition at line 87 of file struct_prop.h.

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

SCIP_Bool SCIP_Prop::delay

should propagator be delayed, if other propagators found reductions?

Definition at line 88 of file struct_prop.h.

Referenced by SCIPpropExec(), and SCIPpropIsDelayed().

SCIP_Bool SCIP_Prop::wasdelayed

was the propagator delayed at the last call?

Definition at line 89 of file struct_prop.h.

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

SCIP_Bool SCIP_Prop::initialized

is propagator initialized?

Definition at line 90 of file struct_prop.h.

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