Here is a list of all functions with links to the files they belong to:

- t -

• Tab_DecomposeTest() : extraUtilPrime.c
• Tab_ManAlloc() : extraUtilPrime.c
• Tab_ManCheckEqual() : extraUtilPrime.c
• Tab_ManCheckEqual2() : extraUtilPrime.c
• Tab_ManCollectDist1() : extraUtilPrime.c
• Tab_ManCountItems() : extraUtilPrime.c
• Tab_ManCubeFree() : extraUtilPrime.c
• Tab_ManFree() : extraUtilPrime.c
• Tab_ManStart() : extraUtilPrime.c
• Tas_ManAlloc() : gia.h, giaCTas.c
• Tas_ManCreateVar() : giaCTas2.c
• Tas_ManObj2Var() : giaCTas2.c
• Tas_ManPropagate() : giaCTas.c
• Tas_ManSatPrintStats() : gia.h, 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_ReadModel() : gia.h, giaCTas.c
• Tas_SetDefaultParams() : giaCTas.c
• Tas_StorePattern() : giaCTas.c
• Tas_StorePatternTry() : giaCTas.c
• taut_special_cases() : espresso.h, irred.c
• tautology() : espresso.h, irred.c
• temporaryLtlStore() : ioUtil.c
• Test_End() : mainInit.c, test.c
• Test_Init() : mainInit.c, test.c
• Tf() : kitPerm.c
• Tim_ManAlignTwo() : tim.h, timMan.c
• Tim_ManBlackBoxIoNum() : tim.h, timMan.c
• Tim_ManBlackBoxNum() : tim.h, timMan.c
• 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_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_ManBoxOutputFirst() : tim.h, timBox.c
• Tim_ManBoxOutputLast() : tim.h, timBox.c
• Tim_ManBoxOutputNum() : tim.h, timBox.c
• Tim_ManBoxSetCopy() : tim.h, timBox.c
• Tim_ManCiNum() : tim.h, timMan.c
• 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_ManGetArrTimes() : tim.h, timMan.c
• Tim_ManGetCiArrival() : tim.h, timTime.c
• Tim_ManGetCoRequired() : tim.h, timTime.c
• Tim_ManGetReqTimes() : tim.h, timMan.c
• Tim_ManIncrementTravId() : tim.h, timTrav.c
• Tim_ManInitPiArrival() : tim.h, timTime.c
• Tim_ManInitPiArrivalAll() : tim.h, timTime.c
• Tim_ManInitPoRequired() : tim.h, timTime.c
• Tim_ManInitPoRequiredAll() : tim.h, timTime.c
• Tim_ManIsCiTravIdCurrent() : tim.h, timTrav.c
• Tim_ManIsCoTravIdCurrent() : tim.h, timTrav.c
• Tim_ManLoad() : tim.h, timDump.c
• Tim_ManPiNum() : tim.h, timMan.c
• Tim_ManPoNum() : tim.h, timMan.c
• Tim_ManPrint() : tim.h, timMan.c
• Tim_ManPrintBoxCopy() : tim.h, timMan.c
• Tim_ManPrintStats() : tim.h, timMan.c
• Tim_ManReduce() : tim.h, timMan.c
• Tim_ManSave() : tim.h, timDump.c
• Tim_ManSetCiRequired() : tim.h, timTime.c
• Tim_ManSetCoArrival() : tim.h, timTime.c
• Tim_ManSetCoRequired() : tim.h, timTime.c
• Tim_ManSetCurrentTravIdBoxInputs() : tim.h, timTrav.c
• Tim_ManSetCurrentTravIdBoxOutputs() : tim.h, timTrav.c
• Tim_ManSetDelayTables() : tim.h, timMan.c
• Tim_ManSetPreviousTravIdBoxInputs() : tim.h, timTrav.c
• Tim_ManSetPreviousTravIdBoxOutputs() : tim.h, timTrav.c
• Tim_ManStart() : tim.h, timMan.c
• Tim_ManStop() : tim.h, timMan.c
• Tim_ManStopP() : tim.h, timMan.c
• Tim_ManTravIdDisable() : tim.h, timMan.c
• Tim_ManTravIdEnable() : tim.h, timMan.c
• Tim_ManTrim() : tim.h, timMan.c
• tmpFile() : utilFile.c, utilSignal.c
• tmpfile() : util_old.h
• ToffoliGateCount() : exor.c
• totalNumClasses() : cecSatG2.c
• totals() : cvrmisc.c, espresso.h
• tr_static_init() : trees.c
• trace2() : fretTime.c
• transpose32() : sswRarity.c
• transpose32a() : fraClaus.c
• transpose64() : sswRarity.c
• transpose64Simple() : sswRarity.c
• TransposeTest() : sswRarity.c
• traverseAbstractSyntaxTree() : liveness.c, ltl_parser.c
• traverseAbstractSyntaxTree_postFix() : liveness.c, ltl_parser.c
• Tru_ManAlloc() : satTruth.c, satTruth.h
• Tru_ManFree() : satTruth.c, satTruth.h
• Tru_ManFunc() : satTruth.c, satTruth.h
• Tru_ManInsert() : satTruth.c, satTruth.h
• Tru_ManLookup() : satTruth.c
• Tru_ManResize() : satTruth.c
• Tru_ManVar() : satTruth.c, satTruth.h
• Txs3_ManCollectCone() : pdrTsim3.c
• Txs3_ManCollectCone_rec() : pdrTsim3.c
• Txs3_ManStart() : pdrInt.h, pdrTsim3.c
• Txs3_ManStop() : pdrInt.h, pdrTsim3.c
• Txs3_ManTernarySim() : pdrInt.h, pdrTsim3.c
• Txs_ManBackwardPass() : pdrTsim2.c
• Txs_ManCollectCone() : pdrTsim2.c
• Txs_ManCollectCone_rec() : pdrTsim2.c
• Txs_ManCollectJustPis() : pdrTsim2.c
• Txs_ManFindCiReduction() : pdrTsim2.c
• Txs_ManFindMinId() : pdrTsim2.c
• Txs_ManForwardPass() : pdrTsim2.c
• Txs_ManInitPrio() : pdrTsim2.c
• Txs_ManPrintFlopLits() : pdrTsim2.c
• Txs_ManPropagatePrio() : pdrTsim2.c
• Txs_ManSelectJustPath() : pdrTsim2.c
• Txs_ManStart() : pdrInt.h, pdrTsim2.c
• Txs_ManStop() : pdrInt.h, pdrTsim2.c
• Txs_ManTernarySim() : pdrInt.h, pdrTsim2.c
• Txs_ManVerify() : pdrTsim2.c