DotCircuit method implementations and GraphViz rendering. More...

#include "DotCircuit.h"
#include <type_traits>
#include "provsql_utils.h"
#include <unistd.h>
#include <cassert>
#include <string>
#include <fstream>
#include <sstream>
#include <cstdlib>

Include dependency graph for DotCircuit.cpp:

Go to the source code of this file.

Detailed Description

DotCircuit method implementations and GraphViz rendering.

Implements:

DotCircuit::addGate(): allocate a gate and extend the desc vector.
DotCircuit::setGate(const uuid&, DotGate): create a gate by UUID.
DotCircuit::setGate(const uuid&, DotGate, std::string): create a gate with a label string stored in desc.
DotCircuit::toString(): return the description string for a gate.
DotCircuit::render(): produce a complete GraphViz digraph string with semiring symbols (⊗, ⊕, ⊖, δ) as node labels and the provenance token UUIDs as edge labels for input gates.

Definition in file DotCircuit.cpp.