Detailed Description

includes various testing methods for Steiner tree problems

Author: Daniel Rehfeldt

Definition in file stptest.h.

#include <stdlib.h>
#include "graph.h"
#include "reduce.h"
#include "scip/scip.h"

Macros
#define	STPTEST_ASSERT_MSG_ARGS(cond, msg, ...)

#define	STPTEST_ASSERT_MSG(cond, msg)

#define	STPTEST_ASSERT(cond)

Functions
SCIP_RETCODE	stptest_testAll (SCIP *)

SCIP_RETCODE	stptest_csrdepo (SCIP *)

void	stptest_graphTearDown (SCIP , GRAPH )

SCIP_RETCODE	stptest_graphSetUp (SCIP , GRAPH )

SCIP_RETCODE	stptest_graphSetUpPcOrg (SCIP , GRAPH , int , int )

SCIP_RETCODE	stptest_graphSetUpRpcOrg (SCIP , GRAPH , int , int )

SCIP_RETCODE	stptest_graphSetUpPcExtended (SCIP , GRAPH , int , int )

SCIP_RETCODE	stptest_graphSetUpRpcExtended (SCIP , GRAPH , int , int )

SCIP_RETCODE	stptest_graphSetUpRmwOrg (SCIP , GRAPH , int , int )

SCIP_RETCODE	stptest_graphSetUpRmwExtended (SCIP , GRAPH , int , int )

SCIP_RETCODE	stptest_tpaths (SCIP *)

SCIP_RETCODE	stptest_extreduce (SCIP *)

void	stptest_extreduceTearDown (SCIP , GRAPH , REDCOST **)

SCIP_RETCODE	stptest_extmldists (SCIP *)

SCIP_RETCODE	stptest_dcmst (SCIP *)

SCIP_RETCODE	stptest_reduceStar (SCIP *)

SCIP_RETCODE	stptest_reduceBLCtree (SCIP *)

SCIP_RETCODE	stptest_reduceSdBiased (SCIP *)

SCIP_RETCODE	stptest_reduceBdk (SCIP *)

SCIP_RETCODE	stptest_reduceSdStarBias (SCIP *)

SCIP_RETCODE	stptest_reduceSdGetter (SCIP *)

SCIP_RETCODE	stptest_reduceSdBiasedBottleneck (SCIP *)

SCIP_RETCODE	stptest_reduceNsvImplied (SCIP *)

SCIP_RETCODE	stptest_reduceSdCliqueStar (SCIP *)

SCIP_RETCODE	stptest_pcreduce (SCIP *)

SCIP_RETCODE	stptest_reduceBiconnected (SCIP *)

SCIP_RETCODE	stptest_dapaths (SCIP *)

SCIP_RETCODE	stptest_pseudoAncestors (SCIP *)

SCIP_RETCODE	stptest_pseudoDel (SCIP *)

SCIP_RETCODE	stptest_dheap (SCIP *)

SCIP_RETCODE	stptest_completegraph (SCIP *)

SCIP_RETCODE	stptest_testHeurLocal (SCIP *)

SCIP_RETCODE	stptest_testSolPrune (SCIP *)

SCIP_RETCODE	stptest_testHeurTm (SCIP *)

Macro Definition Documentation

◆ STPTEST_ASSERT_MSG_ARGS

#define STPTEST_ASSERT_MSG_ARGS	(	cond,
		msg,
		...
	)

Value:

do                                            \
   {                                             \
      if( !(cond) )                              \
      {                                          \
         printf("[%s:%d] unit test failed: ", __FILE__, __LINE__); \
         printf((msg), __VA_ARGS__);             \
         abort();                                \
      }                                          \
   } while(0)

Definition at line 39 of file stptest.h.

Referenced by testPrunedSolIsImprovedPc1(), testPrunedSolIsImprovedPc2(), testTmGivesExpectedTreePcFull1(), testTmGivesExpectedTreePcFull2(), and testTmGivesExpectedTreePcFull3().

◆ STPTEST_ASSERT_MSG

#define STPTEST_ASSERT_MSG	(	cond,
		msg
	)

Value:

do                                  \
   {                                   \
      if( !(cond) )                    \
      {                                \
         printf("[%s:%d] unit test failed: ", __FILE__, __LINE__); \
         printf((msg));                \
         abort();                      \
      }                                \
   } while(0)

Definition at line 51 of file stptest.h.

