Ref.h File Reference

#include "llvm/Support/Casting.h"
#include "llvm/Support/Streams.h"
#include <assert.h>

Include dependency graph for Ref.h:

This graph shows which files directly or indirectly include this file:


Classes
class	klee::ref< T >
struct	llvm::simplify_type< const ::klee::ref< T > >
struct	llvm::simplify_type< ::klee::ref< T > >
Namespaces
namespace	klee
namespace	llvm
Functions
template<class T >
std::ostream &	klee::operator<< (std::ostream &os, const ref< T > &e)