wali::wfa::KeepBoth Class Reference

List of all members.

Public Member Functions
	KeepBoth ()
virtual	~KeepBoth ()
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 pairing them.

See also:

wali::wfa::WeightMaker

wali::sem_elem_t

wali::SemElemPair

---

Constructor & Destructor Documentation

wali::wfa::KeepBoth::KeepBoth

(

)

virtual wali::wfa::KeepBoth::~KeepBoth

(

)

[virtual]

---

Member Function Documentation

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

Implements wali::wfa::WeightMaker.

Referenced by make_weight().

virtual sem_elem_t wali::wfa::KeepBoth::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