Tests for Planarity_Test.H. More...

#include <gtest/gtest.h>
#include <algorithm>
#include <cstdlib>
#include <cstdint>
#include <filesystem>
#include <functional>
#include <fstream>
#include <limits>
#include <optional>
#include <random>
#include <sstream>
#include <string>
#include <tuple>
#include <unordered_map>
#include <utility>
#include <vector>
#include <Planarity_Test.H>
#include <tpl_agraph.H>
#include <tpl_graph.H>

Include dependency graph for planarity_test.cc:

Functions
	TEST (PlanarityTest, EmptyGraphIsPlanar)

	TEST (PlanarityTest, TreeIsPlanar)

	TEST (PlanarityTest, K5IsNonPlanar)

	TEST (PlanarityTest, K33IsNonPlanar)

	TEST (PlanarityTest, K5CertificateIsExtractedWhenEnabled)

	TEST (PlanarityTest, K33CertificateIsExtractedWhenEnabled)

	TEST (PlanarityTest, CertificateObstructionEdgesMapToOriginalInputArcs)

	TEST (PlanarityTest, CertificatePathsExposeTraceableOriginalEdges)

	TEST (PlanarityTest, K5MinusEdgeIsPlanar)

	TEST (PlanarityTest, PlanarEmbeddingIsExtractedWhenEnabled)

	TEST (PlanarityTest, PlanarDualMetadataConnectedGraph)

	TEST (PlanarityTest, PlanarDualMetadataTreeHasSingleFaceAndLoops)

	TEST (PlanarityTest, PlanarDualMetadataDisconnectedUsesComponentLocalFaces)

	TEST (PlanarityTest, PlanarDualMetadataRequiresEmbedding)

	TEST (PlanarityTest, LinearLREmbeddingWorksOnSimplePlanarSample)

	TEST (PlanarityTest, K5MinusEdgeHasStrictLREmbeddingWithoutFallback)

	TEST (PlanarityTest, StrictLREmbeddingCanBeBudgetTruncated)

	TEST (PlanarityTest, EmbeddingCanBeTruncatedByCombinationBound)

	TEST (PlanarityTest, K33MinusEdgeIsPlanar)

	TEST (PlanarityTest, SubdivisionOfK33IsNonPlanar)

	TEST (PlanarityTest, CertificateCanBeTruncatedByEdgeBudget)

	TEST (PlanarityTest, CertificateDetectsK5InsideBiggerGraph)

	TEST (PlanarityTest, CertificateDetectsK33InsideBiggerGraph)

	TEST (PlanarityTest, CertificateBranchSearchCanBeTruncated)

	TEST (PlanarityTest, DisconnectedWithNonPlanarComponentIsNonPlanar)

	TEST (PlanarityTest, DisconnectedPlanarGraphIsNotRejectedByGlobalEulerBound)

	TEST (PlanarityTest, LoopsAndParallelArcsAreIgnoredInNormalization)

	TEST (PlanarityTest, DirectedInputUsesUnderlyingUndirectedGraph)

	TEST (PlanarityTest, ArrayGraphBackendWorks)

	TEST (PlanarityTest, FunctorApisMatchFreeFunctions)

	TEST (PlanarityTest, RandomSmallGraphsMatchBruteforceOracle)

	TEST (PlanarityTest, RandomSmallPlanarGraphsHaveStrictLREmbedding)

	TEST (PlanarityTest, PlanarGeometricDrawingRequiresEmbedding)

	TEST (PlanarityTest, PlanarGeometricDrawingConnectedIsCrossingFree)

	TEST (PlanarityTest, PlanarGeometricDrawingDensePlanarSampleWorksInStrictMode)

	TEST (PlanarityTest, PlanarGeometricDrawingDisconnectedComponentsAreSeparated)

	TEST (PlanarityTest, PlanarGeometricDrawingCanBeTruncatedByFaceBudget)

	TEST (PlanarityTest, NonPlanarCertificateExportsToJsonAndDot)

	TEST (PlanarityTest, NonPlanarCertificateExportSupportsCustomLabelsAndOptions)

	TEST (PlanarityTest, NonPlanarCertificateExportsToGraphmlAndGexf)

	TEST (PlanarityTest, NonPlanarCertificateExportExchangeFormatsCanDisablePathOverlay)

	TEST (PlanarityTest, NonPlanarCertificateValidationAcceptsGeneratedCertificate)

	TEST (PlanarityTest, NonPlanarCertificateValidationDetectsTamperedPathEdge)

	TEST (PlanarityTest, ExternalCertificateValidatorAcceptsGraphmlAndGexf)

	TEST (PlanarityTest, ExternalCertificateValidatorRejectsMissingObstruction)

	TEST (PlanarityTest, ExternalCertificateValidatorGephiModeIsPortable)

	TEST (PlanarityTest, ExternalCertificateValidatorGephiCustomTemplateWorks)

	TEST (PlanarityTest, ExternalCertificateValidatorGephiTemplateSupportsInputPathWithSpaces)

	TEST (PlanarityTest, ExternalCertificateValidatorCanListGephiTemplates)

	TEST (PlanarityTest, ExternalCertificateValidatorCanFilterGephiTemplatesByOs)

	TEST (PlanarityTest, ExternalCertificateValidatorCanListGephiRenderProfiles)

	TEST (PlanarityTest, ExternalCertificateValidatorCanFilterRenderProfilesByOs)

	TEST (PlanarityTest, ExternalCertificateValidatorGephiCatalogTemplateWorks)

	TEST (PlanarityTest, ExternalCertificateValidatorRenderSvgProfileProducesArtifact)

	TEST (PlanarityTest, ExternalCertificateValidatorRenderPdfProfileProducesArtifact)

	TEST (PlanarityTest, ExternalCertificateValidatorRenderSupportsInputPathWithSpaces)

	TEST (PlanarityTest, ExternalCertificateValidatorRenderFailsOnUnknownProfile)

	TEST (PlanarityTest, ExternalCertificateBatchRunnerProducesReport)

	TEST (PlanarityTest, ExternalCertificateBatchRunnerSupportsRenderProfiles)

	TEST (PlanarityTest, ExternalCertificateVisualDiffRunnerPassesWithGoldenManifest)

	TEST (PlanarityTest, ExternalCertificateVisualDiffRunnerDetectsGoldenMismatch)

	TEST (PlanarityTest, ExternalCertificateVisualDiffRunnerCanUpdateGoldenManifest)

	TEST (PlanarityTest, ExternalGephiNightlyComparisonReportHasNoRegressions)

	TEST (PlanarityTest, ExternalGephiNightlyComparisonDetectsRegressionAndCanFail)

	TEST (PlanarityTest, ExternalGephiRegressionNotifierNoRegressionProducesSummary)

	TEST (PlanarityTest, ExternalGephiRegressionNotifierRegressionAndRequiredWebhookFailsWithoutWebhook)

	TEST (PlanarityTest, ExternalCertificateBatchRunnerFailsOnInvalidInput)

	TEST (PlanarityTest, ExternalCertificateFixtureGraphmlIsValid)

	TEST (PlanarityTest, NonPlanarCertificateExportRequiresCertificate)

