wali::SemElemPair Class Reference

List of all members.

Public Member Functions
	SemElemPair (SemElem *fst, SemElem *snd)
	SemElemPair (sem_elem_t fst, sem_elem_t snd)
virtual	~SemElemPair ()
virtual sem_elem_t	one () const
	return the One element of the semiring
virtual sem_elem_t	zero () const
	return the Zero element of the semiring
virtual sem_elem_t	extend (SemElem *se)
	Perform the extend operation.
virtual sem_elem_t	combine (SemElem *se)
	Perform the combine operation.
virtual bool	equal (SemElem *se) const
	Equality comparison between two semiring elements.
virtual std::ostream &	print (std::ostream &o) const
	Print the semiring element to the std::ostream o.
virtual sem_elem_t	diff (SemElem *se)
	Perform the diff operation.
virtual sem_elem_t	quasi_one () const
	Perform the quasi_one operation.
virtual std::pair< sem_elem_t, sem_elem_t >	delta (SemElem *se)
	Perform the delta operation.
sem_elem_t	get_first () const
	return first element
sem_elem_t	get_second () const
	return second element
Protected Attributes
sem_elem_t	first
sem_elem_t	second

---

Constructor & Destructor Documentation

wali::SemElemPair::SemElemPair	(	SemElem *	fst,
		SemElem *	snd
	)

Referenced by combine(), delta(), diff(), extend(), one(), quasi_one(), and zero().

wali::SemElemPair::SemElemPair	(	sem_elem_t	fst,
		sem_elem_t	snd
	)

wali::SemElemPair::~SemElemPair

(

)

[virtual]

---

Member Function Documentation

sem_elem_t wali::SemElemPair::one

(

)

const [virtual]

return the One element of the semiring

Implements wali::SemElem.

References first, second, and SemElemPair().

sem_elem_t wali::SemElemPair::zero

(

)

const [virtual]

return the Zero element of the semiring

Implements wali::SemElem.

References first, second, and SemElemPair().

sem_elem_t wali::SemElemPair::extend

(

SemElem *

se

)

[virtual]

Perform the extend operation.

Implements wali::SemElem.

References first, second, and SemElemPair().

sem_elem_t wali::SemElemPair::combine

(

SemElem *

se

)

[virtual]

Perform the combine operation.

Implements wali::SemElem.

References first, second, and SemElemPair().

bool wali::SemElemPair::equal

(

SemElem *

se

)

const [virtual]

Equality comparison between two semiring elements.

Implements wali::SemElem.

References first, and second.

std::ostream & wali::SemElemPair::print

(

std::ostream &

o

)

const [virtual]

Print the semiring element to the std::ostream o.

Implements wali::SemElem.

References first, and second.

sem_elem_t wali::SemElemPair::diff

(

SemElem *

se

)

[virtual]

Perform the diff operation.

Reimplemented from wali::SemElem.

References first, second, and SemElemPair().

sem_elem_t wali::SemElemPair::quasi_one

(

)

const [virtual]

Perform the quasi_one operation.

Reimplemented from wali::SemElem.

References first, second, and SemElemPair().

std::pair< sem_elem_t, sem_elem_t > wali::SemElemPair::delta

(

SemElem *

se

)

[virtual]

Perform the delta operation.

Reimplemented from wali::SemElem.

References first, second, and SemElemPair().

sem_elem_t wali::SemElemPair::get_first

(

)

const

return first element

References first.

sem_elem_t wali::SemElemPair::get_second

(

)

const

return second element

References second.

---

Member Data Documentation

sem_elem_t wali::SemElemPair::first [protected]

Referenced by combine(), delta(), diff(), equal(), extend(), get_first(), one(), print(), quasi_one(), and zero().

sem_elem_t wali::SemElemPair::second [protected]

Referenced by combine(), delta(), diff(), equal(), extend(), get_second(), one(), print(), quasi_one(), and zero().

---

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

• Source/wali/SemElemPair.hpp
• Source/wali/SemElemPair.cpp