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

collect() [2/4]

void dotExporter::collect ( const GDDD &  g )

inlineinherited

References GDDD::begin(), GDDD::end(), GDDD::getvarName(), 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(), dotExporter::collect(), GSDD::end(), GSDD::one, GSDD::top, and GSDD::variable().

collect() [4/4]

void dotExporter::collect ( const SDD &  g )

inlineprotectedinherited

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

finish()

void dotExporter::finish ( )

inlineinherited

Referenced by dotHighlight::exportDot().

init()

void dotExporter::init ( )

inlineinherited

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

label()

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

inlineinherited

Referenced by dotHighlight::addSDD().

operator()()

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

inlineinherited

printColor()

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

inlineinherited

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

printLevels()

void dotExporter::printLevels ( )

inlineinherited

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

setAlign()

void dotExporter::setAlign ( bool  align )

inlineinherited

Referenced by dotHighlight::setVarAlignment().

setColor()

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

inlineinherited

Referenced by dotHighlight::setColor().

setPath()

void dotExporter::setPath ( const string &  path )

inlineinherited

Referenced by dotHighlight::initialize().

Member Data Documentation

d3name

map<GDDD,string> dotExporter::d3name

protectedinherited

D3out

ostream* dotExporter::D3out

protectedinherited

entryd3Name

map<GDDD,string> dotExporter::entryd3Name

protectedinherited

entryd3Nb

map<GDDD,int> dotExporter::entryd3Nb

protectedinherited

entryName

map<GSDD,string> dotExporter::entryName

protectedinherited

entryNb

map<GSDD,int> dotExporter::entryNb

protectedinherited

isAligned

bool dotExporter::isAligned

protectedinherited

multiT

bool dotExporter::multiT

protectedinherited

name

map<GSDD,string> dotExporter::name

protectedinherited

nextAid

int dotExporter::nextAid

protectedinherited

nextid

int dotExporter::nextid

protectedinherited

nextMid

int dotExporter::nextMid

protectedinherited

nextPid

int dotExporter::nextPid

protectedinherited

out

ostream* dotExporter::out

protectedinherited

path

string dotExporter::path

protectedinherited

seen

seen_t dotExporter::seen

protectedinherited

---

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

• util/dotExporter.cpp