Sat_MmFixed_t_ Struct Reference

DECLARATIONS ///. More...

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

DECLARATIONS ///.

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

FileName [satMem.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver.]

Synopsis [Memory management.]

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. 1.0. Started - January 1, 2004.]

Revision [

Id:

satMem.c,v 1.0 2004/01/01 1:00:00 alanmi Exp

]

Definition at line 35 of file satMem.c.

Field Documentation

int Sat_MmFixed_t_::nChunks

Definition at line 47 of file satMem.c.

int Sat_MmFixed_t_::nChunksAlloc

Definition at line 46 of file satMem.c.

int Sat_MmFixed_t_::nChunkSize

Definition at line 45 of file satMem.c.

int Sat_MmFixed_t_::nEntriesAlloc

Definition at line 39 of file satMem.c.

int Sat_MmFixed_t_::nEntriesMax

Definition at line 41 of file satMem.c.

int Sat_MmFixed_t_::nEntriesUsed

Definition at line 40 of file satMem.c.

int Sat_MmFixed_t_::nEntrySize

Definition at line 38 of file satMem.c.

int Sat_MmFixed_t_::nMemoryAlloc

Definition at line 52 of file satMem.c.

int Sat_MmFixed_t_::nMemoryUsed

Definition at line 51 of file satMem.c.

char** Sat_MmFixed_t_::pChunks

Definition at line 48 of file satMem.c.

char* Sat_MmFixed_t_::pEntriesFree

Definition at line 42 of file satMem.c.

---

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

• satMem.c