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

#include "/opt/doxygen-docs/src/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h"

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

Static Public Member Functions

static void * GDMIndex ()
 

Detailed Description

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

Definition at line 57 of file MPITypes.h.

Member Function Documentation

◆ GDMIndex()

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

Definition at line 59 of file MPITypes.h.


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