Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

graph utility tests for Steiner tree problem methods

Author: Daniel Rehfeldt

This file implements graph utility tests for Steiner tree problems.

A list of all interface methods can be found in stptest.h.

Definition in file stptest_graphpath.c.

#include "scip/scip.h"
#include "stptest.h"
#include "graph.h"
#include "portab.h"

Go to the source code of this file.

Functions
static SCIP_RETCODE	testTerminalPathsTo3NextFound (SCIP *scip)

static SCIP_RETCODE	testTerminalPathsRepair (SCIP *scip)

static SCIP_RETCODE	testTerminalPathsRepair2 (SCIP *scip)

static SCIP_RETCODE	testTerminalPathsRepair3 (SCIP *scip)

static SCIP_RETCODE	testSdRepair (SCIP *scip)

static SCIP_RETCODE	testBiasedTerminalPathsTo4NextFound (SCIP *scip)

SCIP_RETCODE	stptest_tpaths (SCIP *scip)

Function Documentation

◆ testTerminalPathsTo3NextFound()

static SCIP_RETCODE testTerminalPathsTo3NextFound ( SCIP * scip )

static

tests that (unbiased) terminal paths are found

Parameters

scip	SCIP data structure

Definition at line 37 of file stptest_graphpath.c.

References GRAPH::cost, EQ, FARAWAY, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), graph_tpathsFree(), graph_tpathsGet4CloseTerms(), graph_tpathsInit(), graph_tpathsSetAll4(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_tpaths().

◆ testTerminalPathsRepair()

static SCIP_RETCODE testTerminalPathsRepair ( SCIP * scip )

static

tests that (unbiased) terminal paths are repaired properly (level 1)

Parameters

scip	SCIP data structure

Definition at line 98 of file stptest_graphpath.c.

References GRAPH::cost, EQ, FALSE, FARAWAY, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), graph_tpathsFree(), graph_tpathsGet4CloseTerms(), graph_tpathsInit(), graph_tpathsRepair(), graph_tpathsRepairSetUp(), graph_tpathsSetAll4(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_tpaths().

◆ testTerminalPathsRepair2()

static SCIP_RETCODE testTerminalPathsRepair2 ( SCIP * scip )

static

tests that (unbiased) terminal paths are repaired properly (level 1 + 2)

Parameters

scip	SCIP data structure

Definition at line 160 of file stptest_graphpath.c.

References GRAPH::cost, EQ, FALSE, FARAWAY, graph_edge_addBi(), graph_edge_del(), graph_init(), graph_knot_add(), graph_knot_chg(), graph_tpathsFree(), graph_tpathsGet4CloseTerms(), graph_tpathsInit(), graph_tpathsRepair(), graph_tpathsRepairSetUp(), graph_tpathsSetAll4(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), and TRUE.

Referenced by stptest_tpaths().

◆ testTerminalPathsRepair3()

static SCIP_RETCODE testTerminalPathsRepair3 ( SCIP * scip )

static

tests that (unbiased) terminal paths are repaired properly (level 1 + 2 + 3)

Parameters

scip	SCIP data structure

Definition at line 243 of file stptest_graphpath.c.

References GRAPH::cost, EQ, FALSE, FARAWAY, graph_edge_addBi(), graph_edge_del(), graph_init(), graph_knot_add(), graph_knot_chg(), graph_tpathsFree(), graph_tpathsGet4CloseTerms(), graph_tpathsInit(), graph_tpathsRepair(), graph_tpathsRepairSetUp(), graph_tpathsSetAll4(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), and TRUE.

Referenced by stptest_tpaths().

◆ testSdRepair()

static SCIP_RETCODE testSdRepair ( SCIP * scip )

static

tests that SD is repaired properly

Parameters

scip	SCIP data structure

Definition at line 346 of file stptest_graphpath.c.

References EQ, FALSE, FARAWAY, graph_edge_addBi(), graph_edge_del(), graph_init(), graph_knot_add(), graph_knot_chg(), nnodes, reduce_sdFree(), reduce_sdGetSd(), reduce_sdInit(), reduce_sdRepair(), reduce_sdRepairSetUp(), SCIP_CALL, SCIP_OKAY, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), and TRUE.

Referenced by stptest_tpaths().

◆ testBiasedTerminalPathsTo4NextFound()

static SCIP_RETCODE testBiasedTerminalPathsTo4NextFound ( SCIP * scip )

static

tests that (unbiased) terminal paths are found

Parameters

scip	SCIP data structure

Definition at line 412 of file stptest_graphpath.c.

References GRAPH::cost, EQ, FARAWAY, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), graph_tpathsFree(), graph_tpathsGet4CloseTerms(), graph_tpathsInit(), graph_tpathsSetAll4(), nnodes, NULL, reduce_sdprofitFree(), reduce_sdprofitInit(), SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_tpaths().

◆ stptest_tpaths()

SCIP_RETCODE stptest_tpaths ( SCIP * scip )

tests terminal paths

Parameters

scip	SCIP data structure

Definition at line 479 of file stptest_graphpath.c.

References SCIP_CALL, SCIP_OKAY, testBiasedTerminalPathsTo4NextFound(), testSdRepair(), testTerminalPathsRepair(), testTerminalPathsRepair2(), testTerminalPathsRepair3(), and testTerminalPathsTo3NextFound().

Referenced by stptest_testAll().