Detailed Description

Tests for Planarity_Test.H.

Definition in file planarity_test.cc.

Function Documentation

◆ TEST() [1/69]

TEST	(	PlanarityTest	,
		ArrayGraphBackendWorks
	)

Definition at line 1192 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::is_planar_graph().

◆ TEST() [2/69]

TEST	(	PlanarityTest	,
		CertificateBranchSearchCanBeTruncated
	)

Definition at line 1112 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [3/69]

TEST	(	PlanarityTest	,
		CertificateCanBeTruncatedByEdgeBudget
	)

Definition at line 1052 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [4/69]

TEST	(	PlanarityTest	,
		CertificateDetectsK33InsideBiggerGraph
	)

Definition at line 1090 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [5/69]

TEST	(	PlanarityTest	,
		CertificateDetectsK5InsideBiggerGraph
	)

Definition at line 1068 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [6/69]

TEST	(	PlanarityTest	,
		CertificateObstructionEdgesMapToOriginalInputArcs
	)

Definition at line 726 of file planarity_test.cc.

References Aleph::and, Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), r, and w.

◆ TEST() [7/69]

TEST	(	PlanarityTest	,
		CertificatePathsExposeTraceableOriginalEdges
	)

Definition at line 765 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [8/69]

TEST	(	PlanarityTest	,
		DirectedInputUsesUnderlyingUndirectedGraph
	)

Definition at line 1177 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [9/69]

TEST	(	PlanarityTest	,
		DisconnectedPlanarGraphIsNotRejectedByGlobalEulerBound
	)

