Abc_Frame_t_ Struct Reference

STRUCTURE DEFINITIONS ///. More...

#include <mainInt.h>

Data Fields
char *	sVersion
char *	sBinary
st__table *	tCommands
st__table *	tAliases
st__table *	tFlags
Vec_Ptr_t *	aHistory
Abc_Ntk_t *	pNtkCur
Abc_Ntk_t *	pNtkBestDelay
Abc_Ntk_t *	pNtkBestArea
Abc_Ntk_t *	pNtkBackup
int	nSteps
int	fSource
int	fAutoexac
int	fBatchMode
int	fBridgeMode
FILE *	Out
FILE *	Err
FILE *	Hst
double	TimeCommand
double	TimeTotal
Vec_Ptr_t *	vStore
void *	pManDec
void *	pManDsd
void *	pManDsd2
DdManager *	dd
void *	pLibLut
void *	pLibBox
void *	pLibGen
void *	pLibGen2
void *	pLibSuper
void *	pLibScl
char *	pDrivingCell
float	MaxLoad
Vec_Int_t *	vIndFlops
int	nIndFrames
Gia_Man_t *	pGia
Gia_Man_t *	pGia2
Gia_Man_t *	pGiaBest
int	nBestLuts
int	nBestEdges
int	nBestLevels
Abc_Cex_t *	pCex
Abc_Cex_t *	pCex2
Vec_Ptr_t *	vCexVec
Vec_Ptr_t *	vPoEquivs
Vec_Int_t *	vStatuses
Vec_Int_t *	vAbcObjIds
int	Status
int	nFrames
Vec_Ptr_t *	vPlugInComBinPairs
Vec_Ptr_t *	vLTLProperties_global
void *	pSave1
void *	pSave2
void *	pSave3
void *	pSave4
void *	pAbc85Ntl
void *	pAbc85Ntl2
void *	pAbc85Best
void *	pAbc85Delay
void *	pAbcWlc
void *	pAbcCba

Detailed Description

STRUCTURE DEFINITIONS ///.

Definition at line 56 of file mainInt.h.

Field Documentation

Vec_Ptr_t* Abc_Frame_t_::aHistory

Definition at line 65 of file mainInt.h.

DdManager* Abc_Frame_t_::dd

Definition at line 89 of file mainInt.h.

FILE* Abc_Frame_t_::Err

Definition at line 78 of file mainInt.h.

int Abc_Frame_t_::fAutoexac

Definition at line 73 of file mainInt.h.

int Abc_Frame_t_::fBatchMode

Definition at line 74 of file mainInt.h.

int Abc_Frame_t_::fBridgeMode

Definition at line 75 of file mainInt.h.

int Abc_Frame_t_::fSource

Definition at line 72 of file mainInt.h.

FILE* Abc_Frame_t_::Hst

Definition at line 79 of file mainInt.h.

float Abc_Frame_t_::MaxLoad

Definition at line 99 of file mainInt.h.

int Abc_Frame_t_::nBestEdges

Definition at line 109 of file mainInt.h.

int Abc_Frame_t_::nBestLevels

Definition at line 110 of file mainInt.h.

int Abc_Frame_t_::nBestLuts

Definition at line 108 of file mainInt.h.

int Abc_Frame_t_::nFrames

Definition at line 118 of file mainInt.h.

int Abc_Frame_t_::nIndFrames

Definition at line 102 of file mainInt.h.

int Abc_Frame_t_::nSteps

Definition at line 71 of file mainInt.h.

FILE* Abc_Frame_t_::Out

Definition at line 77 of file mainInt.h.

void* Abc_Frame_t_::pAbc85Best

Definition at line 127 of file mainInt.h.

void* Abc_Frame_t_::pAbc85Delay

Definition at line 128 of file mainInt.h.

void* Abc_Frame_t_::pAbc85Ntl

Definition at line 125 of file mainInt.h.

void* Abc_Frame_t_::pAbc85Ntl2

Definition at line 126 of file mainInt.h.

void* Abc_Frame_t_::pAbcCba

Definition at line 130 of file mainInt.h.

void* Abc_Frame_t_::pAbcWlc

