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

#include <mainInt.h>

Collaboration diagram for Abc_Frame_t_:
Collaboration graph
[legend]

Public Attributes

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
 
Abc_Ntk_t * pNtkBest
 
float nBestNtkArea
 
float nBestNtkDelay
 
int nBestNtkNodes
 
int nBestNtkLevels
 
FILE * Out
 
FILE * Err
 
FILE * Hst
 
double TimeCommand
 
double TimeTotal
 
Vec_Ptr_t * vStore
 
void * pManDec
 
void * pManDsd
 
void * pManDsd2
 
void * pLibLut
 
void * pLibBox
 
void * pLibGen
 
void * pLibGen2
 
void * pLibSuper
 
void * pLibScl
 
void * pAbcCon
 
char * pDrivingCell
 
float MaxLoad
 
Vec_Int_t * vIndFlops
 
int nIndFrames
 
Gia_Man_t * pGia
 
Gia_Man_t * pGia2
 
Gia_Man_t * pGiaBest
 
Gia_Man_t * pGiaBest2
 
Gia_Man_t * pGiaSaved
 
int nBestLuts
 
int nBestEdges
 
int nBestLevels
 
int nBestLuts2
 
int nBestEdges2
 
int nBestLevels2
 
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
 
Vec_Ptr_t * vSignalNames
 
char * pSpecName
 
void * pSave1
 
void * pSave2
 
void * pSave3
 
void * pSave4
 
void * pAbc85Ntl
 
void * pAbc85Ntl2
 
void * pAbc85Best
 
void * pAbc85Delay
 
void * pAbcWlc
 
Vec_Int_t * pAbcWlcInv
 
void * pAbcRtl
 
void * pAbcBac
 
void * pAbcCba
 
void * pAbcPla
 
Abc_Nam_t * pJsonStrs
 
Vec_Wec_t * vJsonObjs
 
Hsh_VecMan_t * pHash
 
Gia_Man_t * pGiaMiniAig
 
Gia_Man_t * pGiaMiniLut
 
Vec_Int_t * vCopyMiniAig
 
Vec_Int_t * vCopyMiniLut
 
Vec_Int_t * vMiniLutObjs
 
Vec_Int_t * vObjDelays
 
int * pArray
 
int * pBoxes
 
void * pNdr
 
int * pNdrArray
 
Abc_Frame_Callback_BmcFrameDone_Func pFuncOnFrameDone
 

Detailed Description

Definition at line 60 of file mainInt.h.

Member Data Documentation

◆ aHistory

Vec_Ptr_t* Abc_Frame_t_::aHistory

Definition at line 69 of file mainInt.h.

◆ Err

FILE* Abc_Frame_t_::Err

Definition at line 89 of file mainInt.h.

◆ fAutoexac

int Abc_Frame_t_::fAutoexac

Definition at line 77 of file mainInt.h.

◆ fBatchMode

int Abc_Frame_t_::fBatchMode

Definition at line 78 of file mainInt.h.

◆ fBridgeMode

int Abc_Frame_t_::fBridgeMode

Definition at line 79 of file mainInt.h.

◆ fSource

int Abc_Frame_t_::fSource

Definition at line 76 of file mainInt.h.

◆ Hst

FILE* Abc_Frame_t_::Hst

Definition at line 90 of file mainInt.h.

◆ MaxLoad

float Abc_Frame_t_::MaxLoad

Definition at line 110 of file mainInt.h.

◆ nBestEdges

int Abc_Frame_t_::nBestEdges

Definition at line 122 of file mainInt.h.

◆ nBestEdges2

int Abc_Frame_t_::nBestEdges2

Definition at line 125 of file mainInt.h.

◆ nBestLevels

int Abc_Frame_t_::nBestLevels

Definition at line 123 of file mainInt.h.

◆ nBestLevels2

int Abc_Frame_t_::nBestLevels2

Definition at line 126 of file mainInt.h.

◆ nBestLuts

int Abc_Frame_t_::nBestLuts

Definition at line 121 of file mainInt.h.

◆ nBestLuts2

int Abc_Frame_t_::nBestLuts2

Definition at line 124 of file mainInt.h.

◆ nBestNtkArea

float Abc_Frame_t_::nBestNtkArea

Definition at line 82 of file mainInt.h.

◆ nBestNtkDelay

float Abc_Frame_t_::nBestNtkDelay

Definition at line 83 of file mainInt.h.

◆ nBestNtkLevels

int Abc_Frame_t_::nBestNtkLevels

Definition at line 85 of file mainInt.h.

◆ nBestNtkNodes

int Abc_Frame_t_::nBestNtkNodes

Definition at line 84 of file mainInt.h.

◆ nFrames

int Abc_Frame_t_::nFrames

