stptest_reducesepa.c File Reference

Detailed Description

tests for Steiner tree node-separator reductions

Author

Daniel Rehfeldt

This file implements unit tests for Steiner tree node-separator based reduction methods.

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

Definition in file stptest_reducesepa.c.

#include <stdio.h>
#include <assert.h>
#include "stptest.h"
#include "graph.h"
#include "reduce.h"
#include "portab.h"
#include "mincut.h"

Go to the source code of this file.

Functions
static SCIP_RETCODE	testTerminalSeparatorsAreFound (SCIP *scip)
static SCIP_RETCODE	testTerminalSeparatorsAreFound2 (SCIP *scip)
static SCIP_RETCODE	testTerminalSeparatorsAreFound3 (SCIP *scip)
static SCIP_RETCODE	testBiconnectedComponentsAreFound (SCIP *scip)
static SCIP_RETCODE	testBiconnectedComponentsAreFound2 (SCIP *scip)
static SCIP_RETCODE	testBiconnectedComponentsAreFound3 (SCIP *scip)
static SCIP_RETCODE	testBiconnectedDecomposition (SCIP *scip)
static SCIP_RETCODE	testBiconnectedDecomposition2 (SCIP *scip)
static SCIP_RETCODE	testBiconnectedDecomposition3 (SCIP *scip)
SCIP_RETCODE	stptest_reduceBiconnected (SCIP *scip)

Function Documentation

testTerminalSeparatorsAreFound()

static SCIP_RETCODE testTerminalSeparatorsAreFound ( SCIP *  scip )

static

tests terminal separator method

Parameters

scip	SCIP data structure

Definition at line 39 of file stptest_reducesepa.c.

References graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), mincut_findTerminalSeparators(), mincut_termsepasFree(), mincut_termsepasGetFirst(), mincut_termsepasGetNall(), mincut_termsepasGetNext(), mincut_termsepasInit(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_reduceBiconnected().

testTerminalSeparatorsAreFound2()

static SCIP_RETCODE testTerminalSeparatorsAreFound2 ( SCIP *  scip )

static

tests terminal separator method

Parameters

scip	SCIP data structure

Definition at line 93 of file stptest_reducesepa.c.

References graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), mincut_findTerminalSeparators(), mincut_termsepasFree(), mincut_termsepasGetFirst(), mincut_termsepasGetNext(), mincut_termsepasInit(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_reduceBiconnected().

testTerminalSeparatorsAreFound3()

static SCIP_RETCODE testTerminalSeparatorsAreFound3 ( SCIP *  scip )

static

tests terminal separator method

Parameters

scip	SCIP data structure

Definition at line 162 of file stptest_reducesepa.c.

References graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), mincut_findTerminalSeparators(), mincut_termsepasFree(), mincut_termsepasGetNext(), mincut_termsepasInit(), nnodes, NULL, SCIP_CALL, SCIP_OKAY, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_reduceBiconnected().

testBiconnectedComponentsAreFound()

static SCIP_RETCODE testBiconnectedComponentsAreFound ( SCIP *  scip )

static

tests biconnected components method

Parameters

scip	SCIP data structure

Definition at line 224 of file stptest_reducesepa.c.

References GRAPH::grad, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), nnodes, reduce_articulations(), SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), and stptest_graphTearDown().

Referenced by stptest_reduceBiconnected().

testBiconnectedComponentsAreFound2()

static SCIP_RETCODE testBiconnectedComponentsAreFound2 ( SCIP *  scip )

static

tests biconnected components method

Parameters

scip	SCIP data structure

Definition at line 274 of file stptest_reducesepa.c.

References GRAPH::grad, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), Is_term, nnodes, reduce_articulations(), SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), and GRAPH::term.

Referenced by stptest_reduceBiconnected().

testBiconnectedComponentsAreFound3()

static SCIP_RETCODE testBiconnectedComponentsAreFound3 ( SCIP *  scip )

static

