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

Public Attributes

char * pName
 
char * pBuffer
 
char * pLimit
 
char * pCur
 
Abc_Nam_t * pStrs
 
Vec_Int_t vStack
 
Vec_Wec_t vObjs
 
int NameCount
 
int nDigits
 
Vec_Int_t vTempFans
 
char ErrorStr [1000]
 

Detailed Description

Definition at line 32 of file wlcReadSmt.c.

Member Data Documentation

◆ ErrorStr

char Smt_Prs_t_::ErrorStr[1000]

Definition at line 48 of file wlcReadSmt.c.

◆ NameCount

int Smt_Prs_t_::NameCount

Definition at line 44 of file wlcReadSmt.c.

◆ nDigits

int Smt_Prs_t_::nDigits

Definition at line 45 of file wlcReadSmt.c.

◆ pBuffer

char* Smt_Prs_t_::pBuffer

Definition at line 36 of file wlcReadSmt.c.

◆ pCur

char* Smt_Prs_t_::pCur

Definition at line 38 of file wlcReadSmt.c.

◆ pLimit

char* Smt_Prs_t_::pLimit

Definition at line 37 of file wlcReadSmt.c.

◆ pName

char* Smt_Prs_t_::pName

Definition at line 35 of file wlcReadSmt.c.

◆ pStrs

Abc_Nam_t* Smt_Prs_t_::pStrs

Definition at line 39 of file wlcReadSmt.c.

◆ vObjs

Vec_Wec_t Smt_Prs_t_::vObjs

Definition at line 43 of file wlcReadSmt.c.

◆ vStack

Vec_Int_t Smt_Prs_t_::vStack

Definition at line 41 of file wlcReadSmt.c.

◆ vTempFans

Vec_Int_t Smt_Prs_t_::vTempFans

Definition at line 46 of file wlcReadSmt.c.

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