#include <gia.h>

Public Attributes
int	nLutSize

int	nCutNum

int	nProcNum

int	nRounds

int	nRoundsEla

int	nRelaxRatio

int	nCoarseLimit

int	nAreaTuner

int	nReqTimeFlex

int	nVerbLimit

int	nDelayLut1

int	nDelayLut2

int	nFastEdges

int	DelayTarget

int	fAreaOnly

int	fPinPerm

int	fPinQuick

int	fPinFilter

int	fOptEdge

int	fUseMux7

int	fPower

int	fCoarsen

int	fCutMin

int	fFuncDsd

int	fGenCnf

int	fGenLit

int	fCnfObjIds

int	fAddOrCla

int	fCnfMapping

int	fPureAig

int	fDoAverage

int	fCutHashing

int	fCutSimple

int	fCutGroup

int	fVerbose

int	fVeryVerbose

int	nLutSizeMax

int	nCutNumMax

int	nProcNumMax

int	nLutSizeMux

word	Delay

word	Area

word	Edge

word	Clause

word	Mux7

word	WordMapDelay

word	WordMapArea

word	WordMapDelayTarget

int	MapDelay

float	MapArea

float	MapAreaF

float	MapDelayTarget

float	Epsilon

float *	pTimesArr

float *	pTimesReq

char *	ZFile

Detailed Description

Definition at line 334 of file gia.h.

Member Data Documentation

◆ Area

word Jf_Par_t_::Area

Definition at line 377 of file gia.h.

◆ Clause

word Jf_Par_t_::Clause

Definition at line 379 of file gia.h.

◆ Delay

word Jf_Par_t_::Delay

Definition at line 376 of file gia.h.

◆ DelayTarget

int Jf_Par_t_::DelayTarget

Definition at line 349 of file gia.h.

◆ Edge

word Jf_Par_t_::Edge

Definition at line 378 of file gia.h.

◆ Epsilon

float Jf_Par_t_::Epsilon

Definition at line 388 of file gia.h.

◆ fAddOrCla

int Jf_Par_t_::fAddOrCla

Definition at line 363 of file gia.h.

◆ fAreaOnly

int Jf_Par_t_::fAreaOnly

Definition at line 350 of file gia.h.

◆ fCnfMapping

int Jf_Par_t_::fCnfMapping

Definition at line 364 of file gia.h.

◆ fCnfObjIds

int Jf_Par_t_::fCnfObjIds

Definition at line 362 of file gia.h.

◆ fCoarsen

int Jf_Par_t_::fCoarsen

Definition at line 357 of file gia.h.

◆ fCutGroup

int Jf_Par_t_::fCutGroup

Definition at line 369 of file gia.h.

◆ fCutHashing

int Jf_Par_t_::fCutHashing

Definition at line 367 of file gia.h.

◆ fCutMin

int Jf_Par_t_::fCutMin

Definition at line 358 of file gia.h.

◆ fCutSimple

int Jf_Par_t_::fCutSimple

Definition at line 368 of file gia.h.

◆ fDoAverage

int Jf_Par_t_::fDoAverage

Definition at line 366 of file gia.h.

◆ fFuncDsd

int Jf_Par_t_::fFuncDsd

Definition at line 359 of file gia.h.

◆ fGenCnf

int Jf_Par_t_::fGenCnf

Definition at line 360 of file gia.h.

◆ fGenLit

int Jf_Par_t_::fGenLit

Definition at line 361 of file gia.h.

◆ fOptEdge

int Jf_Par_t_::fOptEdge

Definition at line 354 of file gia.h.

◆ fPinFilter

int Jf_Par_t_::fPinFilter

Definition at line 353 of file gia.h.

◆ fPinPerm

int Jf_Par_t_::fPinPerm

Definition at line 351 of file gia.h.

◆ fPinQuick

int Jf_Par_t_::fPinQuick

Definition at line 352 of file gia.h.

◆ fPower

int Jf_Par_t_::fPower

Definition at line 356 of file gia.h.

◆ fPureAig

int Jf_Par_t_::fPureAig

Definition at line 365 of file gia.h.

◆ fUseMux7

int Jf_Par_t_::fUseMux7

Definition at line 355 of file gia.h.

◆ fVerbose

int Jf_Par_t_::fVerbose

Definition at line 370 of file gia.h.

◆ fVeryVerbose

int Jf_Par_t_::fVeryVerbose

Definition at line 371 of file gia.h.

◆ MapArea

float Jf_Par_t_::MapArea

Definition at line 385 of file gia.h.

◆ MapAreaF

float Jf_Par_t_::MapAreaF

Definition at line 386 of file gia.h.

◆ MapDelay

int Jf_Par_t_::MapDelay

Definition at line 384 of file gia.h.

◆ MapDelayTarget

float Jf_Par_t_::MapDelayTarget

Definition at line 387 of file gia.h.

◆ Mux7

word Jf_Par_t_::Mux7

Definition at line 380 of file gia.h.

◆ nAreaTuner

int Jf_Par_t_::nAreaTuner

Definition at line 343 of file gia.h.

◆ nCoarseLimit

int Jf_Par_t_::nCoarseLimit

Definition at line 342 of file gia.h.

◆ nCutNum

int Jf_Par_t_::nCutNum

Definition at line 337 of file gia.h.

◆ nCutNumMax

int Jf_Par_t_::nCutNumMax

Definition at line 373 of file gia.h.

◆ nDelayLut1

int Jf_Par_t_::nDelayLut1

Definition at line 346 of file gia.h.

◆ nDelayLut2

int Jf_Par_t_::nDelayLut2

Definition at line 347 of file gia.h.

◆ nFastEdges

int Jf_Par_t_::nFastEdges

Definition at line 348 of file gia.h.

◆ nLutSize

int Jf_Par_t_::nLutSize

Definition at line 336 of file gia.h.

◆ nLutSizeMax

int Jf_Par_t_::nLutSizeMax

Definition at line 372 of file gia.h.

◆ nLutSizeMux

int Jf_Par_t_::nLutSizeMux

Definition at line 375 of file gia.h.

◆ nProcNum

int Jf_Par_t_::nProcNum

Definition at line 338 of file gia.h.

◆ nProcNumMax

int Jf_Par_t_::nProcNumMax

Definition at line 374 of file gia.h.

◆ nRelaxRatio

int Jf_Par_t_::nRelaxRatio

Definition at line 341 of file gia.h.

◆ nReqTimeFlex

int Jf_Par_t_::nReqTimeFlex

Definition at line 344 of file gia.h.

◆ nRounds

int Jf_Par_t_::nRounds

Definition at line 339 of file gia.h.

◆ nRoundsEla

int Jf_Par_t_::nRoundsEla

Definition at line 340 of file gia.h.

◆ nVerbLimit

int Jf_Par_t_::nVerbLimit

Definition at line 345 of file gia.h.

◆ pTimesArr

float* Jf_Par_t_::pTimesArr

Definition at line 389 of file gia.h.

◆ pTimesReq

float* Jf_Par_t_::pTimesReq

Definition at line 390 of file gia.h.

◆ WordMapArea

word Jf_Par_t_::WordMapArea

Definition at line 382 of file gia.h.

◆ WordMapDelay

word Jf_Par_t_::WordMapDelay

Definition at line 381 of file gia.h.

◆ WordMapDelayTarget

word Jf_Par_t_::WordMapDelayTarget

Definition at line 383 of file gia.h.

◆ ZFile

char* Jf_Par_t_::ZFile

Definition at line 391 of file gia.h.

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

src/aig/gia/gia.h

Public Attributes