wali::ShortestPathSemiring Class Reference

List of all members.

Public Member Functions
sem_elem_t	one () const
sem_elem_t	zero () const
sem_elem_t	extend (SemElem *rhs)
sem_elem_t	combine (SemElem *rhs)
bool	equal (SemElem *rhs) const
std::ostream &	print (std::ostream &out) const
unsigned int	getNum () const
	ShortestPathSemiring ()
	ShortestPathSemiring (unsigned int _v)

---

Constructor & Destructor Documentation

wali::ShortestPathSemiring::ShortestPathSemiring

(

)

Referenced by combine(), extend(), one(), and zero().

wali::ShortestPathSemiring::ShortestPathSemiring

(

unsigned int

_v

)

---

Member Function Documentation

sem_elem_t wali::ShortestPathSemiring::one

(

)

const [virtual]

Implements wali::SemElem.

References ShortestPathSemiring().

Referenced by opennwa::ShortestWordGen::getOne(), and opennwa::ShortestPathGen::getOne().

sem_elem_t wali::ShortestPathSemiring::zero

(

)

const [virtual]

Implements wali::SemElem.

References ShortestPathSemiring().

sem_elem_t wali::ShortestPathSemiring::extend

(

SemElem *

rhs

)

[virtual]

Implements wali::SemElem.

References ShortestPathSemiring().

sem_elem_t wali::ShortestPathSemiring::combine

(

SemElem *

rhs

)

[virtual]

Implements wali::SemElem.

References ShortestPathSemiring().

bool wali::ShortestPathSemiring::equal

(

SemElem *

rhs

)

const [virtual]

Implements wali::SemElem.

std::ostream & wali::ShortestPathSemiring::print

(

std::ostream &

out

)

const [virtual]

Implements wali::SemElem.

unsigned int wali::ShortestPathSemiring::getNum

(

)

const

Referenced by wali::ShortestPathWorklist::doRankOf().

---

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

• Source/wali/ShortestPathSemiring.hpp
• Source/wali/ShortestPathSemiring.cpp