Referenced by testEdgeDeletedBy3LeafSpg(), testEdgeDeletedByCommonRedCostsTargets(), testEdgeDeletedByEqBottleneck(), testEdgeDeletedByEqBottleneck2(), testEdgeDeletedByMst1(), testEdgeDeletedByMst2(), testEdgeDeletedByMultiRedCosts(), testEdgeDeletion1_deprecated(), testEdgeDeletion2_deprecated(), testEdgeNotDeleted1(), testGeneralStarDeletedEdge1(), testGeneralStarDeletedEdge2(), testGeneralStarDeletedEdge3(), testMldistsBuilding(), testNode3PseudoDeletedByContraction(), testNode3PseudoDeletedByRedCosts1(), testNode3PseudoDeletedBySd1(), testNode3PseudoDeletedBySd2(), testNode3PseudoDeletedBySd3(), testNode3PseudoDeletedBySdBiased(), testNode3PseudoDeletedBySdBiasedSimple(), testNode4PseudoDeletedBySd1(), testNode4PseudoNotDeletedBySd1(), testPathReplaceDeletesEdge(), testPathReplaceDeletesEdge2(), testPcEdgeDeletedByMst1(), testPcEdgeNotDeleted(), testPcNode3PseudoDeletedBySd1(), and testPcNode4PseudoDeletedBySd1().

◆ STPTEST_ASSERT

#define STPTEST_ASSERT ( cond )

Value:

do                                  \
   {                                   \
      if( !(cond) )                    \
      {                                \
         printf("[%s:%d] unit test failed: ", __FILE__, __LINE__); \
         printf("\n");                 \
         abort();                      \
      }                                \
   } while(0)

Definition at line 63 of file stptest.h.

Referenced by pseudoAncestorsCreation(), pseudoAncestorsHash(), pseudoAncestorsMerge(), runTmPcFull(), testBdkSdMstDeletesNodeDeg3(), testBdkSdMstDeletesNodeDeg4(), testBdkSdMstStarDeletesNodeDeg4(), testBdkTreeDistDeletesNodeDeg4(), testBiasedTerminalPathsTo4NextFound(), testBiconnectedComponentsAreFound(), testBiconnectedComponentsAreFound2(), testBiconnectedComponentsAreFound3(), testBiconnectedDecomposition(), testBiconnectedDecomposition2(), testBiconnectedDecomposition3(), testBLCworksFor3Star(), testBLCworksFor3StarAfterReduction(), testBLCworksFor5Tree(), testDaPathsPcMw3EdgesWorks(), testDistCloseNodesAreValid(), testDistCloseNodesPcAreValid1(), testDistCloseNodesPcAreValid2(), testDistCloseNodesPcAreValidAfterDeletion(), testDistDistancesAreValid(), testDistRootPathsAreValid(), testNsvImpliedContractsCutDistEdge(), testNsvImpliedContractsCutDistMiddleEdge(), testNsvImpliedContractsEdge(), testNsvImpliedContractsEdge2(), testNsvImpliedContractsImpliedToTermEdge(), testRmwAnsDeletesOneEdge(), testRmwAnsDeletesOneNode(), testRmwAnsDeletesTwoNodes(), testRmwChain2DeletesNode(), testRmwNpv3DeletesNode(), testRmwTerminalContraction(), testRmwTerminalDeg1Contraction1(), testRmwTerminalDeg1Contraction2(), testRmwTerminalDeg1Contraction3(), testSdBiasedBottleneckDeletesEdge(), testSdBiasedBottleneckTermPathDeletesEdge(), testSdBiasedDeletesEdge(), testSdCliqueStarDeg3AdjacencyIsCorrect(), testSdCliqueStarDeg3IsCorrect(), testSdCliqueStarDeg3IsCorrect2(), testSdCliqueStarDeg4IsCorrect(), testSdCliqueStarDeletesEdge(), testSdGetterReturnsCorrectSds(), testSdGraphDistsAreValid(), testSdGraphDistsAreValid2(), testSdGraphQueriesAreValid(), testSdGraphStrongBiasedDistsAreValid(), testSdPcKillsEdge1(), testSdPcKillsEdge2(), testSdPcKillsTwoEdges(), testSdRepair(), testSdStarBiasedDeletesEdge(), testSdStarBiasedDeletesEdge2(), testSdStarBiasedDeletesEdge3(), testSdStarPcKillsEdge(), testStar3IsCorrect(), testStar4EdgeIsCorrect(), testStar4IsCorrect(), testStar5IsCorrect(), testTerminalPathsRepair(), testTerminalPathsRepair2(), testTerminalPathsRepair3(), testTerminalPathsTo3NextFound(), testTerminalSeparatorsAreFound(), testTerminalSeparatorsAreFound2(), and testTerminalSeparatorsAreFound3().

Function Documentation

◆ stptest_testAll()

SCIP_RETCODE stptest_testAll ( SCIP * scip )

tests all

Parameters

scip	SCIP data structure

Definition at line 34 of file stptest_base.c.

