table_slater.c File Reference

Slater statistics table. More...

Go to the source code of this file.

Macros
#define	TABLE_NAME   "slater"
#define	TABLE_DESC   "Slater statistics table (needs relaxing/SDP/slatercheck > 0)"
#define	TABLE_POSITION   16200
#define	TABLE_EARLIEST_STAGE   SCIP_STAGE_SOLVING

Functions
static	SCIP_DECL_TABLECOPY (tableCopySlater)
static	SCIP_DECL_TABLEFREE (tableFreeSlater)
static	SCIP_DECL_TABLEINITSOL (tableInitsolSlater)
static	SCIP_DECL_TABLEOUTPUT (tableOutputSlater)
SCIP_RETCODE	SCIPincludeTableSlater (SCIP *scip)

Detailed Description

Slater statistics table.

Author

Tristan Gally

Definition in file table_slater.c.

Macro Definition Documentation

#define TABLE_NAME   "slater"

Definition at line 48 of file table_slater.c.

Referenced by SCIPincludeTableSlater().

#define TABLE_DESC   "Slater statistics table (needs relaxing/SDP/slatercheck > 0)"

Definition at line 49 of file table_slater.c.

Referenced by SCIPincludeTableSlater().

#define TABLE_POSITION   16200

the position of the statistics table

Definition at line 50 of file table_slater.c.

Referenced by SCIPincludeTableSlater().

#define TABLE_EARLIEST_STAGE   SCIP_STAGE_SOLVING

output of the statistics table is only printed from this stage onwards

Definition at line 51 of file table_slater.c.

Referenced by SCIPincludeTableSlater().

Function Documentation

static SCIP_DECL_TABLECOPY ( tableCopySlater  )

static

copy method for statistics table plugins (called when SCIP copies plugins)

Definition at line 72 of file table_slater.c.

References SCIPincludeTableSlater().

static SCIP_DECL_TABLEFREE ( tableFreeSlater  )

static

destructor of statistics table to free user data (called when SCIP is exiting)

Definition at line 85 of file table_slater.c.

static SCIP_DECL_TABLEINITSOL ( tableInitsolSlater  )

static

solving process initialization method of statistics table (called when branch and bound process is about to begin)

Definition at line 103 of file table_slater.c.

static SCIP_DECL_TABLEOUTPUT ( tableOutputSlater  )

static

output method of statistics table to output file stream 'file'

Definition at line 120 of file table_slater.c.

References SCIPrelaxSdpGetNdualSlaterFails(), SCIPrelaxSdpGetNdualSlaterHolds(), SCIPrelaxSdpGetNdualSlaterInfeasible(), SCIPrelaxSdpGetNdualSlaterUnknown(), SCIPrelaxSdpGetNprimalSlaterFails(), SCIPrelaxSdpGetNprimalSlaterHolds(), SCIPrelaxSdpGetNprimalSlaterUnknown(), SCIPrelaxSdpGetNSdpInterfaceCalls(), SCIPrelaxSdpGetNSlaterFails(), SCIPrelaxSdpGetNSlaterFailsBounded(), SCIPrelaxSdpGetNSlaterFailsFast(), SCIPrelaxSdpGetNSlaterFailsPenalty(), SCIPrelaxSdpGetNSlaterFailsStable(), SCIPrelaxSdpGetNSlaterFailsUnsolved(), SCIPrelaxSdpGetNSlaterHolds(), SCIPrelaxSdpGetNSlaterHoldsBounded(), SCIPrelaxSdpGetNSlaterHoldsFast(), SCIPrelaxSdpGetNSlaterHoldsPenalty(), SCIPrelaxSdpGetNSlaterHoldsStable(), SCIPrelaxSdpGetNSlaterHoldsUnsolved(), SCIPrelaxSdpGetNSlaterInfeasibleBounded(), SCIPrelaxSdpGetNSlaterInfeasibleFast(), SCIPrelaxSdpGetNSlaterInfeasiblePenalty(), SCIPrelaxSdpGetNSlaterInfeasibleStable(), SCIPrelaxSdpGetNSlaterInfeasibleUnsolved(), and SCIPsdpiGetSolverName().

SCIP_RETCODE SCIPincludeTableSlater

(

SCIP *

scip

)

creates the Slater statistics table and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 308 of file table_slater.c.

References TABLE_DESC, TABLE_EARLIEST_STAGE, TABLE_NAME, and TABLE_POSITION.

Referenced by runSCIP(), and SCIP_DECL_TABLECOPY().