Ref.h File Reference
Implements smart-pointer ref<> used by KLEE. More...
Include dependency graph for Ref.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | klee::ReferenceCounter |
| Reference counter to be used as part of a ref-managed struct or class. More... | |
| class | klee::ref< T > |
| struct | llvm::simplify_type< const ::klee::ref< T > > |
| struct | llvm::simplify_type< ::klee::ref< T > > |
Namespaces | |
| namespace | llvm |
| namespace | klee |
Functions | |
| template<class T > | |
| llvm::raw_ostream & | klee::operator<< (llvm::raw_ostream &os, const ref< T > &e) |
| template<class T > | |
| std::stringstream & | klee::operator<< (std::stringstream &os, const ref< T > &e) |
Detailed Description
Implements smart-pointer ref<> used by KLEE.
Basic usage:
Add the following to your struct/class to enable ref<> pointer usage
struct MyStruct{
...
class ReferenceCounter _refCount;
...
}
Definition in file Ref.h.
