- t -

• temp_cdata_save : espresso.h , globals.c
• temp_cube_save : globals.c , espresso.h
• timeAndEx : llb3Image.c , llb3Nonlin.c
• timeAssign : msatOrderJ.c , fraigMan.c
• timeBuild : llb3Image.c , llb3Nonlin.c
• timeCnf : aigInter.c , abcDar.c
• timeInt : aigInter.c , abcDar.c
• timeOther : llb3Nonlin.c , llb3Image.c
• timeRetime : abcIvy.c , retCore.c
• timeSat : aigInter.c , abcDar.c
• timeSelect : fraigMan.c , msatOrderH.c , msatOrderJ.c
• toggle : reduce.c
• Tolp : cuddEssent.c
• Tolv : cuddEssent.c
• total_calls : espresso.h , globals.c
• total_name : espresso.h , globals.c
• total_time : globals.c , espresso.h
• trace : espresso.h , globals.c
• Truth : hopTruth.c , giaShrink6.c , abcNpnSave.c
• Truth10 : ifDec10.c , ifDec08.c
• Truth6 : ifDec10.c , ifDec07.c , ifDec16.c , ifDec08.c
• Truth7 : ifDec07.c
• TruthAll : ifDec16.c
• Truths : bdcSpfd.c
• Truths6 : ifCheck.c
• two : cuddAddAbs.c