clang  3.9.0
Classes | Typedefs
clang::ento::mpi Namespace Reference

Classes

class  MPIBugReporter
 
class  MPIChecker
 
class  MPIFunctionClassifier
 
class  Request
 
struct  RequestMap
 

Typedefs

typedef llvm::ImmutableMap
< const clang::ento::MemRegion
*, clang::ento::mpi::Request
RequestMapImpl
 

Typedef Documentation

Definition at line 52 of file MPITypes.h.