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

#include <Ref.h>

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

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 135 of file Ref.h.

Member Typedef Documentation

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

Definition at line 136 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)
inlinestatic

Definition at line 137 of file Ref.h.


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