Definition at line 134 of file mainInt.h.

◆ nIndFrames

int Abc_Frame_t_::nIndFrames

Definition at line 113 of file mainInt.h.

◆ nSteps

int Abc_Frame_t_::nSteps

Definition at line 75 of file mainInt.h.

◆ Out

FILE* Abc_Frame_t_::Out

Definition at line 88 of file mainInt.h.

◆ pAbc85Best

void* Abc_Frame_t_::pAbc85Best

Definition at line 145 of file mainInt.h.

◆ pAbc85Delay

void* Abc_Frame_t_::pAbc85Delay

Definition at line 146 of file mainInt.h.

◆ pAbc85Ntl

void* Abc_Frame_t_::pAbc85Ntl

Definition at line 143 of file mainInt.h.

◆ pAbc85Ntl2

void* Abc_Frame_t_::pAbc85Ntl2

Definition at line 144 of file mainInt.h.

◆ pAbcBac

void* Abc_Frame_t_::pAbcBac

Definition at line 150 of file mainInt.h.

◆ pAbcCba

void* Abc_Frame_t_::pAbcCba

Definition at line 151 of file mainInt.h.

◆ pAbcCon

void* Abc_Frame_t_::pAbcCon

Definition at line 107 of file mainInt.h.

◆ pAbcPla

void* Abc_Frame_t_::pAbcPla

Definition at line 152 of file mainInt.h.

◆ pAbcRtl

void* Abc_Frame_t_::pAbcRtl

Definition at line 149 of file mainInt.h.

◆ pAbcWlc

void* Abc_Frame_t_::pAbcWlc

Definition at line 147 of file mainInt.h.

◆ pAbcWlcInv

Vec_Int_t* Abc_Frame_t_::pAbcWlcInv

Definition at line 148 of file mainInt.h.

◆ pArray

int* Abc_Frame_t_::pArray

Definition at line 165 of file mainInt.h.

◆ pBoxes

int* Abc_Frame_t_::pBoxes

Definition at line 166 of file mainInt.h.

◆ pCex

Abc_Cex_t* Abc_Frame_t_::pCex

Definition at line 127 of file mainInt.h.

◆ pCex2

Abc_Cex_t* Abc_Frame_t_::pCex2

Definition at line 128 of file mainInt.h.

◆ pDrivingCell

char* Abc_Frame_t_::pDrivingCell

Definition at line 109 of file mainInt.h.

◆ pFuncOnFrameDone

Abc_Frame_Callback_BmcFrameDone_Func Abc_Frame_t_::pFuncOnFrameDone

Definition at line 170 of file mainInt.h.

◆ pGia

Gia_Man_t* Abc_Frame_t_::pGia

Definition at line 116 of file mainInt.h.

◆ pGia2

Gia_Man_t* Abc_Frame_t_::pGia2

Definition at line 117 of file mainInt.h.

◆ pGiaBest

Gia_Man_t* Abc_Frame_t_::pGiaBest

Definition at line 118 of file mainInt.h.

◆ pGiaBest2

Gia_Man_t* Abc_Frame_t_::pGiaBest2

Definition at line 119 of file mainInt.h.

◆ pGiaMiniAig

Gia_Man_t* Abc_Frame_t_::pGiaMiniAig

Definition at line 159 of file mainInt.h.

◆ pGiaMiniLut

Gia_Man_t* Abc_Frame_t_::pGiaMiniLut

Definition at line 160 of file mainInt.h.

◆ pGiaSaved

Gia_Man_t* Abc_Frame_t_::pGiaSaved

Definition at line 120 of file mainInt.h.

◆ pHash

Hsh_VecMan_t* Abc_Frame_t_::pHash

Definition at line 155 of file mainInt.h.

◆ pJsonStrs

Abc_Nam_t* Abc_Frame_t_::pJsonStrs

Definition at line 153 of file mainInt.h.

◆ pLibBox

void* Abc_Frame_t_::pLibBox

Definition at line 102 of file mainInt.h.

◆ pLibGen

void* Abc_Frame_t_::pLibGen

Definition at line 103 of file mainInt.h.

◆ pLibGen2

void* Abc_Frame_t_::pLibGen2

Definition at line 104 of file mainInt.h.

◆ pLibLut

void* Abc_Frame_t_::pLibLut

Definition at line 101 of file mainInt.h.

◆ pLibScl

void* Abc_Frame_t_::pLibScl

Definition at line 106 of file mainInt.h.

◆ pLibSuper

void* Abc_Frame_t_::pLibSuper

Definition at line 105 of file mainInt.h.

◆ pManDec

void* Abc_Frame_t_::pManDec

Definition at line 97 of file mainInt.h.

◆ pManDsd

