Here is a list of all macros with links to the files they belong to:

- t -

• Tab_ManForEachCube : extraUtilPrime.c
• Tab_ManForEachCubeReverse : extraUtilPrime.c
• TAB_UNUSED : extraUtilPrime.c, bmcFx.c
• TARGET : phases.h
• TARGET_DEFAULT : options.h
• TARGET_SAT : options.h
• Tas_ClaForEachVar : giaCTas2.c
• Tas_ClauseForEachVar : giaCTas.c
• Tas_ClauseForEachVar1 : giaCTas.c
• Tas_QueForEachEntry : giaCTas.c
• Tas_QueForEachVar : giaCTas2.c
• TAUT : espresso.h
• TBLS : crc32.c
• TEMP_NUM : wlnRead.c
• termHeight : ioWriteBook.c
• TERMINAL : colors.h
• TERMINATED : terminate.h
• termWidth : ioWriteBook.c
• TEST_SET_MAX : extraZddTrunc.c
• TEST_VAR_MAX : extraZddTrunc.c
• TESTP : espresso.h
• TIER1 : internal.h
• TIER1RELATIVE : options.h
• TIER2 : internal.h
• TIER2RELATIVE : options.h
• TIM_DUMP_VER_NUM : timDump.c
• TIM_ETERNITY : tim.h
• Tim_ManBoxForEachInput : timInt.h
• Tim_ManBoxForEachOutput : timInt.h
• Tim_ManForEachBox : timInt.h
• Tim_ManForEachCi : timInt.h
• Tim_ManForEachCo : timInt.h
• Tim_ManForEachPi : timInt.h
• Tim_ManForEachPo : timInt.h
• Tim_ManForEachTable : timInt.h
• TIM_TEST_BOX_RATIO : abcTim.c
• TIME_COUNT : espresso.h
• TOLERANCE : abcTiming.c
• TOO_FAR : deflate.c
• TOP_ARRAY : array.h
• TOP_STACK : stack.h
• TRACE : cadical_solver.cpp
• Trace : zutil.h
• Tracec : zutil.h
• Tracecv : zutil.h
• Tracev : zutil.h
• Tracevv : zutil.h
• TRAIL : assign.h
• transitive_terminated_1 : terminate.h
• transitive_terminated_2 : terminate.h
• transitive_terminated_3 : terminate.h
• TRAVERSED : decompose.hpp
• TREE_MAX_VARS : giaMinLut2.c
• TRUE : abcBm.c, espresso.h
• True : bzlib_private.h
• true : place_base.h, satVec.h, xsatSolver.h
• TRUTH_UNUSED : acecCore.c
• TRY_FREE : zutil.h
• TSI_MAX_ROUNDS : aigTsim.c
• TSI_ONE_SERIES : aigTsim.c
• TSIM_MAX_ROUNDS : saigPhase.c
• TSIM_ONE_SERIES : saigPhase.c
• TT_MAX_LEVELS : dauCanon.c
• TT_UNDEF : giaMinLut2.c
• TWO : espresso.h