klee
Public Types | Static Public Member Functions | List of all members
llvm::simplify_type< const ::klee::ref< T > > Struct Template Reference

#include <Ref.h>

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

Public Types

using SimpleType = T *
 

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

Member Typedef Documentation

◆ SimpleType

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

Definition at line 251 of file Ref.h.

Member Function Documentation

◆ getSimplifiedValue()

template<typename T >
static SimpleType llvm::simplify_type< const ::klee::ref< T > >::getSimplifiedValue ( const ::klee::ref< T > &  Ref)
inlinestatic

Definition at line 252 of file Ref.h.

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