Crate oxidd_dump 

Im- and export of decision diagrams

Feature flags

• dddmp (enabled by default) — DDDMP format originally from CUDD
• dot (enabled by default) — Visualization using Graphviz DOT
• visualize (enabled by default) — Visualization using OxiDD-vis

Modules

dddmp

Im- and export to the DDDMP format used by CUDD

dot

Visual representation using dot

Structs

VisualizationListener

A non-blocking TcpListener for decision diagram visualization

Visualizer

OxiDD-vis-compatible decision diagram exporter that serves decision diagram dumps on localhost via HTTP

Traits

AsciiDisplay

Like std::fmt::Display, but the format should use ASCII characters only

ParseTagged

Parse a value from a string, along with a tag