clang  3.9.0
Static Public Member Functions | List of all members
clang::ento::ProgramStateTrait< mpi::RequestMap > Struct Template Reference

#include <MPITypes.h>

Inheritance diagram for clang::ento::ProgramStateTrait< mpi::RequestMap >:
[legend]
Collaboration diagram for clang::ento::ProgramStateTrait< mpi::RequestMap >:
[legend]

Static Public Member Functions

static void * GDMIndex ()
 

Detailed Description

template<>
struct clang::ento::ProgramStateTrait< mpi::RequestMap >

Definition at line 58 of file MPITypes.h.

Member Function Documentation

static void* clang::ento::ProgramStateTrait< mpi::RequestMap >::GDMIndex ( )
inlinestatic

Definition at line 60 of file MPITypes.h.


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