DECLARATIONS ///. More...

Public Attributes
int	nEntrySize

int	nEntriesAlloc

int	nEntriesUsed

int	nEntriesMax

char *	pEntriesFree

int	nChunkSize

int	nChunksAlloc

int	nChunks

char **	pChunks

int	nMemoryUsed

int	nMemoryAlloc

Detailed Description

DECLARATIONS ///.

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

FileName [fraigMem.c]

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

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

Author [Alan Mishchenko alanm.nosp@m.i@ee.nosp@m.cs.be.nosp@m.rkel.nosp@m.ey.ed.nosp@m.u]

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

]

Definition at line 28 of file fraigMem.c.

Member Data Documentation

◆ nChunks

int Fraig_MemFixed_t_::nChunks

Definition at line 40 of file fraigMem.c.

◆ nChunksAlloc

int Fraig_MemFixed_t_::nChunksAlloc

Definition at line 39 of file fraigMem.c.

◆ nChunkSize

int Fraig_MemFixed_t_::nChunkSize

Definition at line 38 of file fraigMem.c.

◆ nEntriesAlloc

int Fraig_MemFixed_t_::nEntriesAlloc

Definition at line 32 of file fraigMem.c.

◆ nEntriesMax

int Fraig_MemFixed_t_::nEntriesMax

Definition at line 34 of file fraigMem.c.

◆ nEntriesUsed

int Fraig_MemFixed_t_::nEntriesUsed

Definition at line 33 of file fraigMem.c.

◆ nEntrySize

int Fraig_MemFixed_t_::nEntrySize

Definition at line 31 of file fraigMem.c.

◆ nMemoryAlloc

int Fraig_MemFixed_t_::nMemoryAlloc

Definition at line 45 of file fraigMem.c.

◆ nMemoryUsed

int Fraig_MemFixed_t_::nMemoryUsed

Definition at line 44 of file fraigMem.c.

◆ pChunks

char** Fraig_MemFixed_t_::pChunks

Definition at line 41 of file fraigMem.c.

◆ pEntriesFree

char* Fraig_MemFixed_t_::pEntriesFree

Definition at line 35 of file fraigMem.c.

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

src/proof/fraig/fraigMem.c

Public Attributes