Fraig_MemFixed_t_ Struct Reference

Data Fields
int	nEntrySize
int	nEntriesAlloc
int	nEntriesUsed
int	nEntriesMax
char *	pEntriesFree
int	nChunkSize
int	nChunksAlloc
int	nChunks
char **	pChunks
int	nMemoryUsed
int	nMemoryAlloc

---

Detailed Description

CFile****************************************************************

FileName [fraigMem.c]

PackageName [FRAIG: Functionally reduced AND-INV graphs.]

Synopsis [Fixed-size-entry memory manager for the FRAIG package.]

Author [Alan Mishchenko <alanmi@eecs.berkeley.edu>]

Affiliation [UC Berkeley]

Date [Ver. 2.0. Started - October 1, 2004]

Revision [

Id

fraigMem.c,v 1.4 2005/07/08 01:01:31 alanmi Exp

] DECLARATIONS ///

Definition at line 25 of file fraigMem.c.

---

Field Documentation

int Fraig_MemFixed_t_::nChunks

Definition at line 37 of file fraigMem.c.

int Fraig_MemFixed_t_::nChunksAlloc

Definition at line 36 of file fraigMem.c.

int Fraig_MemFixed_t_::nChunkSize

Definition at line 35 of file fraigMem.c.

int Fraig_MemFixed_t_::nEntriesAlloc

Definition at line 29 of file fraigMem.c.

int Fraig_MemFixed_t_::nEntriesMax

Definition at line 31 of file fraigMem.c.

int Fraig_MemFixed_t_::nEntriesUsed

Definition at line 30 of file fraigMem.c.

int Fraig_MemFixed_t_::nEntrySize

Definition at line 28 of file fraigMem.c.

int Fraig_MemFixed_t_::nMemoryAlloc

Definition at line 42 of file fraigMem.c.

int Fraig_MemFixed_t_::nMemoryUsed

Definition at line 41 of file fraigMem.c.

char** Fraig_MemFixed_t_::pChunks

Definition at line 38 of file fraigMem.c.

char* Fraig_MemFixed_t_::pEntriesFree

Definition at line 32 of file fraigMem.c.

---

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

• src/sat/fraig/fraigMem.c