ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Msat_MmStep_t_ Struct Reference
Collaboration diagram for Msat_MmStep_t_:
Collaboration graph
[legend]

Public Attributes

int nMems
 
Msat_MmFixed_t ** pMems
 
int nMapSize
 
Msat_MmFixed_t ** pMap
 

Detailed Description

Definition at line 69 of file msatMem.c.

Member Data Documentation

◆ nMapSize

int Msat_MmStep_t_::nMapSize

Definition at line 73 of file msatMem.c.

◆ nMems

int Msat_MmStep_t_::nMems

Definition at line 71 of file msatMem.c.

◆ pMap

Msat_MmFixed_t** Msat_MmStep_t_::pMap

Definition at line 74 of file msatMem.c.

◆ pMems

Msat_MmFixed_t** Msat_MmStep_t_::pMems

Definition at line 72 of file msatMem.c.

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