RefPtr< T > Class Template Reference

#include <Object.h>

Collaboration diagram for RefPtr< T >:

List of all members.

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 LFSCPfLet::clone(), LFSCPfLambda::clone(), LFSCLraContra::clone(), LFSCLraPoly::clone(), LFSCLraMulC::clone(), LFSCAssume::clone(), LFSCClausify::clone(), LFSCConvert::convert(), LFSCConvert::cvc3_to_lfsc(), LFSCConvert::do_bso(), LFSCPfLambda::getChild(), LFSCLraContra::getChild(), LFSCLraPoly::getChild(), LFSCLraSub::getChild(), LFSCLraMulC::getChild(), LFSCLraAdd::getChild(), LFSCAssume::getChild(), LFSCClausify::getChild(), LFSCBoolRes::getChild(), TReturn::getLFSCProof(), LFSCConvert::getLFSCProof(), LFSCPfLet::LFSCPfLet(), LFSCLraMulC::Make(), LFSCProof::Make_CNF(), LFSCLraAxiom::MakeEq(), LFSCPfVar::MakeV(), TReturn::normalize_to_tf(), TReturn::normalize_tr(), LFSCPfLet::print_pf(), LFSCPfLambda::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