klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Ref.h File Reference
#include "llvm/Support/Casting.h"
#include <assert.h>
#include <iosfwd>
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::ref< T >
 
struct  llvm::simplify_type< const ::klee::ref< T > >
 
struct  llvm::simplify_type< ::klee::ref< T > >
 

Namespaces

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