References SCIP_CALL, SCIP_OKAY, stptest_completegraph(), stptest_csrdepo(), stptest_dapaths(), stptest_dcmst(), stptest_dheap(), stptest_extmldists(), stptest_extreduce(), stptest_pcreduce(), stptest_pseudoDel(), stptest_reduceBdk(), stptest_reduceBiconnected(), stptest_reduceBLCtree(), stptest_reduceNsvImplied(), stptest_reduceSdBiased(), stptest_reduceSdBiasedBottleneck(), stptest_reduceSdCliqueStar(), stptest_reduceSdGetter(), stptest_reduceSdStarBias(), stptest_reduceStar(), stptest_testHeurLocal(), stptest_testHeurTm(), stptest_testSolPrune(), and stptest_tpaths().

Referenced by presolveStp().

◆ stptest_csrdepo()

SCIP_RETCODE stptest_csrdepo ( SCIP * scip )

tests CSR depository

Parameters

scip	SCIP data structure

Definition at line 423 of file stptest_graph.c.

References csrdepoTest1(), csrdepoTest2(), SCIP_CALL, and SCIP_OKAY.

Referenced by stptest_testAll().

◆ stptest_graphTearDown()

void stptest_graphTearDown	(	SCIP *	scip,
		GRAPH *	graph
	)

frees, etc.

Parameters

scip	SCIP data structure
graph	the graph

Definition at line 274 of file stptest_graph.c.

References graph_free(), graph_path_exit(), NULL, and TRUE.

Referenced by stptest_extreduceTearDown(), testBdkSdMstDeletesNodeDeg3(), testBdkSdMstDeletesNodeDeg4(), testBdkSdMstStarDeletesNodeDeg4(), testBdkTreeDistDeletesNodeDeg4(), testBiasedTerminalPathsTo4NextFound(), testBiconnectedComponentsAreFound(), testBiconnectedComponentsAreFound2(), testBiconnectedComponentsAreFound3(), testBiconnectedDecomposition(), testBiconnectedDecomposition2(), testBiconnectedDecomposition3(), testBLCworksFor3Star(), testBLCworksFor3StarAfterReduction(), testBLCworksFor5Tree(), testDaPathsPcMw3EdgesWorks(), testNsvImpliedContractsCutDistEdge(), testNsvImpliedContractsCutDistMiddleEdge(), testNsvImpliedContractsEdge(), testNsvImpliedContractsEdge2(), testNsvImpliedContractsImpliedToTermEdge(), testPathReplaceDeletesEdge(), testPathReplaceDeletesEdge2(), testPrunedSolIsImprovedPc1(), testPrunedSolIsImprovedPc2(), testRmwAnsDeletesOneEdge(), testRmwAnsDeletesOneNode(), testRmwAnsDeletesTwoNodes(), testRmwChain2DeletesNode(), testRmwNpv3DeletesNode(), testRmwTerminalContraction(), testRmwTerminalDeg1Contraction1(), testRmwTerminalDeg1Contraction2(), testRmwTerminalDeg1Contraction3(), testSdBiasedBottleneckDeletesEdge(), testSdBiasedBottleneckTermPathDeletesEdge(), testSdBiasedDeletesEdge(), testSdCliqueStarDeg3AdjacencyIsCorrect(), testSdCliqueStarDeg3IsCorrect(), testSdCliqueStarDeg3IsCorrect2(), testSdCliqueStarDeg4IsCorrect(), testSdCliqueStarDeletesEdge(), testSdGetterReturnsCorrectSds(), testSdGraphDistsAreValid(), testSdGraphDistsAreValid2(), testSdGraphQueriesAreValid(), testSdGraphStrongBiasedDistsAreValid(), testSdRepair(), testSdStarBiasedDeletesEdge(), testSdStarBiasedDeletesEdge2(), testSdStarBiasedDeletesEdge3(), testSdStarPcKillsEdge(), testStar3IsCorrect(), testStar4EdgeIsCorrect(), testStar4IsCorrect(), testStar5IsCorrect(), testTerminalPathsRepair(), testTerminalPathsRepair2(), testTerminalPathsRepair3(), testTerminalPathsTo3NextFound(), testTerminalSeparatorsAreFound(), testTerminalSeparatorsAreFound2(), testTerminalSeparatorsAreFound3(), testTmGivesExpectedTreePcFull1(), testTmGivesExpectedTreePcFull2(), and testTmGivesExpectedTreePcFull3().

◆ stptest_graphSetUp()

SCIP_RETCODE stptest_graphSetUp	(	SCIP *	scip,
		GRAPH *	graph
	)

sets up graph

Parameters

scip	SCIP data structure
graph	the graph

