CVC3
2.4.1
|
#include <Object.h>
typedef T RefPtr::element_type |
T* RefPtr::get | ( | ) | [inline] |
Definition at line 56 of file Object.h.
Referenced by LFSCBoolRes::getChild(), LFSCClausify::clone(), LFSCClausify::getChild(), LFSCAssume::clone(), LFSCAssume::getChild(), LFSCConvert::convert(), LFSCConvert::cvc3_to_lfsc(), LFSCConvert::do_bso(), LFSCConvert::getLFSCProof(), LFSCLraAxiom::MakeEq(), LFSCLraMulC::Make(), LFSCLraAdd::getChild(), LFSCLraMulC::clone(), LFSCLraMulC::getChild(), LFSCLraSub::getChild(), LFSCLraPoly::clone(), LFSCLraPoly::getChild(), LFSCLraContra::clone(), LFSCLraContra::getChild(), LFSCProof::Make_CNF(), LFSCPfVar::MakeV(), LFSCPfLambda::print_pf(), LFSCPfLet::LFSCPfLet(), LFSCPfLet::print_pf(), LFSCPfLet::print_struct(), LFSCPfLambda::clone(), LFSCPfLambda::getChild(), LFSCPfLet::clone(), TReturn::normalize_tr(), TReturn::normalize_to_tf(), and TReturn::getLFSCProof().
T* RefPtr::_ptr [private] |
Definition at line 59 of file Object.h.
Referenced by RefPtr< LFSCPfVar >::operator=().