- t -

• TAUT : espresso.h
• TESTCUDD_VERSION : testcudd.c
• TESTP : espresso.h
• THRESHOLD : cuddDecomp.c
• TIME_COUNT : espresso.h
• TOTAL_CARE : cuddApprox.c
• TRUE : cudd.h , espresso.h
• TSI_MAX_ROUNDS : aigTsim.c
• TWO : espresso.h