clang
3.9.0
|
#include <ProgramState.h>
Public Types | |
typedef T::data_type | data_type |
Static Public Member Functions | |
static void * | MakeVoidPtr (data_type D) |
static data_type | MakeData (void *const *P) |
Definition at line 54 of file ProgramState.h.
typedef T::data_type clang::ento::ProgramStateTrait< T >::data_type |
Definition at line 55 of file ProgramState.h.
|
inlinestatic |
Definition at line 57 of file ProgramState.h.
Referenced by clang::ento::ProgramState::get().
|
inlinestatic |
Definition at line 56 of file ProgramState.h.