Scippy

SCIP

Solving Constraint Integer Programs

pub_presol.h File Reference

Detailed Description

public methods for presolvers

Author
Tobias Achterberg

Definition in file pub_presol.h.

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

Go to the source code of this file.

Functions

 SCIP_DECL_SORTPTRCOMP (SCIPpresolComp)
 
 SCIP_DECL_SORTPTRCOMP (SCIPpresolCompName)
 
SCIP_PRESOLDATASCIPpresolGetData (SCIP_PRESOL *presol)
 
void SCIPpresolSetData (SCIP_PRESOL *presol, SCIP_PRESOLDATA *presoldata)
 
const char * SCIPpresolGetName (SCIP_PRESOL *presol)
 
const char * SCIPpresolGetDesc (SCIP_PRESOL *presol)
 
int SCIPpresolGetPriority (SCIP_PRESOL *presol)
 
SCIP_Bool SCIPpresolIsDelayed (SCIP_PRESOL *presol)
 
SCIP_Bool SCIPpresolWasDelayed (SCIP_PRESOL *presol)
 
SCIP_Bool SCIPpresolIsInitialized (SCIP_PRESOL *presol)
 
SCIP_Real SCIPpresolGetSetupTime (SCIP_PRESOL *presol)
 
SCIP_Real SCIPpresolGetTime (SCIP_PRESOL *presol)
 
int SCIPpresolGetNFixedVars (SCIP_PRESOL *presol)
 
int SCIPpresolGetNAggrVars (SCIP_PRESOL *presol)
 
int SCIPpresolGetNChgVarTypes (SCIP_PRESOL *presol)
 
int SCIPpresolGetNChgBds (SCIP_PRESOL *presol)
 
int SCIPpresolGetNAddHoles (SCIP_PRESOL *presol)
 
int SCIPpresolGetNDelConss (SCIP_PRESOL *presol)
 
int SCIPpresolGetNAddConss (SCIP_PRESOL *presol)
 
int SCIPpresolGetNUpgdConss (SCIP_PRESOL *presol)
 
int SCIPpresolGetNChgCoefs (SCIP_PRESOL *presol)
 
int SCIPpresolGetNChgSides (SCIP_PRESOL *presol)
 
int SCIPpresolGetNCalls (SCIP_PRESOL *presol)
 

Function Documentation

SCIP_DECL_SORTPTRCOMP ( SCIPpresolComp  )

compares two presolvers w. r. to their priority

Definition at line 45 of file presol.c.

SCIP_DECL_SORTPTRCOMP ( SCIPpresolCompName  )

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

Definition at line 51 of file presol.c.

References SCIPpresolGetName().

void SCIPpresolSetData ( SCIP_PRESOL presol,
SCIP_PRESOLDATA presoldata 
)

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

Parameters
presolpresolver
presoldatanew presolver user data

Definition at line 474 of file presol.c.

References NULL, and SCIP_Presol::presoldata.

Referenced by SCIP_DECL_PRESOLFREE().

const char* SCIPpresolGetDesc ( SCIP_PRESOL presol)

gets description of presolver

Parameters
presolpresolver

Definition at line 561 of file presol.c.

References SCIP_Presol::desc, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPincludeDialogDefaultFix(), and SCIPincludeDialogDefaultSet().

int SCIPpresolGetPriority ( SCIP_PRESOL presol)

gets priority of presolver

Parameters
presolpresolver

Definition at line 571 of file presol.c.

References NULL, and SCIP_Presol::priority.

Referenced by presolveRound(), and SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPpresolIsDelayed ( SCIP_PRESOL presol)

should presolver be delayed, if other presolvers found reductions?

Parameters
presolpresolver

Definition at line 595 of file presol.c.

References SCIP_Presol::delay, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPpresolWasDelayed ( SCIP_PRESOL presol)

was presolver delayed at the last call?

Parameters
presolpresolver

Definition at line 605 of file presol.c.

References NULL, and SCIP_Presol::wasdelayed.

Referenced by presolveRound().

SCIP_Bool SCIPpresolIsInitialized ( SCIP_PRESOL presol)

is presolver initialized?

Parameters
presolpresolver

Definition at line 615 of file presol.c.

References SCIP_Presol::initialized, and NULL.

SCIP_Real SCIPpresolGetSetupTime ( SCIP_PRESOL presol)

gets time in seconds used in this presolver for setting up for next stages

Parameters
presolpresolver

Definition at line 625 of file presol.c.

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

Referenced by printPresolverStatistics().

SCIP_Real SCIPpresolGetTime ( SCIP_PRESOL presol)

gets time in seconds used in this presolver

Parameters
presolpresolver

Definition at line 635 of file presol.c.

References NULL, SCIP_Presol::presolclock, and SCIPclockGetTime().

Referenced by printPresolverStatistics().

int SCIPpresolGetNFixedVars ( SCIP_PRESOL presol)

gets number of variables fixed in presolver

Parameters
presolpresolver

Definition at line 645 of file presol.c.

References SCIP_Presol::nfixedvars, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNAggrVars ( SCIP_PRESOL presol)

gets number of variables aggregated in presolver

Parameters
presolpresolver

Definition at line 655 of file presol.c.

References SCIP_Presol::naggrvars, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNChgVarTypes ( SCIP_PRESOL presol)

gets number of variable types changed in presolver

Parameters
presolpresolver

Definition at line 665 of file presol.c.

References SCIP_Presol::nchgvartypes, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNChgBds ( SCIP_PRESOL presol)

gets number of bounds changed in presolver

Parameters
presolpresolver

Definition at line 675 of file presol.c.

References SCIP_Presol::nchgbds, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNAddHoles ( SCIP_PRESOL presol)

gets number of holes added to domains of variables in presolver

Parameters
presolpresolver

Definition at line 685 of file presol.c.

References SCIP_Presol::naddholes, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNDelConss ( SCIP_PRESOL presol)

gets number of constraints deleted in presolver

Parameters
presolpresolver

Definition at line 695 of file presol.c.

References SCIP_Presol::ndelconss, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNAddConss ( SCIP_PRESOL presol)

gets number of constraints added in presolver

Parameters
presolpresolver

Definition at line 705 of file presol.c.

References SCIP_Presol::naddconss, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNUpgdConss ( SCIP_PRESOL presol)

gets number of constraints upgraded in presolver

Parameters
presolpresolver

Definition at line 715 of file presol.c.

References NULL, and SCIP_Presol::nupgdconss.

int SCIPpresolGetNChgCoefs ( SCIP_PRESOL presol)

gets number of coefficients changed in presolver

Parameters
presolpresolver

Definition at line 725 of file presol.c.

References SCIP_Presol::nchgcoefs, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNChgSides ( SCIP_PRESOL presol)

gets number of constraint sides changed in presolver

Parameters
presolpresolver

Definition at line 735 of file presol.c.

References SCIP_Presol::nchgsides, and NULL.

Referenced by printPresolverStatistics().

int SCIPpresolGetNCalls ( SCIP_PRESOL presol)

gets number of times the presolver was called and tried to find reductions

Parameters
presolpresolver

Definition at line 745 of file presol.c.

References SCIP_Presol::ncalls, and NULL.

Referenced by printPresolverStatistics().