llvm::simplify_type< const ::klee::ref< T > > Struct Template Reference

#include <Ref.h>

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

[legend]

List of all members.

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

---

Detailed Description

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

Definition at line 126 of file Ref.h.

---

Member Typedef Documentation

template<typename T >

typedef T* llvm::simplify_type< const ::klee::ref< T > >::SimpleType

Definition at line 127 of file Ref.h.

---

Member Function Documentation

template<typename T >

static SimpleType llvm::simplify_type< const ::klee::ref< T > >::getSimplifiedValue

(

const ::klee::ref< T > &

Ref

)

[inline, static]

Definition at line 128 of file Ref.h.

---

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

• include/klee/util/Ref.h