Definition at line 286 of file stptest_graph.c.

References graph_initHistory(), graph_mark(), graph_path_init(), SCIP_CALL, and SCIP_OKAY.

Referenced by stptest_graphSetUpPcExtended(), stptest_graphSetUpRmwExtended(), stptest_graphSetUpRpcExtended(), testBdkSdMstDeletesNodeDeg3(), testBdkSdMstDeletesNodeDeg4(), testBdkSdMstStarDeletesNodeDeg4(), testBdkTreeDistDeletesNodeDeg4(), testBiasedTerminalPathsTo4NextFound(), testBiconnectedComponentsAreFound(), testBiconnectedComponentsAreFound2(), testBiconnectedComponentsAreFound3(), testBiconnectedDecomposition(), testBiconnectedDecomposition2(), testBiconnectedDecomposition3(), testBLCworksFor3Star(), testBLCworksFor3StarAfterReduction(), testBLCworksFor5Tree(), testEdgeDeletedBy3LeafSpg(), testEdgeDeletedByCommonRedCostsTargets(), testEdgeDeletedByEqBottleneck(), testEdgeDeletedByEqBottleneck2(), testEdgeDeletedByMst1(), testEdgeDeletedByMst2(), testEdgeDeletedByMultiRedCosts(), testEdgeDeletion5_deprecated(), testEdgeNotDeleted1(), testGeneralStarDeletedEdge1(), testGeneralStarDeletedEdge2(), testGeneralStarDeletedEdge3(), testNode3PseudoDeletedByContraction(), testNode3PseudoDeletedByRedCosts1(), testNode3PseudoDeletedBySd1(), testNode3PseudoDeletedBySd2(), testNode3PseudoDeletedBySd3(), testNode3PseudoDeletedBySdBiased(), testNode3PseudoDeletedBySdBiasedSimple(), testNode4PseudoDeletedBySd1(), testNode4PseudoNotDeletedBySd1(), testNsvImpliedContractsCutDistEdge(), testNsvImpliedContractsCutDistMiddleEdge(), testNsvImpliedContractsEdge(), testNsvImpliedContractsEdge2(), testNsvImpliedContractsImpliedToTermEdge(), testPathReplaceDeletesEdge(), testPathReplaceDeletesEdge2(), testSdBiasedBottleneckDeletesEdge(), testSdBiasedBottleneckTermPathDeletesEdge(), testSdBiasedDeletesEdge(), testSdCliqueStarDeg3AdjacencyIsCorrect(), testSdCliqueStarDeg3IsCorrect(), testSdCliqueStarDeg3IsCorrect2(), testSdCliqueStarDeg4IsCorrect(), testSdCliqueStarDeletesEdge(), testSdGetterReturnsCorrectSds(), testSdGraphDistsAreValid(), testSdGraphDistsAreValid2(), testSdGraphQueriesAreValid(), testSdGraphStrongBiasedDistsAreValid(), testSdRepair(), testSdStarBiasedDeletesEdge(), testSdStarBiasedDeletesEdge2(), testSdStarBiasedDeletesEdge3(), testStar3IsCorrect(), testStar4EdgeIsCorrect(), testStar4IsCorrect(), testStar5IsCorrect(), testTerminalPathsRepair(), testTerminalPathsRepair2(), testTerminalPathsRepair3(), testTerminalPathsTo3NextFound(), testTerminalSeparatorsAreFound(), testTerminalSeparatorsAreFound2(), and testTerminalSeparatorsAreFound3().

◆ stptest_graphSetUpPcOrg()

SCIP_RETCODE stptest_graphSetUpPcOrg	(	SCIP *	scip,
		GRAPH *	graph,
		int *	nnodes_new,
		int *	nedges_new
	)

sets up graph for (undirected) PC

Parameters

scip	SCIP data structure
graph	the graph
nnodes_new	to store new number of nodes (if != NULL)
nedges_new	to store new number of edge (if != NULL)

Definition at line 301 of file stptest_graph.c.

References graph_pc_2org(), SCIP_CALL, SCIP_OKAY, and stptest_graphSetUpPcExtended().

Referenced by testDistCloseNodesPcAreValid1(), testDistCloseNodesPcAreValid2(), testDistCloseNodesPcAreValidAfterDeletion(), and testSdStarPcKillsEdge().

◆ stptest_graphSetUpRpcOrg()

SCIP_RETCODE stptest_graphSetUpRpcOrg	(	SCIP *	scip,
		GRAPH *	graph,
		int *	nnodes_new,
		int *	nedges_new
	)

sets up graph for rooted PC

Parameters

scip	SCIP data structure
graph	the graph
nnodes_new	to store new number of nodes (if != NULL)
nedges_new	to store new number of edge (if != NULL)

