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 > >:
[
legend
]
Collaboration diagram for llvm::simplify_type< ::klee::ref< T > >:
[
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:
/Users/cristic/klee/include/klee/ADT/
Ref.h
llvm
simplify_type< ::klee::ref< T > >
Generated by
1.9.3