wali::wfa::KeepRight Class Reference

List of all members.

Public Member Functions
	KeepRight ()
virtual	~KeepRight ()
virtual sem_elem_t	make_weight (sem_elem_t lhs, sem_elem_t rhs)
virtual sem_elem_t	make_weight (ITrans *lhs, ITrans *rhs)

---

Detailed Description

This class joins the weights by ignoring the second parameter (rhs).

See also:

wali::wfa::WeightMaker

wali::sem_elem_t

---

Constructor & Destructor Documentation

wali::wfa::KeepRight::KeepRight

(

)

virtual wali::wfa::KeepRight::~KeepRight

(

)

[virtual]

---

Member Function Documentation

sem_elem_t wali::wfa::KeepRight::make_weight	(	sem_elem_t lhs	ATTR_UNUSED,
		sem_elem_t rhs
	)			[virtual]

Implements wali::wfa::WeightMaker.

Referenced by make_weight().

virtual sem_elem_t wali::wfa::KeepRight::make_weight	(	ITrans * lhs	,
		ITrans *	rhs
	)			[virtual]

Reimplemented from wali::wfa::WeightMaker.

References make_weight().

---

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

• Source/wali/wfa/WeightMaker.hpp
• Source/wali/wfa/WeightMaker.cpp