klee
Ref.h File Reference

Implements smart-pointer ref<> used by KLEE. More...

#include "klee/Support/Casting.h"
#include <cassert>
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.