wali::graph::RegExp Class Reference

List of all members.

Public Member Functions
ostream &	print (ostream &out)
int	updatableNumber ()
sem_elem_t	get_weight ()
int	get_nevals ()
bool	isZero ()
bool	isOne ()
bool	isCyclic ()
sem_elem_t	reevaluate ()
Static Public Member Functions
static void	extendDirectionBackwards (bool b)
static void	saturationComplete ()
static void	executingPoststar (bool f)
static void	topDownEval (bool f)
static reg_exp_t	star (reg_exp_t r)
static reg_exp_t	extend (reg_exp_t r1, reg_exp_t r2)
static reg_exp_t	combine (reg_exp_t r1, reg_exp_t r2)
static reg_exp_t	combine (list< reg_exp_t > &ls)
static reg_exp_t	constant (sem_elem_t se)
static void	startSatProcess (const sem_elem_t se)
static void	stopSatProcess ()
static reg_exp_t	updatable (node_no_t nno, sem_elem_t se)
static reg_exp_t	compress (reg_exp_t r, reg_exp_cache_t &cache)
static reg_exp_t	minimize_height (reg_exp_t r, reg_exp_cache_t &cache)
static size_t	getNextUpdatableNumber ()
static void	update (node_no_t nno, sem_elem_t se)
static ostream &	print_stats (ostream &out)
static int	out_node_height (set< RegExp * > reg_equations)
static RegExpStats	get_stats ()
Public Attributes
unsigned int	count

---

Member Function Documentation

static void wali::graph::RegExp::extendDirectionBackwards

(

bool

b

)

[static]

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

static void wali::graph::RegExp::saturationComplete

(

)

[static]

static void wali::graph::RegExp::executingPoststar

(

bool

f

)

[static]

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

static void wali::graph::RegExp::topDownEval

(

bool

f

)

[static]

ostream & wali::graph::RegExp::print

(

ostream &

out

)

References wali::graph::Combine, wali::graph::Constant, wali::graph::Extend, wali::graph::Star, and wali::graph::Updatable.

reg_exp_t wali::graph::RegExp::star

(

reg_exp_t

r

)

[static]

References wali::graph::Constant, wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), wali::graph::RegExpStats::hashmap_hits, wali::graph::RegExpStats::hashmap_misses, wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert(), wali::graph::Star, and STAT.

reg_exp_t wali::graph::RegExp::extend	(	reg_exp_t	r1,
		reg_exp_t	r2
	)			[static]

References wali::graph::Constant, wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::graph::Extend, wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), wali::graph::RegExpStats::hashmap_hits, wali::graph::RegExpStats::hashmap_misses, wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert(), and STAT.

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

reg_exp_t wali::graph::RegExp::combine	(	reg_exp_t	r1,
		reg_exp_t	r2
	)			[static]

References wali::graph::Combine, wali::graph::Constant, wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), wali::ref_ptr< T >::get_ptr(), wali::graph::RegExpStats::hashmap_hits, wali::graph::RegExpStats::hashmap_misses, wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert(), and STAT.

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

reg_exp_t wali::graph::RegExp::combine

(

list< reg_exp_t > &

ls

)

[static]

reg_exp_t wali::graph::RegExp::constant

(

sem_elem_t

se

)

[static]

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), and wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert().

Referenced by wali::graph::IntraGraph::assignUpdates(), wali::graph::IntraGraphEdge::IntraGraphEdge(), wali::graph::IntraGraphEdge::set(), and wali::graph::SummaryGraph::summaryPoststar().

void wali::graph::RegExp::startSatProcess

(

const sem_elem_t

se

)

[static]

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::clear().

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

void wali::graph::RegExp::stopSatProcess

(

)

[static]

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

reg_exp_t wali::graph::RegExp::updatable	(	node_no_t	nno,
		sem_elem_t	se
	)			[static]

Referenced by wali::graph::IntraGraph::addEdge(), wali::graph::IntraGraph::assignUpdates(), wali::graph::SummaryGraph::summaryPoststar(), and update().

reg_exp_t wali::graph::RegExp::compress	(	reg_exp_t	r,
		reg_exp_cache_t &	cache
	)			[static]

References wali::graph::Combine, wali::graph::Constant, wali::graph::Extend, wali::graph::Star, and wali::graph::Updatable.

Referenced by wali::graph::IntraGraph::setupIntraSolution().

reg_exp_t wali::graph::RegExp::minimize_height	(	reg_exp_t	r,
		reg_exp_cache_t &	cache
	)			[static]

References wali::graph::Combine, wali::graph::Constant, wali::graph::Extend, wali::graph::my_set_union(), wali::graph::Star, and wali::graph::Updatable.

Referenced by wali::graph::IntraGraph::setupIntraSolution().

static size_t wali::graph::RegExp::getNextUpdatableNumber

(

)

[static]

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

void wali::graph::RegExp::update	(	node_no_t	nno,
		sem_elem_t	se
	)			[static]

References updatable().

Referenced by wali::graph::IntraGraph::assignUpdates(), wali::graph::IntraGraph::resetUpdatable(), wali::graph::SummaryGraph::summaryPoststar(), and wali::graph::IntraGraph::updateEdgeWeight().

int wali::graph::RegExp::updatableNumber

(

)

References wali::graph::Updatable.

static ostream& wali::graph::RegExp::print_stats

(

ostream &

out

)

[static]

int wali::graph::RegExp::out_node_height

(

set< RegExp * >

reg_equations

)

[static]

References wali::graph::RegExpStats::height, wali::graph::RegExpStats::lnd, and wali::graph::RegExpStats::out_nodes.

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

sem_elem_t wali::graph::RegExp::get_weight

(

)

int wali::graph::RegExp::get_nevals

(

)

static RegExpStats wali::graph::RegExp::get_stats

(

)

[static]

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

bool wali::graph::RegExp::isZero

(

)

References wali::graph::Constant.

bool wali::graph::RegExp::isOne

(

)

References wali::graph::Constant.

bool wali::graph::RegExp::isCyclic

(

)

sem_elem_t wali::graph::RegExp::reevaluate

(

)

References wali::graph::Constant, and wali::graph::Updatable.

---

Member Data Documentation

unsigned int wali::graph::RegExp::count

---

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

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