- t -

• temp_cdata_save : espresso.h , globals.c
• temp_cube_save : globals.c , espresso.h
• timeAssign : fraigMan.c , msatOrderJ.c
• timeRetime : retCore.c , abcIvy.c
• timeSelect : fraigMan.c , msatOrderH.c , msatOrderJ.c
• toggle : reduce.c
• total_calls : espresso.h , globals.c
• total_name : globals.c , espresso.h
• total_time : espresso.h , globals.c
• trace : espresso.h , globals.c
• true : satSolver.h
• two : cuddAddAbs.c