Msat_MmFixed_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 [msatMem.c]

PackageName [A C version of SAT solver MINISAT, originally developed in C++ by Niklas Een and Niklas Sorensson, Chalmers University of Technology, Sweden: http://www.cs.chalmers.se/~een/Satzoo.]

Synopsis [Memory managers borrowed from Extra.]

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

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - January 1, 2004.]

Revision [

Id

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

] DECLARATIONS ///

Definition at line 27 of file msatMem.c.

---

Field Documentation

int Msat_MmFixed_t_::nChunks

Definition at line 39 of file msatMem.c.

int Msat_MmFixed_t_::nChunksAlloc

Definition at line 38 of file msatMem.c.

int Msat_MmFixed_t_::nChunkSize

Definition at line 37 of file msatMem.c.

int Msat_MmFixed_t_::nEntriesAlloc

Definition at line 31 of file msatMem.c.

int Msat_MmFixed_t_::nEntriesMax

Definition at line 33 of file msatMem.c.

int Msat_MmFixed_t_::nEntriesUsed

Definition at line 32 of file msatMem.c.

int Msat_MmFixed_t_::nEntrySize

Definition at line 30 of file msatMem.c.

int Msat_MmFixed_t_::nMemoryAlloc

Definition at line 44 of file msatMem.c.

int Msat_MmFixed_t_::nMemoryUsed

Definition at line 43 of file msatMem.c.

char** Msat_MmFixed_t_::pChunks

Definition at line 40 of file msatMem.c.

char* Msat_MmFixed_t_::pEntriesFree

Definition at line 34 of file msatMem.c.

---

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

• src/sat/msat/msatMem.c