Abc_Frame_t_ Struct Reference

#include <mainInt.h>

Collaboration diagram for Abc_Frame_t_:

[legend]

Data Fields
char *	sVersion
st_table *	tCommands
st_table *	tAliases
st_table *	tFlags
Vec_Ptr_t *	aHistory
Abc_Ntk_t *	pNtkCur
int	nSteps
int	fAutoexac
int	fBatchMode
FILE *	Out
FILE *	Err
FILE *	Hst
int	TimeCommand
int	TimeTotal
Vec_Ptr_t *	vStore
void *	pManDec
DdManager *	dd
void *	pLibLut
void *	pLibGen
void *	pLibSuper
void *	pLibVer

---

Detailed Description

STRUCTURE DEFINITIONS ///

Definition at line 44 of file mainInt.h.

---

Field Documentation

Vec_Ptr_t* Abc_Frame_t_::aHistory

Definition at line 52 of file mainInt.h.

DdManager* Abc_Frame_t_::dd

Definition at line 69 of file mainInt.h.

FILE* Abc_Frame_t_::Err

Definition at line 60 of file mainInt.h.

int Abc_Frame_t_::fAutoexac

Definition at line 56 of file mainInt.h.

int Abc_Frame_t_::fBatchMode

Definition at line 57 of file mainInt.h.

FILE* Abc_Frame_t_::Hst

Definition at line 61 of file mainInt.h.

int Abc_Frame_t_::nSteps

Definition at line 55 of file mainInt.h.

FILE* Abc_Frame_t_::Out

Definition at line 59 of file mainInt.h.

void* Abc_Frame_t_::pLibGen

Definition at line 72 of file mainInt.h.

void* Abc_Frame_t_::pLibLut

Definition at line 71 of file mainInt.h.

void* Abc_Frame_t_::pLibSuper

Definition at line 73 of file mainInt.h.

void* Abc_Frame_t_::pLibVer

Definition at line 74 of file mainInt.h.

void* Abc_Frame_t_::pManDec

Definition at line 68 of file mainInt.h.

Abc_Ntk_t* Abc_Frame_t_::pNtkCur

Definition at line 54 of file mainInt.h.

char* Abc_Frame_t_::sVersion

Definition at line 47 of file mainInt.h.

st_table* Abc_Frame_t_::tAliases

Definition at line 50 of file mainInt.h.

st_table* Abc_Frame_t_::tCommands

Definition at line 49 of file mainInt.h.

st_table* Abc_Frame_t_::tFlags

Definition at line 51 of file mainInt.h.

int Abc_Frame_t_::TimeCommand

Definition at line 63 of file mainInt.h.

int Abc_Frame_t_::TimeTotal

Definition at line 64 of file mainInt.h.

Vec_Ptr_t* Abc_Frame_t_::vStore

Definition at line 66 of file mainInt.h.

---

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

• src/base/main/mainInt.h