Definition at line 1142 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [10/69]

TEST	(	PlanarityTest	,
		DisconnectedWithNonPlanarComponentIsNonPlanar
	)

Definition at line 1130 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [11/69]

TEST	(	PlanarityTest	,
		EmbeddingCanBeTruncatedByCombinationBound
	)

Definition at line 1003 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [12/69]

TEST	(	PlanarityTest	,
		EmptyGraphIsPlanar
	)

Definition at line 651 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [13/69]

TEST	(	PlanarityTest	,
		ExternalCertificateBatchRunnerFailsOnInvalidInput
	)

Definition at line 2329 of file planarity_test.cc.

◆ TEST() [14/69]

TEST	(	PlanarityTest	,
		ExternalCertificateBatchRunnerProducesReport
	)

Definition at line 2006 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_gexf(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [15/69]

TEST	(	PlanarityTest	,
		ExternalCertificateBatchRunnerSupportsRenderProfiles
	)

Definition at line 2036 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [16/69]

TEST	(	PlanarityTest	,
		ExternalCertificateFixtureGraphmlIsValid
	)

Definition at line 2355 of file planarity_test.cc.

◆ TEST() [17/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorAcceptsGraphmlAndGexf
	)

Definition at line 1570 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_gexf(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [18/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorCanFilterGephiTemplatesByOs
	)

Definition at line 1775 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp().

◆ TEST() [19/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorCanFilterRenderProfilesByOs
	)

Definition at line 1818 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp().

◆ TEST() [20/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorCanListGephiRenderProfiles
	)

Definition at line 1795 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp().

◆ TEST() [21/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorCanListGephiTemplates
	)

Definition at line 1753 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp().

◆ TEST() [22/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorGephiCatalogTemplateWorks
	)

Definition at line 1838 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [23/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorGephiCustomTemplateWorks
	)

Definition at line 1693 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [24/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorGephiModeIsPortable
	)

Definition at line 1658 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [25/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorGephiTemplateSupportsInputPathWithSpaces
	)

Definition at line 1721 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [26/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorRejectsMissingObstruction
	)

Definition at line 1597 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp().

◆ TEST() [27/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorRenderFailsOnUnknownProfile
	)

Definition at line 1980 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [28/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorRenderPdfProfileProducesArtifact
	)

Definition at line 1906 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [29/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorRenderSupportsInputPathWithSpaces
	)

Definition at line 1942 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [30/69]

TEST	(	PlanarityTest	,
		ExternalCertificateValidatorRenderSvgProfileProducesArtifact
	)

Definition at line 1864 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [31/69]

TEST	(	PlanarityTest	,
		ExternalCertificateVisualDiffRunnerCanUpdateGoldenManifest
	)

Definition at line 2129 of file planarity_test.cc.

◆ TEST() [32/69]

TEST	(	PlanarityTest	,
		ExternalCertificateVisualDiffRunnerDetectsGoldenMismatch
	)

Definition at line 2096 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [33/69]

TEST	(	PlanarityTest	,
		ExternalCertificateVisualDiffRunnerPassesWithGoldenManifest
	)

Definition at line 2065 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [34/69]

TEST	(	PlanarityTest	,
		ExternalGephiNightlyComparisonDetectsRegressionAndCanFail
	)

Definition at line 2230 of file planarity_test.cc.

◆ TEST() [35/69]

TEST	(	PlanarityTest	,
		ExternalGephiNightlyComparisonReportHasNoRegressions
	)

Definition at line 2173 of file planarity_test.cc.

◆ TEST() [36/69]

TEST	(	PlanarityTest	,
		ExternalGephiRegressionNotifierNoRegressionProducesSummary
	)

Definition at line 2286 of file planarity_test.cc.

◆ TEST() [37/69]

TEST	(	PlanarityTest	,
		ExternalGephiRegressionNotifierRegressionAndRequiredWebhookFailsWithoutWebhook
	)

Definition at line 2304 of file planarity_test.cc.

◆ TEST() [38/69]

TEST	(	PlanarityTest	,
		FunctorApisMatchFreeFunctions
	)

Definition at line 1204 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::is_planar_graph(), and Aleph::planarity_test().

◆ TEST() [39/69]

TEST	(	PlanarityTest	,
		K33CertificateIsExtractedWhenEnabled
	)

Definition at line 709 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [40/69]

TEST	(	PlanarityTest	,
		K33IsNonPlanar
	)

Definition at line 683 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [41/69]

TEST	(	PlanarityTest	,
		K33MinusEdgeIsPlanar
	)

Definition at line 1022 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [42/69]

TEST	(	PlanarityTest	,
		K5CertificateIsExtractedWhenEnabled
	)

Definition at line 692 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [43/69]

TEST	(	PlanarityTest	,
		K5IsNonPlanar
	)

Definition at line 673 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [44/69]

TEST	(	PlanarityTest	,
		K5MinusEdgeHasStrictLREmbeddingWithoutFallback
	)

Definition at line 958 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::Planarity_Test_Options::embedding_allow_bruteforce_fallback, and Aleph::planarity_test().

◆ TEST() [45/69]

TEST	(	PlanarityTest	,
		K5MinusEdgeIsPlanar
	)

Definition at line 812 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [46/69]

TEST	(	PlanarityTest	,
		LinearLREmbeddingWorksOnSimplePlanarSample
	)

Definition at line 940 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [47/69]

TEST	(	PlanarityTest	,
		LoopsAndParallelArcsAreIgnoredInNormalization
	)

Definition at line 1157 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [48/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateExportExchangeFormatsCanDisablePathOverlay
	)

Definition at line 1507 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::NonPlanar_Certificate_Export_Options::graphml_include_paths, Aleph::nonplanar_certificate_to_gexf(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [49/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateExportRequiresCertificate
	)

Definition at line 2377 of file planarity_test.cc.

◆ TEST() [50/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateExportsToGraphmlAndGexf
	)

Definition at line 1484 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_gexf(), Aleph::nonplanar_certificate_to_graphml(), Aleph::planarity_test(), and r.

◆ TEST() [51/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateExportsToJsonAndDot
	)

Definition at line 1432 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_dot(), Aleph::nonplanar_certificate_to_json(), Aleph::planarity_test(), and r.

◆ TEST() [52/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateExportSupportsCustomLabelsAndOptions
	)

Definition at line 1453 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_to_dot(), Aleph::nonplanar_certificate_to_json(), Aleph::planarity_test(), Aleph::NonPlanar_Certificate_Export_Options::pretty_json, and r.

◆ TEST() [53/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateValidationAcceptsGeneratedCertificate
	)

Definition at line 1529 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), r, Aleph::validate_nonplanar_certificate(), and vr.

◆ TEST() [54/69]

TEST	(	PlanarityTest	,
		NonPlanarCertificateValidationDetectsTamperedPathEdge
	)

Definition at line 1548 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_nonplanar_certificate, Aleph::divide_and_conquer_partition_dp(), Aleph::nonplanar_certificate_is_valid(), Aleph::planarity_test(), r, Aleph::validate_nonplanar_certificate(), and vr.

◆ TEST() [55/69]

TEST	(	PlanarityTest	,
		PlanarDualMetadataConnectedGraph
	)

Definition at line 846 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planar_dual_metadata(), Aleph::planarity_test(), and r.

◆ TEST() [56/69]

TEST	(	PlanarityTest	,
		PlanarDualMetadataDisconnectedUsesComponentLocalFaces
	)

Definition at line 904 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planar_dual_metadata(), Aleph::planarity_test(), and r.

◆ TEST() [57/69]

TEST	(	PlanarityTest	,
		PlanarDualMetadataRequiresEmbedding
	)

Definition at line 926 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planar_dual_metadata(), Aleph::planarity_test(), and r.

◆ TEST() [58/69]

TEST	(	PlanarityTest	,
		PlanarDualMetadataTreeHasSingleFaceAndLoops
	)

Definition at line 871 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planar_dual_metadata(), Aleph::planarity_test(), and r.

◆ TEST() [59/69]

TEST	(	PlanarityTest	,
		PlanarEmbeddingIsExtractedWhenEnabled
	)

Definition at line 824 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [60/69]

TEST	(	PlanarityTest	,
		PlanarGeometricDrawingCanBeTruncatedByFaceBudget
	)

Definition at line 1410 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::Planar_Geometric_Drawing_Options::max_outer_faces_to_try, Aleph::planar_geometric_drawing(), Aleph::planarity_test(), and r.

◆ TEST() [61/69]

TEST	(	PlanarityTest	,
		PlanarGeometricDrawingConnectedIsCrossingFree
	)

Definition at line 1312 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planar_geometric_drawing(), Aleph::planarity_test(), and r.

◆ TEST() [62/69]

TEST	(	PlanarityTest	,
		PlanarGeometricDrawingDensePlanarSampleWorksInStrictMode
	)

Definition at line 1344 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planar_geometric_drawing(), Aleph::planarity_test(), and r.

◆ TEST() [63/69]

TEST	(	PlanarityTest	,
		PlanarGeometricDrawingDisconnectedComponentsAreSeparated
	)

Definition at line 1366 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planar_geometric_drawing(), Aleph::planarity_test(), and r.

◆ TEST() [64/69]

TEST	(	PlanarityTest	,
		PlanarGeometricDrawingRequiresEmbedding
	)

Definition at line 1299 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planar_geometric_drawing(), Aleph::planarity_test(), and r.

◆ TEST() [65/69]

TEST	(	PlanarityTest	,
		RandomSmallGraphsMatchBruteforceOracle
	)

Definition at line 1218 of file planarity_test.cc.

References Aleph::and, Aleph::divide_and_conquer_partition_dp(), Aleph::is_planar_graph(), and rng.

◆ TEST() [66/69]

TEST	(	PlanarityTest	,
		RandomSmallPlanarGraphsHaveStrictLREmbedding
	)

Definition at line 1249 of file planarity_test.cc.

References Aleph::and, Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::Planarity_Test_Options::embedding_allow_bruteforce_fallback, Aleph::planarity_test(), and rng.

◆ TEST() [67/69]

TEST	(	PlanarityTest	,
		StrictLREmbeddingCanBeBudgetTruncated
	)

Definition at line 984 of file planarity_test.cc.

References Aleph::Planarity_Test_Options::compute_embedding, Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [68/69]

TEST	(	PlanarityTest	,
		SubdivisionOfK33IsNonPlanar
	)

Definition at line 1034 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::planarity_test(), and r.

◆ TEST() [69/69]

TEST	(	PlanarityTest	,
		TreeIsPlanar
	)

Definition at line 662 of file planarity_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::is_planar_graph().

Functions

Detailed Description

Function Documentation

◆ TEST() [1/69]

◆ TEST() [2/69]

◆ TEST() [3/69]

◆ TEST() [4/69]

◆ TEST() [5/69]

◆ TEST() [6/69]

◆ TEST() [7/69]

◆ TEST() [8/69]

◆ TEST() [9/69]

◆ TEST() [10/69]

◆ TEST() [11/69]

◆ TEST() [12/69]

◆ TEST() [13/69]

◆ TEST() [14/69]

◆ TEST() [15/69]

◆ TEST() [16/69]

◆ TEST() [17/69]

◆ TEST() [18/69]

◆ TEST() [19/69]

◆ TEST() [20/69]

◆ TEST() [21/69]

◆ TEST() [22/69]

◆ TEST() [23/69]

◆ TEST() [24/69]

◆ TEST() [25/69]

◆ TEST() [26/69]

◆ TEST() [27/69]

◆ TEST() [28/69]

◆ TEST() [29/69]

◆ TEST() [30/69]

◆ TEST() [31/69]

◆ TEST() [32/69]

◆ TEST() [33/69]

◆ TEST() [34/69]

◆ TEST() [35/69]

◆ TEST() [36/69]

◆ TEST() [37/69]

◆ TEST() [38/69]

◆ TEST() [39/69]

◆ TEST() [40/69]

◆ TEST() [41/69]

◆ TEST() [42/69]

◆ TEST() [43/69]

◆ TEST() [44/69]

◆ TEST() [45/69]

◆ TEST() [46/69]

◆ TEST() [47/69]

◆ TEST() [48/69]

◆ TEST() [49/69]

◆ TEST() [50/69]

◆ TEST() [51/69]

◆ TEST() [52/69]

◆ TEST() [53/69]

◆ TEST() [54/69]

◆ TEST() [55/69]

◆ TEST() [56/69]

◆ TEST() [57/69]

◆ TEST() [58/69]

◆ TEST() [59/69]

◆ TEST() [60/69]

◆ TEST() [61/69]

◆ TEST() [62/69]

◆ TEST() [63/69]

◆ TEST() [64/69]

◆ TEST() [65/69]

◆ TEST() [66/69]

◆ TEST() [67/69]

◆ TEST() [68/69]

◆ TEST() [69/69]