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

#include <ProgramStateTrait.h>

List of all members.

Public Types
typedef bool	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< bool >

Definition at line 190 of file ProgramStateTrait.h.

---

Member Typedef Documentation

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

Definition at line 191 of file ProgramStateTrait.h.

---

Member Function Documentation

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

(

void *const *

p

)

[inline, static]

Definition at line 193 of file ProgramStateTrait.h.

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

(

data_type

d

)

[inline, static]

Definition at line 197 of file ProgramStateTrait.h.

---

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

• ProgramStateTrait.h