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

#include <giaCSatP.h>

Collaboration diagram for CbsP_Que_t_:
Collaboration graph
[legend]

Public Attributes

int iHead
 
int iTail
 
int nSize
 
Gia_Obj_t ** pData
 

Detailed Description

Definition at line 67 of file giaCSatP.h.

Member Data Documentation

◆ iHead

int CbsP_Que_t_::iHead

Definition at line 69 of file giaCSatP.h.

◆ iTail

int CbsP_Que_t_::iTail

Definition at line 70 of file giaCSatP.h.

◆ nSize

int CbsP_Que_t_::nSize

Definition at line 71 of file giaCSatP.h.

◆ pData

Gia_Obj_t** CbsP_Que_t_::pData

Definition at line 72 of file giaCSatP.h.

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