Aleph::Planarity_Test_Result< GT >::Edge_Witness Struct Reference

Description of an edge participating in a witness. More...

#include <Planarity_Test.H>

Collaboration diagram for Aleph::Planarity_Test_Result< GT >::Edge_Witness:

Public Attributes
Node *	src = nullptr
	Source node in primal graph.
Node *	tgt = nullptr
	Target node in primal graph.
Arc *	representative_input_arc = nullptr
	One arc from primal matching this edge.
Array< Arc * >	input_arcs
	All primal arcs matching this edge.

Detailed Description

template<AlephGraph GT>
struct Aleph::Planarity_Test_Result< GT >::Edge_Witness

Description of an edge participating in a witness.

Definition at line 226 of file Planarity_Test.H.

Member Data Documentation

input_arcs

template<AlephGraph GT>

Array<Arc *> Aleph::Planarity_Test_Result< GT >::Edge_Witness::input_arcs

All primal arcs matching this edge.

Definition at line 231 of file Planarity_Test.H.

representative_input_arc

template<AlephGraph GT>

Arc* Aleph::Planarity_Test_Result< GT >::Edge_Witness::representative_input_arc = nullptr

One arc from primal matching this edge.

Definition at line 230 of file Planarity_Test.H.

src

template<AlephGraph GT>

Node* Aleph::Planarity_Test_Result< GT >::Edge_Witness::src = nullptr

Source node in primal graph.

Definition at line 228 of file Planarity_Test.H.

Referenced by Aleph::planarity_detail::LR_Planarity_Checker< GT, SA >::make_edge_witness().

tgt

template<AlephGraph GT>

Node* Aleph::Planarity_Test_Result< GT >::Edge_Witness::tgt = nullptr

Target node in primal graph.

Definition at line 229 of file Planarity_Test.H.

---

The documentation for this struct was generated from the following file:

• Planarity_Test.H