Definition at line 129 of file mainInt.h.

Abc_Cex_t* Abc_Frame_t_::pCex

Definition at line 111 of file mainInt.h.

Abc_Cex_t* Abc_Frame_t_::pCex2

Definition at line 112 of file mainInt.h.

char* Abc_Frame_t_::pDrivingCell

Definition at line 98 of file mainInt.h.

Gia_Man_t* Abc_Frame_t_::pGia

Definition at line 105 of file mainInt.h.

Gia_Man_t* Abc_Frame_t_::pGia2

Definition at line 106 of file mainInt.h.

Gia_Man_t* Abc_Frame_t_::pGiaBest

Definition at line 107 of file mainInt.h.

void* Abc_Frame_t_::pLibBox

Definition at line 92 of file mainInt.h.

void* Abc_Frame_t_::pLibGen

Definition at line 93 of file mainInt.h.

void* Abc_Frame_t_::pLibGen2

Definition at line 94 of file mainInt.h.

void* Abc_Frame_t_::pLibLut

Definition at line 91 of file mainInt.h.

void* Abc_Frame_t_::pLibScl

Definition at line 96 of file mainInt.h.

void* Abc_Frame_t_::pLibSuper

Definition at line 95 of file mainInt.h.

void* Abc_Frame_t_::pManDec

Definition at line 86 of file mainInt.h.

void* Abc_Frame_t_::pManDsd

Definition at line 87 of file mainInt.h.

void* Abc_Frame_t_::pManDsd2

Definition at line 88 of file mainInt.h.

Abc_Ntk_t* Abc_Frame_t_::pNtkBackup

Definition at line 70 of file mainInt.h.

Abc_Ntk_t* Abc_Frame_t_::pNtkBestArea

Definition at line 69 of file mainInt.h.

Abc_Ntk_t* Abc_Frame_t_::pNtkBestDelay

Definition at line 68 of file mainInt.h.

Abc_Ntk_t* Abc_Frame_t_::pNtkCur

Definition at line 67 of file mainInt.h.

void* Abc_Frame_t_::pSave1

Definition at line 121 of file mainInt.h.

void* Abc_Frame_t_::pSave2

Definition at line 122 of file mainInt.h.

void* Abc_Frame_t_::pSave3

Definition at line 123 of file mainInt.h.

void* Abc_Frame_t_::pSave4

Definition at line 124 of file mainInt.h.

char* Abc_Frame_t_::sBinary

Definition at line 60 of file mainInt.h.

int Abc_Frame_t_::Status

Definition at line 117 of file mainInt.h.

char* Abc_Frame_t_::sVersion

Definition at line 59 of file mainInt.h.

st__table* Abc_Frame_t_::tAliases

Definition at line 63 of file mainInt.h.

st__table* Abc_Frame_t_::tCommands

Definition at line 62 of file mainInt.h.

st__table* Abc_Frame_t_::tFlags

Definition at line 64 of file mainInt.h.

double Abc_Frame_t_::TimeCommand

Definition at line 81 of file mainInt.h.

double Abc_Frame_t_::TimeTotal

Definition at line 82 of file mainInt.h.

Vec_Int_t* Abc_Frame_t_::vAbcObjIds

Definition at line 116 of file mainInt.h.

Vec_Ptr_t* Abc_Frame_t_::vCexVec

Definition at line 113 of file mainInt.h.

Vec_Int_t* Abc_Frame_t_::vIndFlops

Definition at line 101 of file mainInt.h.

Vec_Ptr_t* Abc_Frame_t_::vLTLProperties_global

Definition at line 120 of file mainInt.h.

Vec_Ptr_t* Abc_Frame_t_::vPlugInComBinPairs

Definition at line 119 of file mainInt.h.

Vec_Ptr_t* Abc_Frame_t_::vPoEquivs

Definition at line 114 of file mainInt.h.

Vec_Int_t* Abc_Frame_t_::vStatuses

Definition at line 115 of file mainInt.h.

Vec_Ptr_t* Abc_Frame_t_::vStore

Definition at line 84 of file mainInt.h.

---

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

• mainInt.h