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

#include <xsatBQueue.h>

Public Attributes

int nSize
 
int nCap
 
int iFirst
 
int iEmpty
 
word nSum
 
unsigned * pData
 

Detailed Description

Definition at line 35 of file xsatBQueue.h.

Member Data Documentation

◆ iEmpty

int xSAT_BQueue_t_::iEmpty

Definition at line 40 of file xsatBQueue.h.

◆ iFirst

int xSAT_BQueue_t_::iFirst

Definition at line 39 of file xsatBQueue.h.

◆ nCap

int xSAT_BQueue_t_::nCap

Definition at line 38 of file xsatBQueue.h.

◆ nSize

int xSAT_BQueue_t_::nSize

Definition at line 37 of file xsatBQueue.h.

◆ nSum

word xSAT_BQueue_t_::nSum

Definition at line 41 of file xsatBQueue.h.

◆ pData

unsigned* xSAT_BQueue_t_::pData

Definition at line 42 of file xsatBQueue.h.

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