wali::witness::WitnessWrapper Class Reference

List of all members.

Public Member Functions
	WitnessWrapper ()
virtual	~WitnessWrapper ()
virtual sem_elem_t	wrap (wfa::ITrans const &t)
virtual sem_elem_t	wrap (wpds::Rule const &r)
virtual merge_fn_t	wrap (wpds::ewpds::ERule const &r, merge_fn_t user_merge)
virtual sem_elem_t	unwrap (sem_elem_t se)
virtual merge_fn_t	unwrap (merge_fn_t mf)

---

Constructor & Destructor Documentation

wali::witness::WitnessWrapper::WitnessWrapper

(

)

virtual wali::witness::WitnessWrapper::~WitnessWrapper

(

)

[virtual]

---

Member Function Documentation

sem_elem_t wali::witness::WitnessWrapper::wrap

(

wfa::ITrans const &

t

)

[virtual]

Reimplemented from wali::wpds::Wrapper.

sem_elem_t wali::witness::WitnessWrapper::wrap

(

wpds::Rule const &

r

)

[virtual]

Reimplemented from wali::wpds::Wrapper.

merge_fn_t wali::witness::WitnessWrapper::wrap	(	wpds::ewpds::ERule const &	r,
		merge_fn_t	user_merge
	)			[virtual]

Reimplemented from wali::wpds::Wrapper.

References wali::ref_ptr< T >::get_ptr(), and wali::wpds::Rule::weight().

sem_elem_t wali::witness::WitnessWrapper::unwrap

(

sem_elem_t

se

)

[virtual]

Reimplemented from wali::wpds::Wrapper.

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

merge_fn_t wali::witness::WitnessWrapper::unwrap

(

merge_fn_t

mf

)

[virtual]

Reimplemented from wali::wpds::Wrapper.

References wali::ref_ptr< T >::get_ptr(), wali::witness::WitnessMergeFn::get_user_merge(), and wali::waliErr.

---

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

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