- t -

• taut_special_cases() : espresso.h , irred.c
• tautology() : irred.c , espresso.h
• testHamming() : testcudd.c
• testIterators() : testcudd.c
• testWalsh() : testcudd.c
• testXor() : testcudd.c
• tmpfile() : util_old.h
• toLit() : satSolver.h , satStore.h , pr.c
• toLitCond() : satSolver.h , pr.c , satStore.h
• tolower() : stdlib_hack.h
• totals() : espresso.h , cvrmisc.c
• toupper() : stdlib_hack.h
• TypeCheck() : main.c