wali::graph::IntraGraph Class Reference

List of all members.

Public Member Functions
	IntraGraph (bool pre, sem_elem_t _se)
	~IntraGraph ()
list< int > *	getOutTransitions ()
IntraGraphStats	get_stats ()
int	getSize ()
int	makeNode (Transition t)
int	makeNode ()
void	addEdge (int src, int tgt, sem_elem_t se, bool updatable=false)
void	setSource (int t, sem_elem_t se)
void	setOutNode (int t, int inter_t)
void	addCallEdge (IntraGraph *next)
void	updateWeight (int node, sem_elem_t wt)
void	updateWeight (int node, int uno)
void	assignUpdates ()
void	clearUpdates ()
bool	updateEdgeWeight (int src, int tgt, sem_elem_t se)
void	setupIntraSolution (bool compress_regexp=false)
sem_elem_t	get_weight (int outnode)
ostream &	print (ostream &out, PRINT_OP pop=defaultPrintOp)
void	resetUpdatable ()
void	solveSummarySolution (list< WTransition > &change)
void	preSolveSummarySolution (list< WTransition > &change)
void	setupSummarySolution ()
Static Public Member Functions
static ostream &	print_trans (Transition &t, ostream &out, PRINT_OP pop=defaultPrintOp)
Friends
class	InterGraph
class	SummaryGraph

---

Constructor & Destructor Documentation

wali::graph::IntraGraph::IntraGraph	(	bool	pre,
		sem_elem_t	_se
	)

References wali::graph::SuperSource.

wali::graph::IntraGraph::~IntraGraph

(

)

---

Member Function Documentation

list<int>* wali::graph::IntraGraph::getOutTransitions

(

)

IntraGraphStats wali::graph::IntraGraph::get_stats

(

)

References wali::graph::IntraGraphStats::ncutset, wali::graph::IntraGraphStats::nedges, wali::graph::IntraGraphStats::nnodes, and wali::graph::IntraGraphStats::nupdatable.

int wali::graph::IntraGraph::getSize

(

)

int wali::graph::IntraGraph::makeNode

(

Transition

t

)

Referenced by wali::graph::get_number().

int wali::graph::IntraGraph::makeNode

(

)

void wali::graph::IntraGraph::addEdge	(	int	src,
		int	tgt,
		sem_elem_t	se,
		bool	updatable = false
	)

References wali::graph::RegExp::combine(), wali::graph::RegExp::getNextUpdatableNumber(), print_trans(), wali::graph::IntraGraphEdge::regexp, and wali::graph::RegExp::updatable().

Referenced by wali::graph::InterGraph::path_summary(), and wali::graph::InterGraph::setupInterSolution().

void wali::graph::IntraGraph::setSource	(	int	t,
		sem_elem_t	se
	)

Referenced by wali::graph::InterGraph::path_summary().

void wali::graph::IntraGraph::setOutNode	(	int	t,
		int	inter_t
	)

References wali::graph::OutNode.

Referenced by wali::graph::InterGraph::path_summary(), and wali::graph::InterGraph::setupInterSolution().

void wali::graph::IntraGraph::addCallEdge

(

IntraGraph *

next

)

Referenced by wali::graph::InterGraph::setupInterSolution().

void wali::graph::IntraGraph::updateWeight	(	int	node,
		sem_elem_t	wt
	)

Referenced by wali::graph::SummaryGraph::preAddUpdate(), and wali::graph::SummaryGraph::summaryPoststar().

void wali::graph::IntraGraph::updateWeight	(	int	node,
		int	uno
	)

void wali::graph::IntraGraph::assignUpdates

(

)

References wali::graph::RegExp::constant(), wali::graph::update_t::node, wali::graph::update_t::uno, wali::graph::RegExp::updatable(), wali::graph::RegExp::update(), and wali::graph::update_t::wt.

void wali::graph::IntraGraph::clearUpdates

(

)

Referenced by wali::graph::SummaryGraph::getUpdatedTransitions(), wali::graph::SummaryGraph::preGetUpdatedTransitions(), and wali::graph::SummaryGraph::summaryPoststar().

bool wali::graph::IntraGraph::updateEdgeWeight	(	int	src,
		int	tgt,
		sem_elem_t	se
	)

References wali::graph::RegExp::update().

void wali::graph::IntraGraph::setupIntraSolution

(

bool compress_regexp

ATTR_UNUSED = false

)

References wali::graph::RegExp::compress(), wali::graph::RegExp::extendDirectionBackwards(), wali::graph::RegExp::minimize_height(), wali::graph::IntraGraphStats::ndom_sequence, and STAT.

Referenced by wali::graph::InterGraph::path_summary().

sem_elem_t wali::graph::IntraGraph::get_weight

(

int

outnode

)

References FWPDSDBGS, wali::graph::IntraGraphStats::nget_weight, and STAT.

Referenced by wali::graph::InterGraph::path_summary().

ostream & wali::graph::IntraGraph::print	(	ostream &	out,
		PRINT_OP pop	ATTR_UNUSED = defaultPrintOp
	)

ostream & wali::graph::IntraGraph::print_trans	(	Transition &	t,
		ostream &	out,
		PRINT_OP	pop = defaultPrintOp
	)			[static]

References wali::graph::Transition::src, wali::graph::Transition::stack, and wali::graph::Transition::tgt.

Referenced by addEdge(), and wali::graph::InterGraph::print().

void wali::graph::IntraGraph::resetUpdatable

(

)

References wali::graph::RegExp::update().

void wali::graph::IntraGraph::solveSummarySolution

(

list< WTransition > &

change

)

Referenced by wali::graph::SummaryGraph::getUpdatedTransitions().

void wali::graph::IntraGraph::preSolveSummarySolution

(

list< WTransition > &

change

)

Referenced by wali::graph::SummaryGraph::preGetUpdatedTransitions().

void wali::graph::IntraGraph::setupSummarySolution

(

)

References wali::graph::PathSequence::regexp, wali::graph::PathSequence::src, and wali::graph::PathSequence::tgt.

Referenced by wali::graph::SummaryGraph::SummaryGraph().

---

Friends And Related Function Documentation

friend class InterGraph [friend]

friend class SummaryGraph [friend]

---

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

• Source/wali/graph/IntraGraph.hpp
• Source/wali/graph/IntraGraph.cpp
• Source/wali/graph/Experimental.cpp