dotExporter Class Reference

Inheritance diagram for dotExporter:

Collaboration diagram for dotExporter:

Public Types
typedef d3::hash_set< GSDD >::type	gsdd_hash_set

Public Member Functions
virtual	~dotExporter ()
void	setPath (const string &path)
virtual void	collect (const GSDD &g)
void	collect (const GDDD &g)
	dotExporter (const string &s="test", bool multiT=false)
void	printColor (const GSDD &g, const string &color, gsdd_hash_set &visited)
void	setColor (const GSDD &g, const string &color)
void	init ()
void	setAlign (bool align)
void	label (const GSDD &g, const string &name)
int	operator() (const GSDD &g)
void	printLevels ()
void	finish ()

Protected Types
typedef std::set< int >	seen_t
typedef seen_t::const_iterator	seen_it
typedef seen_t::const_reverse_iterator	seen_rit

Protected Member Functions
void	collect (const SDD &g)
void	collect (const DDD &g)

Protected Attributes
map< GSDD, string >	name
map< GDDD, string >	d3name
map< GDDD, string >	entryd3Name
map< GDDD, int >	entryd3Nb
map< GSDD, string >	entryName
map< GSDD, int >	entryNb
int	nextid
int	nextPid
int	nextMid
int	nextAid
string	path
ostream *	D3out
ostream *	out
bool	multiT
bool	isAligned
seen_t	seen

Member Typedef Documentation

gsdd_hash_set

typedef d3::hash_set<GSDD>::type dotExporter::gsdd_hash_set

seen_it

typedef seen_t::const_iterator dotExporter::seen_it

protected

seen_rit

typedef seen_t::const_reverse_iterator dotExporter::seen_rit

protected

seen_t

typedef std::set<int> dotExporter::seen_t

protected

Constructor & Destructor Documentation

~dotExporter()

virtual dotExporter::~dotExporter ( )

inlinevirtual

dotExporter()

dotExporter::dotExporter ( const string &  s = "test", bool  multiT = false  )

inline

Member Function Documentation

collect() [1/4]

void dotExporter::collect ( const DDD &  g )

inlineprotected

collect() [2/4]

void dotExporter::collect ( const GDDD &  g )

inline

References GDDD::begin(), GDDD::end(), GDDD::getvarName(), GDDD::null, GDDD::one, GDDD::top, and GDDD::variable().

collect() [3/4]

virtual void dotExporter::collect ( const GSDD &  g )

inlinevirtual

increment in loop

Reimplemented in hDotExporter.

References GDDD::begin(), GSDD::begin(), GDDD::end(), GSDD::end(), GDDD::one, GSDD::one, GSDD::refCounter(), GSDD::top, and GSDD::variable().

collect() [4/4]

void dotExporter::collect ( const SDD &  g )

inlineprotected

Referenced by dotHighlight::addSDD(), and hDotExporter::collect().

finish()

void dotExporter::finish ( )

inline

Referenced by dotHighlight::exportDot().

init()

void dotExporter::init ( )

inline

Referenced by exportDot(), and dotHighlight::initialize().

label()

void dotExporter::label ( const GSDD &  g, const string &  name  )

inline

Referenced by dotHighlight::addSDD().

operator()()

int dotExporter::operator() ( const GSDD &  g )

inline

printColor()

void dotExporter::printColor ( const GSDD &  g, const string &  color, gsdd_hash_set &  visited  )

inline

References GSDD::begin(), and GSDD::end().

printLevels()

void dotExporter::printLevels ( )

inline

References GSDD::null, GSDD::one, and GSDD::top.

setAlign()

void dotExporter::setAlign ( bool  align )

inline

Referenced by dotHighlight::setVarAlignment().

setColor()

void dotExporter::setColor ( const GSDD &  g, const string &  color  )

inline

Referenced by dotHighlight::setColor().

setPath()

void dotExporter::setPath ( const string &  path )

inline

Referenced by dotHighlight::initialize().

Member Data Documentation

d3name

map<GDDD,string> dotExporter::d3name

protected

D3out

ostream* dotExporter::D3out

protected

entryd3Name

map<GDDD,string> dotExporter::entryd3Name

protected

entryd3Nb

map<GDDD,int> dotExporter::entryd3Nb

protected

entryName

map<GSDD,string> dotExporter::entryName

protected

entryNb

map<GSDD,int> dotExporter::entryNb

protected

isAligned

bool dotExporter::isAligned

protected

multiT

bool dotExporter::multiT

protected

name

map<GSDD,string> dotExporter::name

protected

nextAid

int dotExporter::nextAid

protected

nextid

int dotExporter::nextid

protected

nextMid

int dotExporter::nextMid

protected

nextPid

int dotExporter::nextPid

protected

out

ostream* dotExporter::out

protected

path

string dotExporter::path

protected

seen

seen_t dotExporter::seen

protected

---

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

• util/dotExporter.cpp