hDotExporter Class Reference

Inheritance diagram for hDotExporter:

Collaboration diagram for hDotExporter:

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

Public Member Functions
	hDotExporter (const string &s="test", bool multiT=false)
virtual	~hDotExporter ()
void	collect (const GSDD &g)
void	collect (const GDDD &g)
void	setPath (const string &path)
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

inherited

seen_it

typedef seen_t::const_iterator dotExporter::seen_it

protectedinherited

seen_rit

typedef seen_t::const_reverse_iterator dotExporter::seen_rit

protectedinherited

seen_t

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

protectedinherited

Constructor & Destructor Documentation

hDotExporter()

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

inline

~hDotExporter()

virtual hDotExporter::~hDotExporter ( )

inlinevirtual

Member Function Documentation

collect() [1/4]

void dotExporter::collect ( const DDD &  g )

inlineprotectedinherited

References dotExporter::collect().

collect() [2/4]

void dotExporter::collect ( const GDDD &  g )

inlineinherited

References GDDD::begin(), dotExporter::collect(), dotExporter::d3name, dotExporter::D3out, GDDD::end(), GDDD::getvarName(), dotExporter::nextid, GDDD::null, GDDD::one, GDDD::top, and GDDD::variable().

collect() [3/4]

void hDotExporter::collect ( const GSDD &  g )

inlinevirtual

Reimplemented from dotExporter.

References GSDD::begin(), collect(), dotExporter::collect(), GSDD::end(), dotExporter::entryd3Name, dotExporter::entryd3Nb, dotExporter::name, dotExporter::nextAid, dotExporter::nextid, dotExporter::nextPid, GSDD::one, dotExporter::out, GSDD::top, and GSDD::variable().

Referenced by collect().

collect() [4/4]

void dotExporter::collect ( const SDD &  g )

inlineprotectedinherited

References dotExporter::collect().

Referenced by dotHighlight::addSDD(), dotHighlight::addSDD(), dotExporter::collect(), dotExporter::collect(), dotExporter::collect(), collect(), dotExporter::collect(), dotExporter::label(), dotExporter::operator()(), and dotExporter::setColor().

finish()

void dotExporter::finish ( )

inlineinherited

References dotExporter::d3name, dotExporter::D3out, dotExporter::entryd3Name, dotExporter::entryd3Nb, dotExporter::entryName, dotExporter::entryNb, dotExporter::isAligned, dotExporter::name, dotExporter::out, and dotExporter::printLevels().

Referenced by dotHighlight::exportDot(), and dotExporter::operator()().

init()

void dotExporter::init ( )

inlineinherited

References dotExporter::d3name, dotExporter::D3out, dotExporter::entryd3Name, dotExporter::entryd3Nb, dotExporter::entryName, dotExporter::entryNb, dotExporter::name, dotExporter::nextAid, dotExporter::nextid, dotExporter::nextMid, dotExporter::nextPid, dotExporter::out, dotExporter::path, and dotExporter::seen.

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

label()

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

inlineinherited

References dotExporter::collect(), dotExporter::entryName, and dotExporter::name.

Referenced by dotHighlight::addSDD().

operator()()

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

inlineinherited

References dotExporter::collect(), dotExporter::finish(), and dotExporter::init().

printColor()

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

inlineinherited

References GSDD::begin(), GSDD::end(), dotExporter::name, dotExporter::out, and dotExporter::printColor().

Referenced by dotExporter::printColor(), and dotExporter::setColor().

printLevels()

void dotExporter::printLevels ( )

inlineinherited

References dotExporter::name, GSDD::null, GSDD::one, dotExporter::out, dotExporter::seen, and GSDD::top.

Referenced by dotExporter::finish().

setAlign()

void dotExporter::setAlign ( bool  align )

inlineinherited

References dotExporter::isAligned.

Referenced by dotHighlight::setVarAlignment().

setColor()

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

inlineinherited

References dotExporter::collect(), and dotExporter::printColor().

Referenced by dotHighlight::setColor().

setPath()

void dotExporter::setPath ( const string &  path )

inlineinherited

References dotExporter::path.

Referenced by dotHighlight::initialize().

Member Data Documentation

d3name

map<GDDD,string> dotExporter::d3name

protectedinherited

Referenced by dotExporter::collect(), dotExporter::finish(), and dotExporter::init().

D3out

ostream* dotExporter::D3out

protectedinherited

Referenced by dotExporter::collect(), dotExporter::finish(), and dotExporter::init().

entryd3Name

map<GDDD,string> dotExporter::entryd3Name

protectedinherited

Referenced by dotExporter::collect(), collect(), dotExporter::finish(), and dotExporter::init().

entryd3Nb

map<GDDD,int> dotExporter::entryd3Nb

protectedinherited

Referenced by dotExporter::collect(), collect(), dotExporter::finish(), and dotExporter::init().

entryName

map<GSDD,string> dotExporter::entryName

protectedinherited

Referenced by dotExporter::collect(), dotExporter::finish(), dotExporter::init(), and dotExporter::label().

entryNb

map<GSDD,int> dotExporter::entryNb

protectedinherited

Referenced by dotExporter::collect(), dotExporter::finish(), and dotExporter::init().

isAligned

bool dotExporter::isAligned

protectedinherited

Referenced by dotExporter::finish(), and dotExporter::setAlign().

multiT

bool dotExporter::multiT

protectedinherited

Referenced by dotExporter::collect().

name

map<GSDD,string> dotExporter::name

protectedinherited

Referenced by dotExporter::collect(), collect(), dotExporter::finish(), dotExporter::init(), dotExporter::label(), dotExporter::printColor(), and dotExporter::printLevels().

nextAid

int dotExporter::nextAid

protectedinherited

Referenced by dotExporter::collect(), collect(), and dotExporter::init().

nextid

int dotExporter::nextid

protectedinherited

Referenced by dotExporter::collect(), dotExporter::collect(), collect(), and dotExporter::init().

nextMid

int dotExporter::nextMid

protectedinherited

Referenced by dotExporter::init().

nextPid

int dotExporter::nextPid

protectedinherited

Referenced by dotExporter::collect(), collect(), and dotExporter::init().

out

ostream* dotExporter::out

protectedinherited

Referenced by dotExporter::collect(), collect(), dotExporter::finish(), dotExporter::init(), dotExporter::printColor(), and dotExporter::printLevels().

path

string dotExporter::path

protectedinherited

Referenced by dotExporter::init(), and dotExporter::setPath().

seen

seen_t dotExporter::seen

protectedinherited

Referenced by dotExporter::collect(), dotExporter::init(), and dotExporter::printLevels().

---

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

• util/dotExporter.cpp