Definition at line 317 of file stptest_graph.c.

References graph_pc_2org(), graph_pc_isRootedPcMw(), SCIP_CALL, SCIP_OKAY, and stptest_graphSetUpRpcExtended().

Referenced by testPcEdgeDeletedByMst1(), testPcEdgeNotDeleted(), testPcNode3PseudoDeletedBySd1(), testPcNode4PseudoDeletedBySd1(), and testSdBiasedBottleneckDeletesEdge().

◆ stptest_graphSetUpPcExtended()

SCIP_RETCODE stptest_graphSetUpPcExtended	(	SCIP *	scip,
		GRAPH *	graph,
		int *	nnodes_new,
		int *	nedges_new
	)

sets up graph for (undirected) PC

Parameters

scip	SCIP data structure
graph	the graph
nnodes_new	to store new number of nodes (if != NULL)
nedges_new	to store new number of edge (if != NULL)

Definition at line 375 of file stptest_graph.c.

References GRAPH::edges, graph_transPc(), GRAPH::knots, SCIP_CALL, SCIP_OKAY, STP_PCSPG, GRAPH::stp_type, and stptest_graphSetUp().

Referenced by stptest_graphSetUpPcOrg(), testDaPathsPcMw3EdgesWorks(), testPrunedSolIsImprovedPc1(), testPrunedSolIsImprovedPc2(), testTmGivesExpectedTreePcFull1(), testTmGivesExpectedTreePcFull2(), and testTmGivesExpectedTreePcFull3().

◆ stptest_graphSetUpRpcExtended()

SCIP_RETCODE stptest_graphSetUpRpcExtended	(	SCIP *	scip,
		GRAPH *	graph,
		int *	nnodes_new,
		int *	nedges_new
	)

sets up graph for RPC

Parameters

scip	SCIP data structure
graph	the graph
nnodes_new	to store new number of nodes (if != NULL)
nedges_new	to store new number of edge (if != NULL)

Definition at line 400 of file stptest_graph.c.

References GRAPH::edges, graph_transRpc(), GRAPH::knots, SCIP_CALL, SCIP_OKAY, STP_RPCSPG, GRAPH::stp_type, and stptest_graphSetUp().

Referenced by stptest_graphSetUpRpcOrg().

◆ stptest_graphSetUpRmwOrg()

SCIP_RETCODE stptest_graphSetUpRmwOrg	(	SCIP *	scip,
		GRAPH *	graph,
		int *	nnodes_new,
		int *	nedges_new
	)

sets up graph for RMW

Parameters

scip	SCIP data structure
graph	the graph
nnodes_new	to store new number of nodes (if != NULL)
nedges_new	to store new number of edge (if != NULL)

Definition at line 335 of file stptest_graph.c.

References graph_pc_2org(), SCIP_CALL, SCIP_OKAY, and stptest_graphSetUpRmwExtended().

Referenced by testRmwAnsDeletesOneEdge(), testRmwAnsDeletesOneNode(), testRmwAnsDeletesTwoNodes(), testRmwChain2DeletesNode(), testRmwNpv3DeletesNode(), testRmwTerminalContraction(), testRmwTerminalDeg1Contraction1(), testRmwTerminalDeg1Contraction2(), and testRmwTerminalDeg1Contraction3().

◆ stptest_graphSetUpRmwExtended()

SCIP_RETCODE stptest_graphSetUpRmwExtended	(	SCIP *	scip,
		GRAPH *	graph,
		int *	nnodes_new,
		int *	nedges_new
	)

sets up graph for RMW

Parameters

scip	SCIP data structure
graph	the graph
nnodes_new	to store new number of nodes (if != NULL)
nedges_new	to store new number of edge (if != NULL)

Definition at line 351 of file stptest_graph.c.

References GRAPH::edges, graph_transRmw(), GRAPH::knots, SCIP_CALL, SCIP_OKAY, STP_RMWCSP, GRAPH::stp_type, and stptest_graphSetUp().

Referenced by stptest_graphSetUpRmwOrg(), and testPrunedSolIsImprovedPc2().

◆ 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().

◆ stptest_extreduce()

SCIP_RETCODE stptest_extreduce ( SCIP * scip )

tests extended reduction techniques

Parameters

scip	SCIP data structure

Definition at line 2362 of file stptest_extreduce.c.

