wali::wfa::epr::FunctionalWeight Class Reference

Functional weights for representing error-projection automaton. More...

List of all members.

Public Member Functions
	FunctionalWeight (ITrans *l, ITrans *r)
virtual	~FunctionalWeight ()
sem_elem_t	one () const
sem_elem_t	zero () const
sem_elem_t	extend (SemElem *se)
sem_elem_t	combine (SemElem *se)
bool	equal (SemElem *se) const
std::ostream &	print (std::ostream &o) const
TaggedWeight	apply (TaggedWeight tw)

---

Detailed Description

Functional weights for representing error-projection automaton.

This class provides functional weights that are used in the automaton for representing the error projection operation. This class is not a semiring, and cannot be used freely as one (even though the type system allows this). There are no combine and extend operation.

---

Constructor & Destructor Documentation

wali::wfa::epr::FunctionalWeight::FunctionalWeight	(	ITrans *	l,
		ITrans *	r
	)

References wali::wfa::ITrans::copy().

Referenced by one(), and zero().

wali::wfa::epr::FunctionalWeight::~FunctionalWeight

(

)

[virtual]

---

Member Function Documentation

sem_elem_t wali::wfa::epr::FunctionalWeight::one

(

)

const [virtual]

Implements wali::SemElem.

References FunctionalWeight().

sem_elem_t wali::wfa::epr::FunctionalWeight::zero

(

)

const [virtual]

Implements wali::SemElem.

References FunctionalWeight().

sem_elem_t wali::wfa::epr::FunctionalWeight::extend

(

SemElem *

se

)

[virtual]

Implements wali::SemElem.

sem_elem_t wali::wfa::epr::FunctionalWeight::combine

(

SemElem *

se

)

[virtual]

Implements wali::SemElem.

bool wali::wfa::epr::FunctionalWeight::equal

(

SemElem *

se

)

const [virtual]

Implements wali::SemElem.

std::ostream & wali::wfa::epr::FunctionalWeight::print

(

std::ostream &

o

)

const [virtual]

Implements wali::SemElem.

References wali::wfa::ITrans::print().

TaggedWeight wali::wfa::epr::FunctionalWeight::apply

(

TaggedWeight

tw

)

References wali::wfa::ITrans::apply_post(), and wali::wfa::ITrans::apply_pre().

---

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

• Source/wali/wfa/epr/FunctionalWeight.hpp
• Source/wali/wfa/epr/FunctionalWeight.cpp