clang::ento::ProgramStatePartialTrait< unsigned > Struct Template Reference

#include <ProgramStateTrait.h>

List of all members.

Public Types
typedef unsigned	data_type
Static Public Member Functions
static data_type	MakeData (void *const *p)
static void *	MakeVoidPtr (data_type d)

---

Detailed Description

template<>
struct clang::ento::ProgramStatePartialTrait< unsigned >

Definition at line 203 of file ProgramStateTrait.h.

---

Member Typedef Documentation

typedef unsigned clang::ento::ProgramStatePartialTrait< unsigned >::data_type

Definition at line 204 of file ProgramStateTrait.h.

---

Member Function Documentation

static data_type clang::ento::ProgramStatePartialTrait< unsigned >::MakeData

(

void *const *

p

)

[inline, static]

Definition at line 206 of file ProgramStateTrait.h.

static void* clang::ento::ProgramStatePartialTrait< unsigned >::MakeVoidPtr

(

data_type

d

)

[inline, static]

Definition at line 210 of file ProgramStateTrait.h.

---

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

• ProgramStateTrait.h