#include <bacPrs.h>

Collaboration diagram for Psr_Man_t_:

[legend]

Public Attributes
char *	pName

char *	pBuffer

char *	pLimit

char *	pCur

Abc_Nam_t *	pStrs

Psr_Ntk_t *	pNtk

Vec_Ptr_t *	vNtks

Vec_Str_t	vCover

Vec_Int_t	vTemp

Vec_Int_t	vTemp2

Vec_Int_t	vKnown

Vec_Int_t	vFailed

Vec_Int_t	vSucceeded

int	fUsingTemp2

char	ErrorStr [1000]

Detailed Description

Definition at line 84 of file bacPrs.h.

Member Data Documentation

◆ ErrorStr

char Psr_Man_t_::ErrorStr[1000]

Definition at line 104 of file bacPrs.h.

◆ fUsingTemp2

int Psr_Man_t_::fUsingTemp2

Definition at line 103 of file bacPrs.h.

◆ pBuffer

char* Psr_Man_t_::pBuffer

Definition at line 88 of file bacPrs.h.

◆ pCur

char* Psr_Man_t_::pCur

Definition at line 90 of file bacPrs.h.

◆ pLimit

char* Psr_Man_t_::pLimit

Definition at line 89 of file bacPrs.h.

◆ pName

char* Psr_Man_t_::pName

Definition at line 87 of file bacPrs.h.

◆ pNtk

Psr_Ntk_t* Psr_Man_t_::pNtk

Definition at line 92 of file bacPrs.h.

◆ pStrs

Abc_Nam_t* Psr_Man_t_::pStrs

Definition at line 91 of file bacPrs.h.

◆ vCover

Vec_Str_t Psr_Man_t_::vCover

Definition at line 95 of file bacPrs.h.

◆ vFailed

Vec_Int_t Psr_Man_t_::vFailed

Definition at line 100 of file bacPrs.h.

◆ vKnown

Vec_Int_t Psr_Man_t_::vKnown

Definition at line 99 of file bacPrs.h.

◆ vNtks

Vec_Ptr_t* Psr_Man_t_::vNtks

Definition at line 93 of file bacPrs.h.

◆ vSucceeded

Vec_Int_t Psr_Man_t_::vSucceeded

Definition at line 101 of file bacPrs.h.

◆ vTemp

Vec_Int_t Psr_Man_t_::vTemp

Definition at line 96 of file bacPrs.h.

◆ vTemp2

Vec_Int_t Psr_Man_t_::vTemp2

Definition at line 97 of file bacPrs.h.

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

src/base/bac/bacPrs.h

Public Attributes