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.


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 > >


namespace  llvm
namespace  klee


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.