- t -

• TABLE_SIZE : calInt.h , bddint.h
• TAG : bddint.h
• TAG0 : bddint.h
• TAG0_HI : bddint.h
• TAG0_LO : bddint.h
• TAG1 : bddint.h
• TAG1_HI : bddint.h
• TAG1_LO : bddint.h
• TAG2 : bddint.h
• TAG2_HI : bddint.h
• TAG2_LO : bddint.h
• TESTCUDD_VERSION : testcudd.c
• THRESH : qsort.c
• THRESHOLD : cuddDecomp.c
• TOTAL_CARE : cuddApprox.c
• TRUE : calInt.h
• TRUE_ENCODING : calDump.c , bdddump.c
• TT_BITS : testbdd.c , calTest.c
• TT_VARS : testbdd.c
• TYPE : list.c