DDD  1.9.0.20240826145154
Classes | Functions | Variables
dotExporter.cpp File Reference
#include "ddd/util/dotExporter.h"
#include <typeinfo>
#include <map>
#include <iostream>
#include <sstream>
#include <fstream>
#include "ddd/util/hash_support.hh"
#include "ddd/util/hash_set.hh"
Include dependency graph for dotExporter.cpp:

Classes

class  dotExporter
 
class  hDotExporter
 

Functions

int exportDot (const GSDD &g, const string &path, bool hierarchical, bool multiT)
 
static void addSDD (const GSDD &d)
 
void exportUniqueTable (const GSDD &d, const std::string &path)
 

Variables

static dotHighlight dotH = dotHighlight("table")
 

Function Documentation

◆ addSDD()

static void addSDD ( const GSDD d)
static

References dotHighlight::addSDD(), and dotH.

Referenced by exportUniqueTable().

◆ exportDot()

int exportDot ( const GSDD g,
const string &  path,
bool  hierarchical,
bool  multiT 
)

References dotExporter::init().

◆ exportUniqueTable()

void exportUniqueTable ( const GSDD d,
const std::string &  path 
)

Variable Documentation

◆ dotH

dotHighlight dotH = dotHighlight("table")
static

Referenced by addSDD(), and exportUniqueTable().


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Aug 26 2024 14:54:00 for DDD by doxygen 1.9.1