ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Sat_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 55 of file satMem.c.

Member Data Documentation

◆ nChunks

int Sat_MmFlex_t_::nChunks

Definition at line 65 of file satMem.c.

◆ nChunksAlloc

int Sat_MmFlex_t_::nChunksAlloc

Definition at line 64 of file satMem.c.

◆ nChunkSize

int Sat_MmFlex_t_::nChunkSize

Definition at line 63 of file satMem.c.

◆ nEntriesUsed

int Sat_MmFlex_t_::nEntriesUsed

Definition at line 58 of file satMem.c.

◆ nMemoryAlloc

int Sat_MmFlex_t_::nMemoryAlloc

Definition at line 70 of file satMem.c.

◆ nMemoryUsed

int Sat_MmFlex_t_::nMemoryUsed

Definition at line 69 of file satMem.c.

◆ pChunks

char** Sat_MmFlex_t_::pChunks

Definition at line 66 of file satMem.c.

◆ pCurrent

char* Sat_MmFlex_t_::pCurrent

Definition at line 59 of file satMem.c.

◆ pEnd

char* Sat_MmFlex_t_::pEnd

Definition at line 60 of file satMem.c.

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