- t -

• table : hashPtr , Bmc_Stack_ptr , OAHash
• text : string_rec
• third : Triple , Tuple5
• threshold : McCheckInvarOpts
• token : HrcDumperInfo
• trace : Prop , TraceXmlLoader , TracePlugin , TraceStepIter , TraceSymbolsIter
• trace_desc : TraceXmlLoader
• trace_label : SimulateState
• trans : BddFsm
• translate : NodeAnonymizerBase
• tree : avl_generator
• type : Trace , HrcDumperInfo , TraceStepIter , SubstValue , TraceSymbolsIter , node_ptr , Prop
• type_checker : BddEnc