tdzdd::DdDumper< S > Class Template Reference

DD dumper. More...

#include <DdBuilder.hpp>

Public Member Functions
void	dump (std::ostream &os, std::string title)
	Dumps the node table in Graphviz (dot) format. More...

Detailed Description

template<typename S>
class tdzdd::DdDumper< S >

DD dumper.

A node table is printed in Graphviz (dot) format.

Definition at line 1248 of file DdBuilder.hpp.

Member Function Documentation

dump()

template<typename S>

void tdzdd::DdDumper< S >::dump ( std::ostream &  os, std::string  title  )

inline

Dumps the node table in Graphviz (dot) format.

Parameters

os	the output stream.
title	title label.

Definition at line 1333 of file DdBuilder.hpp.

Referenced by tdzdd::DdSpecBase< HamiltonCycleZdd, AR >::dumpDot().

---

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

• include/tdzdd/dd/DdBuilder.hpp