wali::graph::SummaryGraph Class Reference

List of all members.

Public Member Functions
	SummaryGraph (InterGraphPtr gr, wali::Key ss, set< Key > &pe, wfa::WFA &Agrow, InterGraph::PRINT_OP pop=InterGraph::defaultPrintOp)
	~SummaryGraph ()
void	preAddUpdate (Transition &t, sem_elem_t se)
void	getUpdatedTransitions (std::list< WTransition > &ls)
void	preGetUpdatedTransitions (std::list< WTransition > &ls)
void	getMiddleTransitions (std::list< WTransition > &ls)
void	summaryPoststar (wali::wfa::WFA const &ca_in, wali::wfa::WFA &ca_out)
sem_elem_t	pushWeight (Key k)
sem_elem_t	popWeight (Key k)
Key	getEntry (Key k)
bool	reachable (Key stk)
bool	multiple_proc (Key stk)
ostream &	printStats (ostream &out)

---

Constructor & Destructor Documentation

wali::graph::SummaryGraph::SummaryGraph	(	InterGraphPtr	gr,
		wali::Key	ss,
		set< Key > &	pe,
		wfa::WFA &	Agrow,
		InterGraph::PRINT_OP	pop = InterGraph::defaultPrintOp
	)

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), wali::wfa::WFA::getState(), wali::wfa::WFA::getStates(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert(), and wali::graph::IntraGraph::setupSummarySolution().

wali::graph::SummaryGraph::~SummaryGraph

(

)

---

Member Function Documentation

void wali::graph::SummaryGraph::preAddUpdate	(	Transition &	t,
		sem_elem_t	se
	)

References wali::graph::Transition::src, wali::graph::Transition::stack, and wali::graph::IntraGraph::updateWeight().

Referenced by wali::wpds::fwpds::SWPDS::prestar().

void wali::graph::SummaryGraph::getUpdatedTransitions

(

std::list< WTransition > &

ls

)

References wali::graph::IntraGraph::clearUpdates(), and wali::graph::IntraGraph::solveSummarySolution().

void wali::graph::SummaryGraph::preGetUpdatedTransitions

(

std::list< WTransition > &

ls

)

References wali::graph::IntraGraph::clearUpdates(), and wali::graph::IntraGraph::preSolveSummarySolution().

Referenced by wali::wpds::fwpds::SWPDS::prestar().

void wali::graph::SummaryGraph::getMiddleTransitions

(

std::list< WTransition > &

ls

)

Referenced by summaryPoststar().

void wali::graph::SummaryGraph::summaryPoststar	(	wali::wfa::WFA const &	ca_in,
		wali::wfa::WFA &	ca_out
	)

References wali::graph::Graph::addEdge(), wali::wfa::WFA::addTrans(), wali::wfa::State::begin(), wali::graph::IntraGraph::clearUpdates(), wali::graph::RegExp::combine(), wali::graph::RegExp::constant(), wali::wfa::State::end(), wali::graph::RegExp::executingPoststar(), wali::graph::RegExp::extend(), wali::graph::RegExp::extendDirectionBackwards(), wali::wfa::WFA::getGeneration(), getMiddleTransitions(), wali::graph::RegExp::getNextUpdatableNumber(), wali::graph::Graph::getSccNumber(), wali::wfa::WFA::getState(), wali::wfa::WFA::getStates(), multiple_proc(), popWeight(), reachable(), wali::walienum::RETURN, wali::graph::Graph::runSCCdecomposition(), wali::graph::Transition::stack, wali::graph::RegExp::startSatProcess(), wali::graph::RegExp::stopSatProcess(), wali::graph::Transition::tgt, wali::graph::RegExp::updatable(), wali::graph::RegExp::update(), and wali::graph::IntraGraph::updateWeight().

Referenced by wali::wpds::fwpds::SWPDS::poststar().

sem_elem_t wali::graph::SummaryGraph::pushWeight

(

Key

k

)

References reachable().

Referenced by wali::wpds::fwpds::SWPDS::preprocess().

sem_elem_t wali::graph::SummaryGraph::popWeight

(

Key

k

)

References wali::ref_ptr< T >::get_ptr(), and reachable().

Referenced by wali::wpds::fwpds::SWPDS::prestar(), and summaryPoststar().

Key wali::graph::SummaryGraph::getEntry

(

Key

k

)

Referenced by wali::wpds::fwpds::SWPDS::preprocess().

bool wali::graph::SummaryGraph::reachable

(

Key

stk

)

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

Referenced by popWeight(), wali::wpds::fwpds::SWPDS::prestar(), pushWeight(), wali::wpds::fwpds::SWPDS::reachable(), and summaryPoststar().

bool wali::graph::SummaryGraph::multiple_proc

(

Key

stk

)

Referenced by wali::wpds::fwpds::SWPDS::multiple_proc(), wali::wpds::fwpds::SWPDS::prestar(), and summaryPoststar().

std::ostream & wali::graph::SummaryGraph::printStats

(

std::ostream &

out

)

References wali::graph::SummaryGraphStats::t1, wali::graph::SummaryGraphStats::t2, wali::graph::SummaryGraphStats::t3, and wali::graph::SummaryGraphStats::t4.

---

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

• Source/wali/graph/SummaryGraph.hpp
• Source/wali/graph/SummaryGraph.cpp