HAL
Public Attributes | List of all members
Abc_Frame_t_ Struct Reference
Collaboration diagram for Abc_Frame_t_:
Collaboration graph

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 * pAbcBac
 
void * pAbcCba
 
void * pAbcPla
 
Abc_Nam_t * pJsonStrs
 
Vec_Wec_t * vJsonObjs
 
Gia_Man_t * pGiaMiniAig
 
Gia_Man_t * pGiaMiniLut
 
Vec_Int_t * vCopyMiniAig
 
Vec_Int_t * vCopyMiniLut
 
int * pArray
 
int * pBoxes
 
void * pNdr
 
int * pNdrArray
 
Abc_Frame_Callback_BmcFrameDone_Func pFuncOnFrameDone
 

Detailed Description

Definition at line 284 of file simplification_abc.cpp.

Member Data Documentation

◆ aHistory

Vec_Ptr_t* Abc_Frame_t_::aHistory

Definition at line 293 of file simplification_abc.cpp.

◆ Err

FILE* Abc_Frame_t_::Err

Definition at line 313 of file simplification_abc.cpp.

◆ fAutoexac

int Abc_Frame_t_::fAutoexac

Definition at line 301 of file simplification_abc.cpp.

◆ fBatchMode

int Abc_Frame_t_::fBatchMode

Definition at line 302 of file simplification_abc.cpp.

◆ fBridgeMode

int Abc_Frame_t_::fBridgeMode

Definition at line 303 of file simplification_abc.cpp.

◆ fSource

int Abc_Frame_t_::fSource

Definition at line 300 of file simplification_abc.cpp.

◆ Hst

FILE* Abc_Frame_t_::Hst

Definition at line 314 of file simplification_abc.cpp.

◆ MaxLoad

float Abc_Frame_t_::MaxLoad

Definition at line 334 of file simplification_abc.cpp.

◆ nBestEdges

int Abc_Frame_t_::nBestEdges

Definition at line 346 of file simplification_abc.cpp.

◆ nBestEdges2

int Abc_Frame_t_::nBestEdges2

Definition at line 349 of file simplification_abc.cpp.

◆ nBestLevels

int Abc_Frame_t_::nBestLevels

Definition at line 347 of file simplification_abc.cpp.

◆ nBestLevels2

int Abc_Frame_t_::nBestLevels2

Definition at line 350 of file simplification_abc.cpp.

◆ nBestLuts

int Abc_Frame_t_::nBestLuts

Definition at line 345 of file simplification_abc.cpp.

◆ nBestLuts2

int Abc_Frame_t_::nBestLuts2

Definition at line 348 of file simplification_abc.cpp.

◆ nBestNtkArea

float Abc_Frame_t_::nBestNtkArea

Definition at line 306 of file simplification_abc.cpp.

◆ nBestNtkDelay

float Abc_Frame_t_::nBestNtkDelay

Definition at line 307 of file simplification_abc.cpp.

◆ nBestNtkLevels

int Abc_Frame_t_::nBestNtkLevels

Definition at line 309 of file simplification_abc.cpp.

◆ nBestNtkNodes

int Abc_Frame_t_::nBestNtkNodes

Definition at line 308 of file simplification_abc.cpp.

◆ nFrames

int Abc_Frame_t_::nFrames

Definition at line 358 of file simplification_abc.cpp.

◆ nIndFrames

int Abc_Frame_t_::nIndFrames

Definition at line 337 of file simplification_abc.cpp.

◆ nSteps

int Abc_Frame_t_::nSteps

Definition at line 299 of file simplification_abc.cpp.

◆ Out

FILE* Abc_Frame_t_::Out

Definition at line 312 of file simplification_abc.cpp.

◆ pAbc85Best

void* Abc_Frame_t_::pAbc85Best

Definition at line 369 of file simplification_abc.cpp.

◆ pAbc85Delay

void* Abc_Frame_t_::pAbc85Delay

Definition at line 370 of file simplification_abc.cpp.

◆ pAbc85Ntl

void* Abc_Frame_t_::pAbc85Ntl

Definition at line 367 of file simplification_abc.cpp.

◆ pAbc85Ntl2

void* Abc_Frame_t_::pAbc85Ntl2

Definition at line 368 of file simplification_abc.cpp.

◆ pAbcBac

