Ver_Man_t_ Struct Reference

#include <ver.h>

Data Fields
int	fMapped
int	fUseMemMan
int	fCheck
char *	pFileName
Ver_Stream_t *	pReader
int	fNameLast
ProgressBar *	pProgress
Abc_Des_t *	pDesign
st__table *	tName2Suffix
FILE *	Output
int	fTopLevel
int	fError
char	sError [2000]
Vec_Ptr_t *	vNames
Vec_Ptr_t *	vStackFn
Vec_Int_t *	vStackOp
Vec_Int_t *	vPerm

Detailed Description

Definition at line 48 of file ver.h.

Field Documentation

int Ver_Man_t_::fCheck

Definition at line 53 of file ver.h.

int Ver_Man_t_::fError

Definition at line 65 of file ver.h.

int Ver_Man_t_::fMapped

Definition at line 51 of file ver.h.

int Ver_Man_t_::fNameLast

Definition at line 57 of file ver.h.

int Ver_Man_t_::fTopLevel

Definition at line 64 of file ver.h.

int Ver_Man_t_::fUseMemMan

Definition at line 52 of file ver.h.

FILE* Ver_Man_t_::Output

Definition at line 63 of file ver.h.

Abc_Des_t* Ver_Man_t_::pDesign

Definition at line 60 of file ver.h.

char* Ver_Man_t_::pFileName

Definition at line 55 of file ver.h.

ProgressBar* Ver_Man_t_::pProgress

Definition at line 58 of file ver.h.

Ver_Stream_t* Ver_Man_t_::pReader

Definition at line 56 of file ver.h.

char Ver_Man_t_::sError[2000]

Definition at line 66 of file ver.h.

st__table* Ver_Man_t_::tName2Suffix

Definition at line 61 of file ver.h.

Vec_Ptr_t* Ver_Man_t_::vNames

Definition at line 68 of file ver.h.

Vec_Int_t* Ver_Man_t_::vPerm

Definition at line 71 of file ver.h.

Vec_Ptr_t* Ver_Man_t_::vStackFn

Definition at line 69 of file ver.h.

Vec_Int_t* Ver_Man_t_::vStackOp

Definition at line 70 of file ver.h.

---

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

• ver.h