wali::wfa::WeightMaker Class Reference

List of all members.

Public Member Functions
virtual	~WeightMaker ()
virtual sem_elem_t	make_weight (sem_elem_t lhs, sem_elem_t rhs)=0
virtual sem_elem_t	make_weight (ITrans *lhs, ITrans *rhs)

---

Detailed Description

This class defines the interface for joining the weights on WFA transitions during WFA intersection.

See also:

wali::sem_elem_t

wali::wfa::WFA

---

Constructor & Destructor Documentation

virtual wali::wfa::WeightMaker::~WeightMaker

(

)

[virtual]

---

Member Function Documentation

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

Implemented in wali::wfa::epr::FunctionalWeightMaker, wali::wfa::KeepLeft, wali::wfa::KeepRight, and wali::wfa::KeepBoth.

Referenced by wali::wfa::WFA::intersect(), and make_weight().

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

Reimplemented in wali::wfa::epr::FunctionalWeightMaker, wali::wfa::KeepLeft, wali::wfa::KeepRight, and wali::wfa::KeepBoth.

References make_weight(), and wali::wfa::ITrans::weight().

---

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

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