void* Abc_Frame_t_::pAbcBac

Definition at line 373 of file simplification_abc.cpp.

◆ pAbcCba

void* Abc_Frame_t_::pAbcCba

Definition at line 374 of file simplification_abc.cpp.

◆ pAbcCon

void* Abc_Frame_t_::pAbcCon

Definition at line 331 of file simplification_abc.cpp.

◆ pAbcPla

void* Abc_Frame_t_::pAbcPla

Definition at line 375 of file simplification_abc.cpp.

◆ pAbcWlc

void* Abc_Frame_t_::pAbcWlc

Definition at line 371 of file simplification_abc.cpp.

◆ pAbcWlcInv

Vec_Int_t* Abc_Frame_t_::pAbcWlcInv

Definition at line 372 of file simplification_abc.cpp.

◆ pArray

int* Abc_Frame_t_::pArray

Definition at line 385 of file simplification_abc.cpp.

◆ pBoxes

int* Abc_Frame_t_::pBoxes

Definition at line 386 of file simplification_abc.cpp.

◆ pCex

Abc_Cex_t* Abc_Frame_t_::pCex

Definition at line 351 of file simplification_abc.cpp.

◆ pCex2

Abc_Cex_t* Abc_Frame_t_::pCex2

Definition at line 352 of file simplification_abc.cpp.

◆ pDrivingCell

char* Abc_Frame_t_::pDrivingCell

Definition at line 333 of file simplification_abc.cpp.

◆ pFuncOnFrameDone

Abc_Frame_Callback_BmcFrameDone_Func Abc_Frame_t_::pFuncOnFrameDone

Definition at line 390 of file simplification_abc.cpp.

◆ pGia

Gia_Man_t* Abc_Frame_t_::pGia

Definition at line 340 of file simplification_abc.cpp.

◆ pGia2

Gia_Man_t* Abc_Frame_t_::pGia2

Definition at line 341 of file simplification_abc.cpp.

◆ pGiaBest

Gia_Man_t* Abc_Frame_t_::pGiaBest

Definition at line 342 of file simplification_abc.cpp.

◆ pGiaBest2

Gia_Man_t* Abc_Frame_t_::pGiaBest2

Definition at line 343 of file simplification_abc.cpp.

◆ pGiaMiniAig

Gia_Man_t* Abc_Frame_t_::pGiaMiniAig

Definition at line 381 of file simplification_abc.cpp.

◆ pGiaMiniLut

Gia_Man_t* Abc_Frame_t_::pGiaMiniLut

Definition at line 382 of file simplification_abc.cpp.

◆ pGiaSaved

Gia_Man_t* Abc_Frame_t_::pGiaSaved

Definition at line 344 of file simplification_abc.cpp.

◆ pJsonStrs

Abc_Nam_t* Abc_Frame_t_::pJsonStrs

Definition at line 376 of file simplification_abc.cpp.

◆ pLibBox

void* Abc_Frame_t_::pLibBox

Definition at line 326 of file simplification_abc.cpp.

◆ pLibGen

void* Abc_Frame_t_::pLibGen

Definition at line 327 of file simplification_abc.cpp.

◆ pLibGen2

void* Abc_Frame_t_::pLibGen2

Definition at line 328 of file simplification_abc.cpp.

◆ pLibLut

void* Abc_Frame_t_::pLibLut

Definition at line 325 of file simplification_abc.cpp.

◆ pLibScl

void* Abc_Frame_t_::pLibScl

Definition at line 330 of file simplification_abc.cpp.

◆ pLibSuper

void* Abc_Frame_t_::pLibSuper

Definition at line 329 of file simplification_abc.cpp.

◆ pManDec

void* Abc_Frame_t_::pManDec

Definition at line 321 of file simplification_abc.cpp.

◆ pManDsd

void* Abc_Frame_t_::pManDsd

Definition at line 322 of file simplification_abc.cpp.

◆ pManDsd2

void* Abc_Frame_t_::pManDsd2

Definition at line 323 of file simplification_abc.cpp.

◆ pNdr

void* Abc_Frame_t_::pNdr

Definition at line 387 of file simplification_abc.cpp.

◆ pNdrArray

int* Abc_Frame_t_::pNdrArray

Definition at line 388 of file simplification_abc.cpp.

