Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- t -

• TABLE : inflate.h
• Tas_ClaForEachVar : giaCTas2.c
• Tas_ClauseDecLevel() : giaCTas2.c , giaCTas.c
• Tas_ClauseForEachVar : giaCTas.c
• Tas_ClauseForEachVar1 : giaCTas.c
• Tas_Cls_t : giaCTas2.c , giaCTas.c
• Tas_ClsFromHandle() : giaCTas.c
• Tas_ClsHandle() : giaCTas.c
• Tas_LitIsTrue() : giaCTas.c
• Tas_Man_t : gia.h , giaCTas2.c
• Tas_ManAlloc() : gia.h , giaCTas.c
• Tas_ManAllocCls() : giaCTas.c
• Tas_ManAnalyze() : giaCTas.c
• Tas_ManAssign() : giaCTas.c
• Tas_ManCancelUntil() : giaCTas.c
• Tas_ManCheckLimits() : giaCTas.c
• Tas_ManClause() : giaCTas2.c
• Tas_ManClauseSize() : giaCTas.c
• Tas_ManCreateCls() : giaCTas.c
• Tas_ManCreateFromCls() : giaCTas.c
• Tas_ManCreateVar() : giaCTas2.c
• Tas_ManDecideHighest() : giaCTas.c
• Tas_ManDecideHighestA() : giaCTas.c
• Tas_ManDecideHighestFanin() : giaCTas.c
• Tas_ManDecideLowest() : giaCTas.c
• Tas_ManDecideMaxFF() : giaCTas.c
• Tas_ManDeriveReason() : giaCTas.c
• Tas_ManFindActive() : giaCTas.c
• Tas_ManObj2Var() : giaCTas2.c
• Tas_ManPrintClause() : giaCTas.c
• Tas_ManPrintClauseNew() : giaCTas.c
• Tas_ManPropagate() : giaCTas.c
• Tas_ManPropagateOne() : giaCTas.c
• Tas_ManPropagateTwo() : giaCTas.c
• Tas_ManPropagateWatch() : giaCTas.c
• Tas_ManResolve() : giaCTas.c
• Tas_ManSatPrintStats() : gia.h , giaCTas.c
• Tas_ManSaveModel() : giaCTas.c
• Tas_ManSolve() : gia.h , giaCTas.c
• Tas_ManSolve_rec() : giaCTas.c
• Tas_ManSolveArray() : gia.h , giaCTas.c
• Tas_ManSolveMiterNc() : gia.h , giaCTas.c
• Tas_ManSolveMiterNc2() : giaCTas.c
• Tas_ManStop() : gia.h , giaCTas.c
• Tas_ManVar() : giaCTas2.c
• Tas_ManWatchClause() : giaCTas.c
• Tas_Par_t : giaCTas.c , giaCTas2.c
• Tas_Que_t : giaCTas.c , giaCTas2.c
• Tas_QueFinish() : giaCTas.c
• Tas_QueForEachEntry : giaCTas.c
• Tas_QueForEachVar : giaCTas2.c
• Tas_QueHasNode() : giaCTas.c
• Tas_QueIsEmpty() : giaCTas.c
• Tas_QuePush() : giaCTas.c
• Tas_QueRestore() : giaCTas.c
• Tas_QueStore() : giaCTas.c
• Tas_ReadModel() : gia.h , giaCTas.c
• Tas_SetDefaultParams() : giaCTas.c
• Tas_Sto_t : giaCTas.c , giaCTas2.c
• Tas_StorePattern() : giaCTas.c
• Tas_StorePatternTry() : giaCTas.c
• Tas_Var_t : giaCTas2.c
• Tas_VarAssign() : giaCTas.c , giaCTas2.c
• Tas_VarDecLevel() : giaCTas.c , giaCTas2.c
• Tas_VarFanin0Value() : giaCTas.c , giaCTas2.c
• Tas_VarFanin1Value() : giaCTas.c , giaCTas2.c
• Tas_VarFaninFanoutMax() : giaCTas.c
• Tas_VarHasReasonCls() : giaCTas.c
• Tas_VarIsAssigned() : giaCTas.c , giaCTas2.c
• Tas_VarIsJust() : giaCTas.c , giaCTas2.c
• Tas_VarReason0() : giaCTas.c , giaCTas2.c
• Tas_VarReason1() : giaCTas.c , giaCTas2.c
• Tas_VarReasonCls() : giaCTas.c
• Tas_VarSetValue() : giaCTas.c , giaCTas2.c
• Tas_VarToLit() : giaCTas.c
• Tas_VarUnassign() : giaCTas.c , giaCTas2.c
• Tas_VarValue() : giaCTas.c , giaCTas2.c
• TAUT : espresso.h
• taut_special_cases() : espresso.h , irred.c
• tautology() : espresso.h , irred.c
• TBLS : crc32.c
• temp_cdata_save : espresso.h , globals.c
• temp_cube_save : espresso.h , globals.c
• temporaryLtlStore() : ioUtil.c
• termHeight : ioWriteBook.c
• termWidth : ioWriteBook.c
• Test_End() : mainInit.c , test.c
• Test_Init() : mainInit.c , test.c
• TEST_SET_MAX : extraZddTrunc.c
• TEST_VAR_MAX : extraZddTrunc.c
• TESTCUDD_VERSION : testcudd.c
• testHamming() : testcudd.c
• testIterators() : testcudd.c
• TESTP : espresso.h
• testWalsh() : testcudd.c
• testXor() : testcudd.c
• textToBin() : cmdPlugin.c
• Tf() : kitPerm.c
• theta_prune() : abcSaucy.c
• THRESHOLD : cuddDecomp.c
• Tim_Box_t : timInt.h
• TIM_DUMP_VER_NUM : timDump.c
• TIM_ETERNITY : tim.h
• Tim_Man_t : tim.h
• Tim_ManAlignTwo() : tim.h , timMan.c
• Tim_ManBlackBoxNum() : tim.h , timMan.c
• Tim_ManBox() : timInt.h
• Tim_ManBoxCopy() : tim.h , timBox.c
• Tim_ManBoxDelayTable() : tim.h , timBox.c
• Tim_ManBoxDelayTableId() : tim.h , timBox.c
• Tim_ManBoxFindFromCiNum() : tim.h , timBox.c
• Tim_ManBoxForCi() : tim.h , timBox.c
• Tim_ManBoxForCo() : tim.h , timBox.c
• Tim_ManBoxForEachInput : timInt.h
• Tim_ManBoxForEachOutput : timInt.h
• Tim_ManBoxInput() : timInt.h
• Tim_ManBoxInputFirst() : tim.h , timBox.c
• Tim_ManBoxInputLast() : tim.h , timBox.c
• Tim_ManBoxInputNum() : tim.h , timBox.c
• Tim_ManBoxIsBlack() : tim.h , timBox.c
• Tim_ManBoxNum() : tim.h , timMan.c
• Tim_ManBoxOutput() : timInt.h
• Tim_ManBoxOutputFirst() : tim.h , timBox.c
• Tim_ManBoxOutputLast() : tim.h , timBox.c
• Tim_ManBoxOutputNum() : tim.h , timBox.c
• Tim_ManBoxSetCopy() : tim.h , timBox.c
• Tim_ManCi() : timInt.h
• Tim_ManCiBox() : timInt.h
• Tim_ManCiNum() : tim.h , timMan.c
• Tim_ManCo() : timInt.h
• Tim_ManCoBox() : timInt.h
• Tim_ManCoNum() : tim.h , timMan.c
• Tim_ManCreate() : tim.h , timMan.c
• Tim_ManCreateBox() : tim.h , timBox.c
• Tim_ManDelayTableNum() : tim.h , timMan.c
• Tim_ManDup() : tim.h , timMan.c
• Tim_ManForEachBox : timInt.h
• Tim_ManForEachCi : timInt.h
• Tim_ManForEachCo : timInt.h
• Tim_ManForEachPi : timInt.h
• Tim_ManForEachPo : timInt.h
• Tim_ManForEachTable : timInt.h
• Tim_ManGetArrTimes() : tim.h , timMan.c
• Tim_ManGetCiArrival() : timTime.c , tim.h
• Tim_ManGetCoRequired() : tim.h , timTime.c
• Tim_ManGetReqTimes() : timMan.c , tim.h
• Tim_ManIncrementTravId() : tim.h , timTrav.c
• Tim_ManInitPiArrival() : timTime.c , tim.h
• Tim_ManInitPiArrivalAll() : tim.h , timTime.c
• Tim_ManInitPoRequired() : tim.h , timTime.c
• Tim_ManInitPoRequiredAll() : tim.h , timTime.c
• Tim_ManIsCiTravIdCurrent() : timTrav.c , tim.h
• Tim_ManIsCoTravIdCurrent() : tim.h , timTrav.c
• Tim_ManLoad() : timDump.c , tim.h
• Tim_ManPiNum() : tim.h , timMan.c
• Tim_ManPoNum() : timMan.c , tim.h
• Tim_ManPrint() : tim.h , timMan.c
• Tim_ManPrintStats() : tim.h , timMan.c
• Tim_ManReduce() : tim.h , timMan.c
• Tim_ManSave() : timDump.c , tim.h
• Tim_ManSetCiRequired() : tim.h , timTime.c
• Tim_ManSetCoArrival() : timTime.c , tim.h
• Tim_ManSetCoRequired() : tim.h , timTime.c
• Tim_ManSetCurrentTravIdBoxInputs() : timTrav.c , tim.h
• Tim_ManSetCurrentTravIdBoxOutputs() : tim.h , timTrav.c
• Tim_ManSetDelayTables() : tim.h , timMan.c
• Tim_ManSetPreviousTravIdBoxInputs() : tim.h , timTrav.c
• Tim_ManSetPreviousTravIdBoxOutputs() : timTrav.c , tim.h
• Tim_ManStart() : tim.h , timMan.c
• Tim_ManStop() : timMan.c , tim.h
• Tim_ManStopP() : tim.h , timMan.c
• Tim_ManTravIdDisable() : timMan.c , tim.h
• Tim_ManTravIdEnable() : tim.h , timMan.c
• Tim_ManTrim() : tim.h , timMan.c
• Tim_Obj_t : timInt.h
• TIM_TEST_BOX_RATIO : abcTim.c
• TIME : inflate.h
• TIME_COUNT : espresso.h
• TIME_OUT : csat_apis.h
• timeAndEx : llb3Nonlin.c , llb3Image.c
• timeAssign : msatOrderJ.c , fraigMan.c
• timeBuild : llb3Image.c , llb3Nonlin.c
• timeCnf : abcDar.c , aigInter.c
• timeInt : abcDar.c , aigInter.c
• timeOther : llb3Nonlin.c , llb3Image.c
• TimePrint() : luckyInt.h
• timeRetime : abcIvy.c , retCore.c
• timeSat : aigInter.c , abcDar.c
• timeSelect : fraigMan.c , msatOrderJ.c , msatOrderH.c
• tlcInfoAlloc() : cuddEssent.c
• TlClause : cuddEssent.c
• tmpFile() : utilFile.c , utilSignal.c
• tmpfile() : util_old.h
• toggle : reduce.c
• tokenType : ltl_parser.c
• toLit() : satVec.h , pr.c
• toLitCond() : pr.c , satVec.h
• Tolp : cuddEssent.c
• Tolv : cuddEssent.c
• TOO_FAR : deflate.c
• total_calls : globals.c , espresso.h
• TOTAL_CARE : cuddApprox.c
• total_name : espresso.h , globals.c
• total_time : espresso.h , globals.c
• totals() : cvrmisc.c , espresso.h
• tr_static_init() : trees.c
• trace : espresso.h
• Trace : zutil.h
• trace : globals.c
• Tracec : zutil.h
• Tracecv : zutil.h
• Tracev : zutil.h
• Tracevv : zutil.h
• transpose32() : sswRarity.c
• transpose32a() : fraClaus.c
• transpose64() : sswRarity.c , giaStr.c
• transpose64Simple() : sswRarity.c
• TransposeTest() : sswRarity.c
• traverseAbstractSyntaxTree() : ltl_parser.c , liveness.c
• traverseAbstractSyntaxTree_postFix() : ltl_parser.c , liveness.c
• tree_desc : deflate.h
• Tru_Man_t : satTruth.h
• Tru_ManAlloc() : satTruth.c , satTruth.h
• Tru_ManAnd() : satTruth.h
• Tru_ManAndNot() : satTruth.h
• Tru_ManAndNotCond() : satTruth.h
• Tru_ManClear() : satTruth.h
• Tru_ManCopy() : satTruth.h
• Tru_ManCopyNot() : satTruth.h
• Tru_ManCopyNotCond() : satTruth.h
• Tru_ManEqual() : satTruth.h
• Tru_ManEqual0() : satTruth.h
• Tru_ManEqual1() : satTruth.h
• Tru_ManFill() : satTruth.h
• Tru_ManFree() : satTruth.h , satTruth.c
• Tru_ManFunc() : satTruth.c , satTruth.h
• Tru_ManHash() : satTruth.c
• Tru_ManInsert() : satTruth.c , satTruth.h
• Tru_ManLookup() : satTruth.c
• Tru_ManNot() : satTruth.h
• Tru_ManOr() : satTruth.h
• Tru_ManOrNot() : satTruth.h
• Tru_ManOrNotCond() : satTruth.h
• Tru_ManReadOne() : satTruth.c
• Tru_ManResize() : satTruth.c
• Tru_ManVar() : satTruth.c , satTruth.h
• Tru_One_t : satTruth.c
• TRUE : cudd.h
• true : satVec.h , place_base.h
• True : bzlib_private.h
• TRUE : espresso.h
• Truth : hopTruth.c , giaShrink6.c , abcNpnSave.c
• Truth10 : ifDec08.c , ifDec10.c
• Truth6 : ifDec07.c , ifDec10.c , ifDec16.c , ifDec08.c
• Truth7 : ifDec07.c
• TruthAll : ifDec16.c
• Truths : bdcSpfd.c
• Truths6 : ifCheck.c
• TRY_FREE : zutil.h
• TSI_MAX_ROUNDS : aigTsim.c
• TSI_ONE_SERIES : aigTsim.c
• TSIM_MAX_ROUNDS : saigPhase.c
• TSIM_ONE_SERIES : saigPhase.c
• Tst_Dat_t : abcScorr.c
• TWO : espresso.h
• two : cuddAddAbs.c
• TYPE : inflate.h
• TYPEDO : inflate.h