Aleph::Dft_Certificate_Node_Label< GT > Struct Template Reference

Default node labeler for certificate export. More...

#include <Planarity_Test.H>

Public Member Functions
std::string	operator() (typename GT::Node *node) const

Detailed Description

template<class GT>
struct Aleph::Dft_Certificate_Node_Label< GT >

Default node labeler for certificate export.

Uses pointer identity, so it is always available regardless of node info type.

Definition at line 434 of file Planarity_Test.H.

Member Function Documentation

operator()()

template<class GT >

std::string Aleph::Dft_Certificate_Node_Label< GT >::operator() ( typename GT::Node *  node ) const

inline

Definition at line 436 of file Planarity_Test.H.

References out.

---

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

• Planarity_Test.H