Scippy

SCIP

Solving Constraint Integer Programs

Functions
pub_prop.h File Reference
Public Methods

Detailed Description

public methods for propagators

Author
Tobias Achterberg

Definition in file pub_prop.h.

#include "scip/def.h"
#include "scip/type_misc.h"
#include "scip/type_prop.h"

Go to the source code of this file.

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 SCIPpropIsPresolDelayed (SCIP_PROP *prop)
 
SCIP_Bool SCIPpropWasDelayed (SCIP_PROP *prop)
 
SCIP_Bool SCIPpropWasPresolDelayed (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)
 

Function Documentation

SCIP_DECL_SORTPTRCOMP ( SCIPpropComp  )

compares two propagators w. r. to their priority

SCIP_DECL_SORTPTRCOMP ( SCIPpropCompPresol  )

compares two propagators w. r. to their presolving priority

SCIP_DECL_SORTPTRCOMP ( SCIPpropCompName  )

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

SCIP_PROPDATA* SCIPpropGetData ( SCIP_PROP *  prop)

gets user data of propagator

Parameters
proppropagator
void SCIPpropSetData ( SCIP_PROP *  prop,
SCIP_PROPDATA *  propdata 
)

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

Parameters
proppropagator
propdatanew propagator user data
const char* SCIPpropGetName ( SCIP_PROP *  prop)

gets name of propagator

Parameters
proppropagator
const char* SCIPpropGetDesc ( SCIP_PROP *  prop)

gets description of propagator

Parameters
proppropagator
int SCIPpropGetPriority ( SCIP_PROP *  prop)

gets priority of propagator

Parameters
proppropagator
int SCIPpropGetPresolPriority ( SCIP_PROP *  prop)

gets presolving priority of propagator

Parameters
proppropagator
int SCIPpropGetFreq ( SCIP_PROP *  prop)

gets frequency of propagator

Parameters
proppropagator
SCIP_Real SCIPpropGetSetupTime ( SCIP_PROP *  prop)

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

Parameters
proppropagator
void SCIPpropSetFreq ( SCIP_PROP *  prop,
int  freq 
)

sets frequency of propagator

Parameters
proppropagator
freqnew frequency of propagator
SCIP_Real SCIPpropGetTime ( SCIP_PROP *  prop)

gets time in seconds used in this propagator

Parameters
proppropagator
SCIP_Real SCIPpropGetStrongBranchPropTime ( SCIP_PROP *  prop)

gets time in seconds used in this propagator during strong branching

Parameters
proppropagator
SCIP_Real SCIPpropGetRespropTime ( SCIP_PROP *  prop)

gets time in seconds used in this propagator for resolve propagation

Parameters
proppropagator
SCIP_Real SCIPpropGetPresolTime ( SCIP_PROP *  prop)

gets time in seconds used in this propagator for presolving

Parameters
proppropagator
SCIP_Longint SCIPpropGetNCalls ( SCIP_PROP *  prop)

gets the total number of times, the propagator was called

Parameters
proppropagator
SCIP_Longint SCIPpropGetNRespropCalls ( SCIP_PROP *  prop)

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

Parameters
proppropagator
SCIP_Longint SCIPpropGetNCutoffs ( SCIP_PROP *  prop)

gets total number of times, this propagator detected a cutoff

Parameters
proppropagator
SCIP_Longint SCIPpropGetNDomredsFound ( SCIP_PROP *  prop)

gets total number of domain reductions found by this propagator

Parameters
proppropagator
SCIP_Bool SCIPpropIsDelayed ( SCIP_PROP *  prop)

should propagator be delayed, if other propagators found reductions?

Parameters
proppropagator
SCIP_Bool SCIPpropIsPresolDelayed ( SCIP_PROP *  prop)

should propagator be delayed during presolving, if other propagators found reductions?

Parameters
proppropagator
SCIP_Bool SCIPpropWasDelayed ( SCIP_PROP *  prop)

was propagator delayed at the last call?

Parameters
proppropagator
SCIP_Bool SCIPpropWasPresolDelayed ( SCIP_PROP *  prop)

was presolving of propagator delayed at the last call?

Parameters
proppropagator
SCIP_Bool SCIPpropIsInitialized ( SCIP_PROP *  prop)

is propagator initialized?

Parameters
proppropagator
int SCIPpropGetNFixedVars ( SCIP_PROP *  prop)

gets number of variables fixed during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNAggrVars ( SCIP_PROP *  prop)

gets number of variables aggregated during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNChgVarTypes ( SCIP_PROP *  prop)

gets number of variable types changed during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNChgBds ( SCIP_PROP *  prop)

gets number of bounds changed during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNAddHoles ( SCIP_PROP *  prop)

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

Parameters
proppropagator
int SCIPpropGetNDelConss ( SCIP_PROP *  prop)

gets number of constraints deleted during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNAddConss ( SCIP_PROP *  prop)

gets number of constraints added during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNUpgdConss ( SCIP_PROP *  prop)

gets number of constraints upgraded during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNChgCoefs ( SCIP_PROP *  prop)

gets number of coefficients changed during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNChgSides ( SCIP_PROP *  prop)

gets number of constraint sides changed during presolving of propagator

Parameters
proppropagator
int SCIPpropGetNPresolCalls ( SCIP_PROP *  prop)

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

Parameters
proppropagator
SCIP_PROPTIMING SCIPpropGetTimingmask ( SCIP_PROP *  prop)

returns the timing mask of the propagator

Parameters
proppropagator
SCIP_Bool SCIPpropDoesPresolve ( SCIP_PROP *  prop)

does the propagator perform presolving?

Parameters
proppropagator
SCIP_PRESOLTIMING SCIPpropGetPresolTiming ( SCIP_PROP *  prop)

returns the timing mask of the presolving method of the propagator

Parameters
proppropagator
void SCIPpropSetPresolTiming ( SCIP_PROP *  prop,
SCIP_PRESOLTIMING  presoltiming 
)

sets the timing mask of the presolving method of the propagator

Parameters
proppropagator
presoltimingtiming mask to be set