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

#include <xsatMemory.h>

Public Attributes

unsigned nSize
 
unsigned nCap
 
unsigned nWasted
 
unsigned * pData
 

Detailed Description

Definition at line 37 of file xsatMemory.h.

Member Data Documentation

◆ nCap

unsigned xSAT_Mem_t_::nCap

Definition at line 40 of file xsatMemory.h.

◆ nSize

unsigned xSAT_Mem_t_::nSize

Definition at line 39 of file xsatMemory.h.

◆ nWasted

unsigned xSAT_Mem_t_::nWasted

Definition at line 41 of file xsatMemory.h.

◆ pData

unsigned* xSAT_Mem_t_::pData

Definition at line 42 of file xsatMemory.h.

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