wali::witness::witness_t Struct Reference

List of all members.

Public Types
typedef wali::ref_ptr< Witness >	Parent
Public Member Functions
	witness_t ()
	witness_t (sem_elem_t)
	witness_t (Witness *)
witness_t &	operator= (sem_elem_t se)
witness_t &	operator= (Witness *alpha)
Witness *	getWitness (sem_elem_t se)

---

Member Typedef Documentation

typedef wali::ref_ptr< Witness > wali::witness::witness_t::Parent

---

Constructor & Destructor Documentation

wali::witness::witness_t::witness_t

(

)

wali::witness::witness_t::witness_t

(

sem_elem_t

se

)

wali::witness::witness_t::witness_t

(

Witness *

wit

)

---

Member Function Documentation

witness_t & wali::witness::witness_t::operator=

(

sem_elem_t

se

)

References getWitness(), and wali::ref_ptr< Witness >::operator=().

witness_t & wali::witness::witness_t::operator=

(

Witness *

alpha

)

References wali::ref_ptr< Witness >::operator=().

Witness * wali::witness::witness_t::getWitness

(

sem_elem_t

se

)

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

Referenced by operator=().

---

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

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