tests biconnected components method

Parameters

scip	SCIP data structure

Definition at line 331 of file stptest_reducesepa.c.

References GRAPH::grad, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), Is_term, nnodes, reduce_articulations(), SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_TERM, STP_TERM_NONE, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), and GRAPH::term.

Referenced by stptest_reduceBiconnected().

testBiconnectedDecomposition()

static SCIP_RETCODE testBiconnectedDecomposition ( SCIP *  scip )

static

tests biconnected components method

Parameters

scip	SCIP data structure

Definition at line 376 of file stptest_reducesepa.c.

References reduction_base::bidecompparams, bidecomposition_reduction_parameters::depth, reduction_parameters::dualascent, EQ, FALSE, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), nnodes, NULL, reduction_base::redparameters, reduction_base::redsol, reduce_baseFree(), reduce_baseInit(), reduce_bidecomposition(), reduce_solFinalizeLocal(), reduce_solFree(), reduce_solGetUpperBoundWithOffset(), reduce_solInit(), reduce_solInitLocal(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_SPG, STP_TERM, STP_TERM_NONE, GRAPH::stp_type, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), GRAPH::terms, and TRUE.

Referenced by stptest_reduceBiconnected().

testBiconnectedDecomposition2()

static SCIP_RETCODE testBiconnectedDecomposition2 ( SCIP *  scip )

static

tests biconnected decomposition method

Parameters

scip	SCIP data structure

Definition at line 447 of file stptest_reducesepa.c.

References reduction_base::bidecompparams, bidecomposition_reduction_parameters::depth, reduction_parameters::dualascent, EQ, FALSE, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), nnodes, NULL, reduction_base::redparameters, reduction_base::redsol, reduce_baseFree(), reduce_baseInit(), reduce_bidecomposition(), reduce_solFinalizeLocal(), reduce_solFree(), reduce_solGetUpperBoundWithOffset(), reduce_solInit(), reduce_solInitLocal(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_SPG, STP_TERM, STP_TERM_NONE, GRAPH::stp_type, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), GRAPH::terms, and TRUE.

Referenced by stptest_reduceBiconnected().

testBiconnectedDecomposition3()

static SCIP_RETCODE testBiconnectedDecomposition3 ( SCIP *  scip )

static

tests biconnected decomposition method

Parameters

scip	SCIP data structure

Definition at line 515 of file stptest_reducesepa.c.

References reduction_base::bidecompparams, bidecomposition_reduction_parameters::depth, reduction_parameters::dualascent, EQ, FALSE, graph_edge_addBi(), graph_init(), graph_knot_add(), graph_knot_chg(), nnodes, NULL, reduction_base::redparameters, reduction_base::redsol, reduce_baseFree(), reduce_baseInit(), reduce_bidecomposition(), reduce_solFinalizeLocal(), reduce_solFree(), reduce_solGetUpperBoundWithOffset(), reduce_solInit(), reduce_solInitLocal(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, GRAPH::source, STP_SPG, STP_TERM, STP_TERM_NONE, GRAPH::stp_type, STPTEST_ASSERT, stptest_graphSetUp(), stptest_graphTearDown(), GRAPH::terms, and TRUE.

Referenced by stptest_reduceBiconnected().

stptest_reduceBiconnected()

SCIP_RETCODE stptest_reduceBiconnected

(

SCIP *

scip

)

tests simple cut nodes methods

Parameters

scip	SCIP data structure

Definition at line 577 of file stptest_reducesepa.c.

References SCIP_CALL, SCIP_OKAY, testBiconnectedComponentsAreFound(), testBiconnectedComponentsAreFound2(), testBiconnectedComponentsAreFound3(), testBiconnectedDecomposition(), testBiconnectedDecomposition2(), testBiconnectedDecomposition3(), testTerminalSeparatorsAreFound(), testTerminalSeparatorsAreFound2(), and testTerminalSeparatorsAreFound3().

Referenced by stptest_testAll().