void* Abc_Frame_t_::pManDsd

Definition at line 98 of file mainInt.h.

◆ pManDsd2

void* Abc_Frame_t_::pManDsd2

Definition at line 99 of file mainInt.h.

◆ pNdr

void* Abc_Frame_t_::pNdr

Definition at line 167 of file mainInt.h.

◆ pNdrArray

int* Abc_Frame_t_::pNdrArray

Definition at line 168 of file mainInt.h.

◆ pNtkBackup

Abc_Ntk_t* Abc_Frame_t_::pNtkBackup

Definition at line 74 of file mainInt.h.

◆ pNtkBest

Abc_Ntk_t* Abc_Frame_t_::pNtkBest

Definition at line 81 of file mainInt.h.

◆ pNtkBestArea

Abc_Ntk_t* Abc_Frame_t_::pNtkBestArea

Definition at line 73 of file mainInt.h.

◆ pNtkBestDelay

Abc_Ntk_t* Abc_Frame_t_::pNtkBestDelay

Definition at line 72 of file mainInt.h.

◆ pNtkCur

Abc_Ntk_t* Abc_Frame_t_::pNtkCur

Definition at line 71 of file mainInt.h.

◆ pSave1

void* Abc_Frame_t_::pSave1

Definition at line 139 of file mainInt.h.

◆ pSave2

void* Abc_Frame_t_::pSave2

Definition at line 140 of file mainInt.h.

◆ pSave3

void* Abc_Frame_t_::pSave3

Definition at line 141 of file mainInt.h.

◆ pSave4

void* Abc_Frame_t_::pSave4

Definition at line 142 of file mainInt.h.

◆ pSpecName

char* Abc_Frame_t_::pSpecName

Definition at line 138 of file mainInt.h.

◆ sBinary

char* Abc_Frame_t_::sBinary

Definition at line 64 of file mainInt.h.

◆ Status

int Abc_Frame_t_::Status

Definition at line 133 of file mainInt.h.

◆ sVersion

char* Abc_Frame_t_::sVersion

Definition at line 63 of file mainInt.h.

◆ tAliases

st__table* Abc_Frame_t_::tAliases

Definition at line 67 of file mainInt.h.

◆ tCommands

st__table* Abc_Frame_t_::tCommands

Definition at line 66 of file mainInt.h.

◆ tFlags

st__table* Abc_Frame_t_::tFlags

Definition at line 68 of file mainInt.h.

◆ TimeCommand

double Abc_Frame_t_::TimeCommand

Definition at line 92 of file mainInt.h.

◆ TimeTotal

double Abc_Frame_t_::TimeTotal

Definition at line 93 of file mainInt.h.

◆ vAbcObjIds

Vec_Int_t* Abc_Frame_t_::vAbcObjIds

Definition at line 132 of file mainInt.h.

◆ vCexVec

Vec_Ptr_t* Abc_Frame_t_::vCexVec

Definition at line 129 of file mainInt.h.

◆ vCopyMiniAig

Vec_Int_t* Abc_Frame_t_::vCopyMiniAig

Definition at line 161 of file mainInt.h.

◆ vCopyMiniLut

Vec_Int_t* Abc_Frame_t_::vCopyMiniLut

Definition at line 162 of file mainInt.h.

◆ vIndFlops

Vec_Int_t* Abc_Frame_t_::vIndFlops

Definition at line 112 of file mainInt.h.

◆ vJsonObjs

Vec_Wec_t* Abc_Frame_t_::vJsonObjs

Definition at line 154 of file mainInt.h.

◆ vLTLProperties_global

Vec_Ptr_t* Abc_Frame_t_::vLTLProperties_global

Definition at line 136 of file mainInt.h.

◆ vMiniLutObjs

Vec_Int_t* Abc_Frame_t_::vMiniLutObjs

Definition at line 163 of file mainInt.h.

◆ vObjDelays

Vec_Int_t* Abc_Frame_t_::vObjDelays

Definition at line 164 of file mainInt.h.

◆ vPlugInComBinPairs

Vec_Ptr_t* Abc_Frame_t_::vPlugInComBinPairs

Definition at line 135 of file mainInt.h.

◆ vPoEquivs

Vec_Ptr_t* Abc_Frame_t_::vPoEquivs

Definition at line 130 of file mainInt.h.

◆ vSignalNames

Vec_Ptr_t* Abc_Frame_t_::vSignalNames

Definition at line 137 of file mainInt.h.

◆ vStatuses

Vec_Int_t* Abc_Frame_t_::vStatuses

Definition at line 131 of file mainInt.h.

◆ vStore

Vec_Ptr_t* Abc_Frame_t_::vStore

Definition at line 95 of file mainInt.h.

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