wali::wpds::ewpds::ERule Class Reference

List of all members.

Public Member Functions
	ERule (Config *f, Config *t, wali_key_t s2, sem_elem_t se, merge_fn_t fn=NULL)
	constructor
	~ERule ()
	destructor
virtual void	copy (const rule_t r)
	Make a copy of the rule.
merge_fn_t	merge_fn () const
void	set_merge_fn (merge_fn_t _mf)
	What do you think?
sem_elem_t	extended_weight () const
std::ostream &	print (std::ostream &o) const
std::ostream &	marshall (std::ostream &o) const
	marshall will write a ERule to a std::ostream.
Friends
class	EWPDS

---

Detailed Description

See also:

Rule

---

Constructor & Destructor Documentation

wali::wpds::ewpds::ERule::ERule	(	Config *	f,
		Config *	t,
		wali_key_t	s2,
		sem_elem_t	se,
		merge_fn_t	fn = NULL
	)

constructor

References wali::ref_ptr< T >::get_ptr().

wali::wpds::ewpds::ERule::~ERule

(

)

destructor

---

Member Function Documentation

void wali::wpds::ewpds::ERule::copy

(

const rule_t

r

)

[virtual]

Make a copy of the rule.

Reimplemented from wali::wpds::Rule.

References wali::wpds::rule_t::get_ptr().

merge_fn_t wali::wpds::ewpds::ERule::merge_fn

(

)

const

Returns:

Rule rhs second stack symbol or WALI_EPSILON if no such stack sym

Referenced by wali::wpds::ewpds::EWPDS::add_rule(), marshall(), and print().

void wali::wpds::ewpds::ERule::set_merge_fn

(

merge_fn_t

_mf

)

What do you think?

Referenced by wali::wpds::ewpds::EWPDS::add_rule().

sem_elem_t wali::wpds::ewpds::ERule::extended_weight

(

)

const

Returns:

reference to the extended Weight

References wali::wpds::Rule::to_stack2(), and wali::wpds::Rule::weight().

std::ostream & wali::wpds::ewpds::ERule::print

(

std::ostream &

o

)

const [virtual]

Parameters:

o

the std::ostream this is written to

Returns:

std::ostream passed in

See also:

Printable

Reimplemented from wali::wpds::Rule.

References merge_fn().

std::ostream & wali::wpds::ewpds::ERule::marshall

(

std::ostream &

o

)

const

marshall will write a ERule to a std::ostream.

This writes the rule in XML form.

Returns:

std::ostream the marshalled rule was written to.

Reimplemented from wali::wpds::Rule.

References wali::wpds::Rule::from_stack(), wali::wpds::Rule::from_state(), wali::key2str(), merge_fn(), wali::wpds::Rule::se, wali::wpds::Rule::to_stack1(), wali::wpds::Rule::to_stack2(), wali::wpds::Rule::to_state(), wali::wpds::Rule::XMLFromStackTag, wali::wpds::Rule::XMLFromTag, wali::wpds::Rule::XMLTag, wali::wpds::Rule::XMLToStack1Tag, wali::wpds::Rule::XMLToStack2Tag, and wali::wpds::Rule::XMLToTag.

---

Friends And Related Function Documentation

friend class EWPDS [friend]

---

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

• Source/wali/wpds/ewpds/ERule.hpp
• Source/wali/wpds/ewpds/ERule.cpp