◆ pNtkBackup

Abc_Ntk_t* Abc_Frame_t_::pNtkBackup

Definition at line 298 of file simplification_abc.cpp.

◆ pNtkBest

Abc_Ntk_t* Abc_Frame_t_::pNtkBest

Definition at line 305 of file simplification_abc.cpp.

◆ pNtkBestArea

Abc_Ntk_t* Abc_Frame_t_::pNtkBestArea

Definition at line 297 of file simplification_abc.cpp.

◆ pNtkBestDelay

Abc_Ntk_t* Abc_Frame_t_::pNtkBestDelay

Definition at line 296 of file simplification_abc.cpp.

◆ pNtkCur

Abc_Ntk_t* Abc_Frame_t_::pNtkCur

Definition at line 295 of file simplification_abc.cpp.

◆ pSave1

void* Abc_Frame_t_::pSave1

Definition at line 363 of file simplification_abc.cpp.

◆ pSave2

void* Abc_Frame_t_::pSave2

Definition at line 364 of file simplification_abc.cpp.

◆ pSave3

void* Abc_Frame_t_::pSave3

Definition at line 365 of file simplification_abc.cpp.

◆ pSave4

void* Abc_Frame_t_::pSave4

Definition at line 366 of file simplification_abc.cpp.

◆ pSpecName

char* Abc_Frame_t_::pSpecName

Definition at line 362 of file simplification_abc.cpp.

◆ sBinary

char* Abc_Frame_t_::sBinary

Definition at line 288 of file simplification_abc.cpp.

◆ Status

int Abc_Frame_t_::Status

Definition at line 357 of file simplification_abc.cpp.

◆ sVersion

char* Abc_Frame_t_::sVersion

Definition at line 287 of file simplification_abc.cpp.

◆ tAliases

st__table* Abc_Frame_t_::tAliases

Definition at line 291 of file simplification_abc.cpp.

◆ tCommands

st__table* Abc_Frame_t_::tCommands

Definition at line 290 of file simplification_abc.cpp.

◆ tFlags

st__table* Abc_Frame_t_::tFlags

Definition at line 292 of file simplification_abc.cpp.

◆ TimeCommand

double Abc_Frame_t_::TimeCommand

Definition at line 316 of file simplification_abc.cpp.

◆ TimeTotal

double Abc_Frame_t_::TimeTotal

Definition at line 317 of file simplification_abc.cpp.

◆ vAbcObjIds

Vec_Int_t* Abc_Frame_t_::vAbcObjIds

Definition at line 356 of file simplification_abc.cpp.

◆ vCexVec

Vec_Ptr_t* Abc_Frame_t_::vCexVec

Definition at line 353 of file simplification_abc.cpp.

◆ vCopyMiniAig

Vec_Int_t* Abc_Frame_t_::vCopyMiniAig

Definition at line 383 of file simplification_abc.cpp.

◆ vCopyMiniLut

Vec_Int_t* Abc_Frame_t_::vCopyMiniLut

Definition at line 384 of file simplification_abc.cpp.

◆ vIndFlops

Vec_Int_t* Abc_Frame_t_::vIndFlops

Definition at line 336 of file simplification_abc.cpp.

◆ vJsonObjs

Vec_Wec_t* Abc_Frame_t_::vJsonObjs

Definition at line 377 of file simplification_abc.cpp.

◆ vLTLProperties_global

Vec_Ptr_t* Abc_Frame_t_::vLTLProperties_global

Definition at line 360 of file simplification_abc.cpp.

◆ vPlugInComBinPairs

Vec_Ptr_t* Abc_Frame_t_::vPlugInComBinPairs

Definition at line 359 of file simplification_abc.cpp.

◆ vPoEquivs

Vec_Ptr_t* Abc_Frame_t_::vPoEquivs

Definition at line 354 of file simplification_abc.cpp.

◆ vSignalNames

Vec_Ptr_t* Abc_Frame_t_::vSignalNames

Definition at line 361 of file simplification_abc.cpp.

◆ vStatuses

Vec_Int_t* Abc_Frame_t_::vStatuses

Definition at line 355 of file simplification_abc.cpp.

◆ vStore

Vec_Ptr_t* Abc_Frame_t_::vStore

Definition at line 319 of file simplification_abc.cpp.

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