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

Public Attributes

int nMems
 
Sat_MmFixed_t ** pMems
 
int nMapSize
 
Sat_MmFixed_t ** pMap
 
int nChunksAlloc
 
int nChunks
 
char ** pChunks
 

Detailed Description

Definition at line 73 of file satMem.c.

Member Data Documentation

◆ nChunks

int Sat_MmStep_t_::nChunks

Definition at line 81 of file satMem.c.

◆ nChunksAlloc

int Sat_MmStep_t_::nChunksAlloc

Definition at line 80 of file satMem.c.

◆ nMapSize

int Sat_MmStep_t_::nMapSize

Definition at line 77 of file satMem.c.

◆ nMems

int Sat_MmStep_t_::nMems

Definition at line 75 of file satMem.c.

◆ pChunks

char** Sat_MmStep_t_::pChunks

Definition at line 82 of file satMem.c.

◆ pMap

Sat_MmFixed_t** Sat_MmStep_t_::pMap

Definition at line 78 of file satMem.c.

◆ pMems

Sat_MmFixed_t** Sat_MmStep_t_::pMems

Definition at line 76 of file satMem.c.

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