References SCIP_CALL, SCIP_OKAY, testEdgeDeletedBy3LeafSpg(), testEdgeDeletedByCommonRedCostsTargets(), testEdgeDeletedByEqBottleneck(), testEdgeDeletedByEqBottleneck2(), testEdgeDeletedByMst1(), testEdgeDeletedByMst2(), testEdgeDeletedByMultiRedCosts(), testEdgeDeletion1_deprecated(), testEdgeDeletion2_deprecated(), testEdgeDeletion3_deprecated(), testEdgeDeletion4_deprecated(), testEdgeDeletion5_deprecated(), testEdgeNotDeleted1(), testGeneralStarDeletedEdge1(), testGeneralStarDeletedEdge2(), testGeneralStarDeletedEdge3(), testNode3PseudoDeletedByContraction(), testNode3PseudoDeletedByRedCosts1(), testNode3PseudoDeletedBySd1(), testNode3PseudoDeletedBySd2(), testNode3PseudoDeletedBySd3(), testNode3PseudoDeletedBySdBiased(), testNode3PseudoDeletedBySdBiasedSimple(), testNode4PseudoDeletedBySd1(), testNode4PseudoNotDeletedBySd1(), testPathReplaceDeletesEdge(), testPathReplaceDeletesEdge2(), testPcEdgeDeletedByMst1(), testPcEdgeNotDeleted(), testPcNode3PseudoDeletedBySd1(), and testPcNode4PseudoDeletedBySd1().

Referenced by stptest_testAll().

◆ stptest_extreduceTearDown()

void stptest_extreduceTearDown	(	SCIP *	scip,
		GRAPH *	graph,
		REDCOST **	redcostdata
	)

frees, etc.

Parameters

scip	SCIP data structure
graph	the graph
redcostdata	reduced cost data

Definition at line 2346 of file stptest_extreduce.c.

References redcosts_free(), and stptest_graphTearDown().

Referenced by testDistCloseNodesPcAreValid1(), testDistCloseNodesPcAreValid2(), testDistCloseNodesPcAreValidAfterDeletion(), testEdgeDeletedBy3LeafSpg(), testEdgeDeletedByCommonRedCostsTargets(), testEdgeDeletedByEqBottleneck(), testEdgeDeletedByEqBottleneck2(), testEdgeDeletedByMst1(), testEdgeDeletedByMst2(), testEdgeDeletedByMultiRedCosts(), testEdgeDeletion1_deprecated(), testEdgeDeletion2_deprecated(), testEdgeDeletion3_deprecated(), testEdgeDeletion4_deprecated(), testEdgeDeletion5_deprecated(), testEdgeNotDeleted1(), testGeneralStarDeletedEdge1(), testGeneralStarDeletedEdge2(), testGeneralStarDeletedEdge3(), testNode3PseudoDeletedByContraction(), testNode3PseudoDeletedByRedCosts1(), testNode3PseudoDeletedBySd1(), testNode3PseudoDeletedBySd2(), testNode3PseudoDeletedBySd3(), testNode3PseudoDeletedBySdBiased(), testNode3PseudoDeletedBySdBiasedSimple(), testNode4PseudoDeletedBySd1(), testNode4PseudoNotDeletedBySd1(), testPcEdgeDeletedByMst1(), testPcEdgeNotDeleted(), testPcNode3PseudoDeletedBySd1(), and testPcNode4PseudoDeletedBySd1().

◆ stptest_extmldists()

SCIP_RETCODE stptest_extmldists ( SCIP * scip )

tests for utilits

Parameters

scip	SCIP data structure

Definition at line 564 of file stptest_extutils.c.

References SCIP_CALL, SCIP_OKAY, testDistCloseNodesAreValid(), testDistCloseNodesPcAreValid1(), testDistCloseNodesPcAreValid2(), testDistCloseNodesPcAreValidAfterDeletion(), testDistDistancesAreValid(), testDistRootPathsAreValid(), and testMldistsBuilding().

Referenced by stptest_testAll().

◆ stptest_dcmst()

SCIP_RETCODE stptest_dcmst ( SCIP * scip )

tests DCMST

Parameters

scip	SCIP data structure

Definition at line 925 of file stptest_reduceutils.c.

References dcmstTest1(), dcmstTest2(), dcmstTest2b(), dcmstTest3(), SCIP_CALL, and SCIP_OKAY.

Referenced by stptest_testAll().

◆ stptest_reduceStar()

SCIP_RETCODE stptest_reduceStar ( SCIP * scip )

tests STAR methods

Parameters

scip	SCIP data structure

Definition at line 941 of file stptest_reduceutils.c.

References SCIP_CALL, SCIP_OKAY, testStar3IsCorrect(), testStar4EdgeIsCorrect(), testStar4IsCorrect(), and testStar5IsCorrect().

Referenced by stptest_testAll().

◆ stptest_reduceBLCtree()

SCIP_RETCODE stptest_reduceBLCtree ( SCIP * scip )

tests bottleneck tree methods

Parameters

scip	SCIP data structure

