Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_Prop Struct Reference

    Detailed Description

    propagators data

    Definition at line 46 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 exact
     
    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 48 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 49 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 50 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 51 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 53 of file struct_prop.h.

    Referenced by SCIPpropGetDesc().

    ◆ propdata

    SCIP_PROPDATA* SCIP_Prop::propdata

    propagators local data

    Definition at line 65 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 67 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 68 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 69 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 70 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 71 of file struct_prop.h.

    Referenced by SCIPpropGetPriority(), and SCIPpropSetPriority().

    ◆ freq

    int SCIP_Prop::freq

    frequency for calling propagator

    Definition at line 72 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 73 of file struct_prop.h.

    Referenced by SCIPpropGetTimingmask(), and SCIPpropSetTimingmask().

    ◆ presoltiming

    SCIP_PRESOLTIMING SCIP_Prop::presoltiming

    timing mask of the presolving method of the propagator

    Definition at line 74 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 75 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 76 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 77 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 78 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 79 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 80 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 81 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 82 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 83 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 84 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 85 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 86 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 87 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 88 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 89 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 90 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 91 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 92 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 93 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 94 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 95 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 96 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 97 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 98 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 99 of file struct_prop.h.

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

    ◆ exact

    SCIP_Bool SCIP_Prop::exact

    is the propagator safe to be used in exact solving mode?

    Definition at line 100 of file struct_prop.h.

    Referenced by SCIPpropExec(), SCIPpropMarkExact(), and SCIPpropPresol().

    ◆ initialized

    SCIP_Bool SCIP_Prop::initialized

    is propagator initialized?

    Definition at line 101 of file struct_prop.h.

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