RefPtr< T > Class Template Reference

#include <Object.h>

Collaboration diagram for RefPtr< T >:

Public Types
typedef T	element_type

Public Member Functions
	RefPtr ()
	RefPtr (T *t)
	RefPtr (const RefPtr &rp)
	~RefPtr ()
RefPtr &	operator= (const RefPtr &rp)
RefPtr &	operator= (T *ptr)
T &	operator* ()
const T &	operator* () const
T *	operator-> ()
const T *	operator-> () const
T *	get ()
const T *	get () const

Private Attributes
T *	_ptr

Detailed Description

template<class T>
class RefPtr< T >

Definition at line 28 of file Object.h.

Member Typedef Documentation

template<class T>

typedef T RefPtr< T >::element_type

Definition at line 31 of file Object.h.

Constructor & Destructor Documentation

template<class T>

RefPtr< T >::RefPtr ( )

inline

Definition at line 32 of file Object.h.

template<class T>

RefPtr< T >::RefPtr ( T *  t )

inline

Definition at line 33 of file Object.h.

template<class T>

RefPtr< T >::RefPtr ( const RefPtr< T > &  rp )

inline

Definition at line 34 of file Object.h.

template<class T>

RefPtr< T >::~RefPtr ( )

inline

Definition at line 35 of file Object.h.

Member Function Documentation

template<class T>

RefPtr& RefPtr< T >::operator= ( const RefPtr< T > &  rp )

inline

Definition at line 36 of file Object.h.

template<class T>

RefPtr& RefPtr< T >::operator= ( T *  ptr )

inline

Definition at line 44 of file Object.h.

template<class T>

T& RefPtr< T >::operator* ( )

inline

Definition at line 52 of file Object.h.

template<class T>

const T& RefPtr< T >::operator* ( ) const

inline

Definition at line 53 of file Object.h.

template<class T>

T* RefPtr< T >::operator-> ( )

inline

Definition at line 54 of file Object.h.

template<class T>

const T* RefPtr< T >::operator-> ( ) const

inline

Definition at line 55 of file Object.h.

template<class T>

T* RefPtr< T >::get ( )

inline

Definition at line 56 of file Object.h.

Referenced by LFSCPfLambda::clone(), LFSCLraMulC::clone(), LFSCClausify::clone(), LFSCAssume::clone(), LFSCPfLet::clone(), LFSCLraPoly::clone(), LFSCLraContra::clone(), LFSCConvert::convert(), LFSCConvert::cvc3_to_lfsc(), LFSCConvert::do_bso(), LFSCLraAdd::getChild(), LFSCBoolRes::getChild(), LFSCPfLambda::getChild(), LFSCLraMulC::getChild(), LFSCClausify::getChild(), LFSCLraSub::getChild(), LFSCAssume::getChild(), LFSCLraPoly::getChild(), LFSCLraContra::getChild(), TReturn::getLFSCProof(), LFSCConvert::getLFSCProof(), LFSCPfLet::LFSCPfLet(), LFSCLraMulC::Make(), LFSCProof::Make_CNF(), LFSCLraAxiom::MakeEq(), LFSCPfVar::MakeV(), TReturn::normalize_to_tf(), TReturn::normalize_tr(), LFSCPfLambda::print_pf(), LFSCPfLet::print_pf(), and LFSCPfLet::print_struct().

template<class T>

const T* RefPtr< T >::get ( ) const

inline

Definition at line 57 of file Object.h.

Member Data Documentation

template<class T>

T* RefPtr< T >::_ptr

private

Definition at line 59 of file Object.h.

Referenced by RefPtr< LFSCPfVar >::operator=().

---

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

• Object.h