Definition at line 957 of file stptest_reduceutils.c.

References SCIP_CALL, SCIP_OKAY, testBLCworksFor3Star(), testBLCworksFor3StarAfterReduction(), and testBLCworksFor5Tree().

Referenced by stptest_testAll().

◆ stptest_reduceSdBiased()

SCIP_RETCODE stptest_reduceSdBiased ( SCIP * scip )

tests biased SD methods

Parameters

scip	SCIP data structure

Definition at line 1594 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testSdBiasedDeletesEdge(), and testSdCliqueStarDeletesEdge().

Referenced by stptest_testAll().

◆ stptest_reduceBdk()

SCIP_RETCODE stptest_reduceBdk ( SCIP * scip )

tests Bdk methods

Parameters

scip	SCIP data structure

Definition at line 1573 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testBdkSdMstDeletesNodeDeg3(), testBdkSdMstDeletesNodeDeg4(), testBdkSdMstStarDeletesNodeDeg4(), and testBdkTreeDistDeletesNodeDeg4().

Referenced by stptest_testAll().

◆ stptest_reduceSdStarBias()

SCIP_RETCODE stptest_reduceSdStarBias ( SCIP * scip )

tests SD biased methods

Parameters

scip	SCIP data structure

Definition at line 1683 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testSdStarBiasedDeletesEdge(), testSdStarBiasedDeletesEdge2(), and testSdStarBiasedDeletesEdge3().

Referenced by stptest_testAll().

◆ stptest_reduceSdGetter()

SCIP_RETCODE stptest_reduceSdGetter ( SCIP * scip )

tests SD getter methods

Parameters

scip	SCIP data structure

Definition at line 1629 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testSdGetterReturnsCorrectSds(), testSdGraphDistsAreValid(), testSdGraphDistsAreValid2(), testSdGraphQueriesAreValid(), and testSdGraphStrongBiasedDistsAreValid().

Referenced by stptest_testAll().

◆ stptest_reduceSdBiasedBottleneck()

SCIP_RETCODE stptest_reduceSdBiasedBottleneck ( SCIP * scip )

tests implied profit based routine

Parameters

scip	SCIP data structure

Definition at line 1650 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testSdBiasedBottleneckDeletesEdge(), and testSdBiasedBottleneckTermPathDeletesEdge().

Referenced by stptest_testAll().

◆ stptest_reduceNsvImplied()

SCIP_RETCODE stptest_reduceNsvImplied ( SCIP * scip )

tests NSV

Parameters

scip	SCIP data structure

Definition at line 1663 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testNsvImpliedContractsCutDistEdge(), testNsvImpliedContractsCutDistMiddleEdge(), testNsvImpliedContractsEdge(), testNsvImpliedContractsEdge2(), and testNsvImpliedContractsImpliedToTermEdge().

Referenced by stptest_testAll().

◆ stptest_reduceSdCliqueStar()

SCIP_RETCODE stptest_reduceSdCliqueStar ( SCIP * scip )

tests SD clique star methods

Parameters

scip	SCIP data structure

Definition at line 1613 of file stptest_reducesd.c.

References SCIP_CALL, SCIP_OKAY, testSdCliqueStarDeg3AdjacencyIsCorrect(), testSdCliqueStarDeg3IsCorrect(), testSdCliqueStarDeg3IsCorrect2(), and testSdCliqueStarDeg4IsCorrect().

Referenced by stptest_testAll().

◆ stptest_pcreduce()

SCIP_RETCODE stptest_pcreduce ( SCIP * scip )

tests PCMW special distance methods

Parameters

scip	SCIP data structure

Definition at line 793 of file stptest_pcreduce.c.

References SCIP_CALL, SCIP_OKAY, testRmwAnsDeletesOneEdge(), testRmwAnsDeletesOneNode(), testRmwAnsDeletesTwoNodes(), testRmwChain2DeletesNode(), testRmwNpv3DeletesNode(), testRmwTerminalContraction(), testRmwTerminalDeg1Contraction1(), testRmwTerminalDeg1Contraction2(), testRmwTerminalDeg1Contraction3(), testSdPcKillsEdge1(), testSdPcKillsEdge2(), testSdPcKillsTwoEdges(), and testSdStarPcKillsEdge().

Referenced by stptest_testAll().

◆ 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().

◆ stptest_dapaths()

SCIP_RETCODE stptest_dapaths ( SCIP * scip )

tests DA paths methods

Parameters

scip	SCIP data structure

Definition at line 90 of file stptest_da.c.

References SCIP_CALL, SCIP_OKAY, and testDaPathsPcMw3EdgesWorks().

Referenced by stptest_testAll().

◆ stptest_pseudoAncestors()

