SemElem.hpp File Reference

Go to the source code of this file.

Classes
class	wali::SemElem
	base abstract class to be subclassed by user's semiring More...
Namespaces
namespace	wali
Typedefs
typedef ref_ptr< SemElem >	wali::sem_elem_t
	Handy typedef for working with reference counted SemElem objects.
Functions
void	wali::test_semelem_impl (sem_elem_t x)
	Simple test method that can be used when developing a SemElem implementation.