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