SCIP_RETCODE stptest_pseudoAncestors ( SCIP * scip )

test pseudo ancestors

Parameters

scip	SCIP data structure

Definition at line 757 of file stptest_misc.c.

References pseudoAncestorsCreation(), pseudoAncestorsHash(), pseudoAncestorsHashPc(), pseudoAncestorsMerge(), pseudoAncestorsMergePc(), SCIP_CALL, and SCIP_OKAY.

◆ stptest_pseudoDel()

SCIP_RETCODE stptest_pseudoDel ( SCIP * scip )

test pseudo deletion

Parameters

scip	SCIP data structure

Definition at line 775 of file stptest_misc.c.

References pseudoDelDouble(), pseudoDelSingle(), SCIP_CALL, and SCIP_OKAY.

Referenced by stptest_testAll().

◆ stptest_dheap()

SCIP_RETCODE stptest_dheap ( SCIP * )

Definition at line 791 of file stptest_misc.c.

References graph_heap_clean(), graph_heap_correct(), graph_heap_create(), graph_heap_deleteMinGetNode(), graph_heap_free(), NULL, SCIP_OKAY, dijkstra_heap::size, and TRUE.

Referenced by stptest_testAll().

◆ stptest_completegraph()

SCIP_RETCODE stptest_completegraph ( SCIP * )

Definition at line 893 of file stptest_misc.c.

References completegraph(), completemst1(), completemst2(), completemst3(), completemst4(), completemst5(), SCIP_CALL, and SCIP_OKAY.

Referenced by stptest_testAll().

◆ stptest_testHeurLocal()

SCIP_RETCODE stptest_testHeurLocal ( SCIP * scip )

test local search heuristics

Parameters

scip	SCIP data structure

Definition at line 1108 of file stptest_heurlocal.c.

References localExtendPc(), localInsertion(), localInsertion2(), localInsertion2pc(), localKeyPathExchange(), localKeyPathExchangeMw(), localKeyPathExchangePc(), localKeyPathExchangePc2(), localKeyVertex(), localKeyVertexPc(), localKeyVertexPc2(), SCIP_CALL, and SCIP_OKAY.

Referenced by stptest_testAll().

◆ stptest_testSolPrune()

SCIP_RETCODE stptest_testSolPrune ( SCIP * scip )

test pruning of solution

Parameters

scip	SCIP data structure

Definition at line 423 of file stptest_heurtm.c.

References SCIP_CALL, SCIP_OKAY, testPrunedSolIsImprovedPc1(), and testPrunedSolIsImprovedPc2().

Referenced by stptest_testAll().

◆ stptest_testHeurTm()

SCIP_RETCODE stptest_testHeurTm ( SCIP * scip )

tests TM heuristic

Parameters

scip	SCIP data structure

Definition at line 437 of file stptest_heurtm.c.

References SCIP_CALL, SCIP_OKAY, testTmGivesExpectedTreePcFull1(), testTmGivesExpectedTreePcFull2(), and testTmGivesExpectedTreePcFull3().

Referenced by stptest_testAll().

SCIP

Detailed Description

Macros

Functions

Macro Definition Documentation

◆ STPTEST_ASSERT_MSG_ARGS

◆ STPTEST_ASSERT_MSG

◆ STPTEST_ASSERT

Function Documentation

◆ stptest_testAll()

◆ stptest_csrdepo()

◆ stptest_graphTearDown()

◆ stptest_graphSetUp()

◆ stptest_graphSetUpPcOrg()

◆ stptest_graphSetUpRpcOrg()

◆ stptest_graphSetUpPcExtended()

◆ stptest_graphSetUpRpcExtended()

◆ stptest_graphSetUpRmwOrg()

◆ stptest_graphSetUpRmwExtended()

◆ stptest_tpaths()

◆ stptest_extreduce()

◆ stptest_extreduceTearDown()

◆ stptest_extmldists()

◆ stptest_dcmst()

◆ stptest_reduceStar()

◆ stptest_reduceBLCtree()

◆ stptest_reduceSdBiased()

◆ stptest_reduceBdk()

◆ stptest_reduceSdStarBias()

◆ stptest_reduceSdGetter()

◆ stptest_reduceSdBiasedBottleneck()

◆ stptest_reduceNsvImplied()

◆ stptest_reduceSdCliqueStar()

◆ stptest_pcreduce()

◆ stptest_reduceBiconnected()

◆ stptest_dapaths()

◆ stptest_pseudoAncestors()

◆ stptest_pseudoDel()

◆ stptest_dheap()

◆ stptest_completegraph()

◆ stptest_testHeurLocal()

◆ stptest_testSolPrune()

◆ stptest_testHeurTm()