CVC3
|
#include <Object.h>
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 |
typedef T RefPtr< T >::element_type |
|
inline |
|
inline |
|
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().
|
inline |
|
private |
Definition at line 59 of file Object.h.
Referenced by RefPtr< LFSCPfVar >::operator=().