klee
List of all members
llvm::simplify_type< ::klee::ref< T > > Struct Template Reference

#include <Ref.h>

Inheritance diagram for llvm::simplify_type< ::klee::ref< T > >:
Inheritance graph
[legend]
Collaboration diagram for llvm::simplify_type< ::klee::ref< T > >:
Collaboration graph
[legend]

Additional Inherited Members

- Public Types inherited from llvm::simplify_type< const ::klee::ref< T > >
using SimpleType = T *
 
- 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 258 of file Ref.h.

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