klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ref< T > Class Template Reference

#include <AddressSpace.h>

Inheritance diagram for klee::ref< T >:

Public Member Functions

 ref ()
 
 ~ref ()
 
 ref (T *p)
 
 ref (const ref< T > &r)
 
template<class U >
 ref (const ref< U > &r)
 
T * get () const
 
ref< T > & operator= (const ref< T > &r)
 
template<class U >
ref< T > & operator= (const ref< U > &r)
 
T & operator* () const
 
T * operator-> () const
 
bool isNull () const
 
int compare (const ref &rhs) const
 
bool operator< (const ref &rhs) const
 
bool operator== (const ref &rhs) const
 
bool operator!= (const ref &rhs) const
 

Private Member Functions

void inc () const
 
void dec () const
 

Private Attributes

T * ptr
 

Friends

template<class U >
class ref
 

Detailed Description

template<class T>
class klee::ref< T >

Definition at line 24 of file AddressSpace.h.

Constructor & Destructor Documentation

template<class T>
klee::ref< T >::ref ( )
inline

Definition at line 35 of file Ref.h.

template<class T>
klee::ref< T >::~ref ( )
inline

Definition at line 36 of file Ref.h.

template<class T>
klee::ref< T >::ref ( T *  p)
inline

Definition at line 53 of file Ref.h.

template<class T>
klee::ref< T >::ref ( const ref< T > &  r)
inline

Definition at line 58 of file Ref.h.

template<class T>
template<class U >
klee::ref< T >::ref ( const ref< U > &  r)
inline

Definition at line 64 of file Ref.h.

Member Function Documentation

template<class T>
int klee::ref< T >::compare ( const ref< T > &  rhs) const
inline
template<class T>
void klee::ref< T >::dec ( ) const
inlineprivate

Definition at line 44 of file Ref.h.

Referenced by klee::ref< klee::Expr >::operator=(), and klee::ref< klee::Expr >::~ref().

Here is the caller graph for this function:

template<class T>
void klee::ref< T >::inc ( ) const
inlineprivate

Definition at line 39 of file Ref.h.

Referenced by klee::ref< klee::Expr >::ref().

Here is the caller graph for this function:

template<class T>
bool klee::ref< T >::isNull ( ) const
inline

Definition at line 99 of file Ref.h.

Referenced by klee::ref< klee::Expr >::compare(), klee::Executor::executeInstruction(), klee::ExecutionState::merge(), and klee::ExprSMTLIBPrinter::scan().

Here is the caller graph for this function:

template<class T>
bool klee::ref< T >::operator!= ( const ref< T > &  rhs) const
inline

Definition at line 110 of file Ref.h.

template<class T>
T& klee::ref< T >::operator* ( ) const
inline

Definition at line 91 of file Ref.h.

template<class T>
T* klee::ref< T >::operator-> ( ) const
inline

Definition at line 95 of file Ref.h.

template<class T>
bool klee::ref< T >::operator< ( const ref< T > &  rhs) const
inline

Definition at line 108 of file Ref.h.

template<class T>
ref<T>& klee::ref< T >::operator= ( const ref< T > &  r)
inline

Definition at line 75 of file Ref.h.

template<class T>
template<class U >
ref<T>& klee::ref< T >::operator= ( const ref< U > &  r)
inline

Definition at line 83 of file Ref.h.

template<class T>
bool klee::ref< T >::operator== ( const ref< T > &  rhs) const
inline

Definition at line 109 of file Ref.h.

Friends And Related Function Documentation

template<class T>
template<class U >
friend class ref
friend

Definition at line 50 of file Ref.h.

Member Data Documentation


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