wali::MergeFn Class Reference

List of all members.

Public Member Functions
	MergeFn ()
	MergeFn (sem_elem_t sr)
virtual	~MergeFn ()
virtual sem_elem_t	apply_f (sem_elem_t w1, sem_elem_t w2)
virtual bool	equal (merge_fn_t mf)
virtual MergeFn *	parse_element (const char *s, sem_elem_t sem)
virtual std::ostream &	print (std::ostream &o) const

---

Constructor & Destructor Documentation

wali::MergeFn::MergeFn

(

)

wali::MergeFn::MergeFn

(

sem_elem_t

sr

)

[explicit]

wali::MergeFn::~MergeFn

(

)

[virtual]

---

Member Function Documentation

sem_elem_t wali::MergeFn::apply_f	(	sem_elem_t	w1,
		sem_elem_t	w2
	)			[virtual]

Implements wali::IMergeFn.

Reimplemented in wali::witness::WitnessMergeFn.

References wali::ref_ptr< T >::get_ptr(), wali::ref_ptr< T >::is_empty(), and wali::ref_ptr< T >::is_valid().

bool wali::MergeFn::equal

(

merge_fn_t

mf

)

[virtual]

Implements wali::IMergeFn.

Reimplemented in wali::witness::WitnessMergeFn.

References wali::ref_ptr< T >::get_ptr().

virtual MergeFn* wali::MergeFn::parse_element	(	const char *	s,
		sem_elem_t	sem
	)			[virtual]

std::ostream & wali::MergeFn::print

(

std::ostream &

o

)

const [virtual]

Reimplemented in wali::witness::WitnessMergeFn.

References wali::ref_ptr< T >::is_empty().

---

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

• Source/wali/MergeFn.hpp
• Source/wali/MergeFn.cpp