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

#include <cbaPrs.h>

Collaboration diagram for Prs_Man_t_:
Collaboration graph
[legend]

Public Attributes

char * pName
 
char * pBuffer
 
char * pLimit
 
char * pCur
 
Abc_Nam_t * pStrs
 
Abc_Nam_t * pFuns
 
Hash_IntMan_t * vHash
 
Prs_Ntk_t * pNtk
 
Vec_Ptr_t * vNtks
 
Vec_Str_t vCover
 
Vec_Int_t vTemp
 
Vec_Int_t vTemp2
 
Vec_Int_t vTemp3
 
Vec_Int_t vTemp4
 
Vec_Int_t vKnown
 
Vec_Int_t vFailed
 
Vec_Int_t vSucceeded
 
int nOpens
 
int fUsingTemp2
 
int FuncNameId
 
int FuncRangeId
 
char ErrorStr [1000]
 

Detailed Description

Definition at line 108 of file cbaPrs.h.

Member Data Documentation

◆ ErrorStr

char Prs_Man_t_::ErrorStr[1000]

Definition at line 135 of file cbaPrs.h.

◆ FuncNameId

int Prs_Man_t_::FuncNameId

Definition at line 133 of file cbaPrs.h.

◆ FuncRangeId

int Prs_Man_t_::FuncRangeId

Definition at line 134 of file cbaPrs.h.

◆ fUsingTemp2

int Prs_Man_t_::fUsingTemp2

Definition at line 132 of file cbaPrs.h.

◆ nOpens

int Prs_Man_t_::nOpens

Definition at line 131 of file cbaPrs.h.

◆ pBuffer

char* Prs_Man_t_::pBuffer

Definition at line 112 of file cbaPrs.h.

◆ pCur

char* Prs_Man_t_::pCur

Definition at line 114 of file cbaPrs.h.

◆ pFuns

Abc_Nam_t* Prs_Man_t_::pFuns

Definition at line 116 of file cbaPrs.h.

◆ pLimit

char* Prs_Man_t_::pLimit

Definition at line 113 of file cbaPrs.h.

◆ pName

char* Prs_Man_t_::pName

Definition at line 111 of file cbaPrs.h.

◆ pNtk

Prs_Ntk_t* Prs_Man_t_::pNtk

Definition at line 118 of file cbaPrs.h.

◆ pStrs

Abc_Nam_t* Prs_Man_t_::pStrs

Definition at line 115 of file cbaPrs.h.

◆ vCover

Vec_Str_t Prs_Man_t_::vCover

Definition at line 121 of file cbaPrs.h.

◆ vFailed

Vec_Int_t Prs_Man_t_::vFailed

Definition at line 128 of file cbaPrs.h.

◆ vHash

Hash_IntMan_t* Prs_Man_t_::vHash

Definition at line 117 of file cbaPrs.h.

◆ vKnown

Vec_Int_t Prs_Man_t_::vKnown

Definition at line 127 of file cbaPrs.h.

◆ vNtks

Vec_Ptr_t* Prs_Man_t_::vNtks

Definition at line 119 of file cbaPrs.h.

◆ vSucceeded

Vec_Int_t Prs_Man_t_::vSucceeded

Definition at line 129 of file cbaPrs.h.

◆ vTemp

Vec_Int_t Prs_Man_t_::vTemp

Definition at line 122 of file cbaPrs.h.

◆ vTemp2

Vec_Int_t Prs_Man_t_::vTemp2

Definition at line 123 of file cbaPrs.h.

◆ vTemp3

Vec_Int_t Prs_Man_t_::vTemp3

Definition at line 124 of file cbaPrs.h.

◆ vTemp4

Vec_Int_t Prs_Man_t_::vTemp4

Definition at line 125 of file cbaPrs.h.

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