wali::witness::WitnessMergeFn Class Reference

List of all members.

Public Member Functions
	WitnessMergeFn (witness_t witness_rule, merge_fn_t user_merge)
virtual	~WitnessMergeFn ()
virtual sem_elem_t	apply_f (sem_elem_t w1, sem_elem_t w2)
virtual std::ostream &	print (std::ostream &o) const
virtual bool	equal (merge_fn_t mf)
merge_fn_t	get_user_merge ()
Protected Member Functions
sem_elem_t	priv_do_apply (sem_elem_t w1, sem_elem_t w2)
Protected Attributes
witness_t	witness_rule
merge_fn_t	user_merge

---

Constructor & Destructor Documentation

wali::witness::WitnessMergeFn::WitnessMergeFn	(	witness_t	witness_rule,
		merge_fn_t	user_merge
	)

wali::witness::WitnessMergeFn::~WitnessMergeFn

(

)

[virtual]

---

Member Function Documentation

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

Reimplemented from wali::MergeFn.

References priv_do_apply().

std::ostream & wali::witness::WitnessMergeFn::print

(

std::ostream &

o

)

const [virtual]

Reimplemented from wali::MergeFn.

References user_merge.

bool wali::witness::WitnessMergeFn::equal

(

merge_fn_t

mf

)

[virtual]

Reimplemented from wali::MergeFn.

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

merge_fn_t wali::witness::WitnessMergeFn::get_user_merge

(

)

References user_merge.

Referenced by wali::witness::WitnessWrapper::unwrap().

sem_elem_t wali::witness::WitnessMergeFn::priv_do_apply	(	sem_elem_t	w1,
		sem_elem_t	w2
	)			[protected]

References wali::ref_ptr< T >::get_ptr(), user_merge, wali::waliErr, wali::witness::Witness::weight(), and witness_rule.

Referenced by apply_f().

---

Member Data Documentation

witness_t wali::witness::WitnessMergeFn::witness_rule [protected]

Referenced by priv_do_apply().

merge_fn_t wali::witness::WitnessMergeFn::user_merge [protected]

Referenced by equal(), get_user_merge(), print(), and priv_do_apply().

---

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

• Source/wali/witness/WitnessMergeFn.hpp
• Source/wali/witness/WitnessMergeFn.cpp