ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Msat_MmFlex_t_ Struct Reference

Public Attributes

int nEntriesUsed
 
char * pCurrent
 
char * pEnd
 
int nChunkSize
 
int nChunksAlloc
 
int nChunks
 
char ** pChunks
 
int nMemoryUsed
 
int nMemoryAlloc
 

Detailed Description

Definition at line 50 of file msatMem.c.

Member Data Documentation

◆ nChunks

int Msat_MmFlex_t_::nChunks

Definition at line 60 of file msatMem.c.

◆ nChunksAlloc

int Msat_MmFlex_t_::nChunksAlloc

Definition at line 59 of file msatMem.c.

◆ nChunkSize

int Msat_MmFlex_t_::nChunkSize

Definition at line 58 of file msatMem.c.

◆ nEntriesUsed

int Msat_MmFlex_t_::nEntriesUsed

Definition at line 53 of file msatMem.c.

◆ nMemoryAlloc

int Msat_MmFlex_t_::nMemoryAlloc

Definition at line 65 of file msatMem.c.

◆ nMemoryUsed

int Msat_MmFlex_t_::nMemoryUsed

Definition at line 64 of file msatMem.c.

◆ pChunks

char** Msat_MmFlex_t_::pChunks

Definition at line 61 of file msatMem.c.

◆ pCurrent

char* Msat_MmFlex_t_::pCurrent

Definition at line 54 of file msatMem.c.

◆ pEnd

char* Msat_MmFlex_t_::pEnd

Definition at line 55 of file msatMem.c.

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