klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
llvm::simplify_type< ::klee::ref< T > > Struct Template Reference

#include <Ref.h>

Inheritance diagram for llvm::simplify_type< ::klee::ref< T > >:
Collaboration diagram for llvm::simplify_type< ::klee::ref< T > >:

Additional Inherited Members

- Public Types inherited from llvm::simplify_type< const ::klee::ref< T > >
typedef T * SimpleType
 
- Static Public Member Functions inherited from llvm::simplify_type< const ::klee::ref< T > >
static SimpleType getSimplifiedValue (const ::klee::ref< T > &Ref)
 

Detailed Description

template<typename T>
struct llvm::simplify_type< ::klee::ref< T > >

Definition at line 143 of file Ref.h.


The documentation for this struct was generated from the following file: