- t -

• table : Minisat::Map< K, D, H, E >
• techmap_cache : TechmapWorker
• techmap_do_cache : TechmapWorker
• terminal_bits : ShareWorker
• that : OptShareWorker::CompareCells
• timeout : SatHelper
• timestep : SatHelper::ModelBlockInfo
• toBit : SubCircuit::SolverWorker::DiBit
• toNode : SubCircuit::SolverWorker::DiEdge
• topo_bit_drivers : ShareWorker
• topo_cell_drivers : ShareWorker
• topo_sigmap : ShareWorker
• toPort : SubCircuit::SolverWorker::DiBit
• tot_literals : Minisat::Solver
• total_count : OptReduceWorker , OptShareWorker
• total_input_width : VlogHammerReporter
• total_ns : PerformanceTimer
• totalMatchesAfterLimits : SubCircuit::Solver::MineResult
• touched : Minisat::SimpSolver
• trail : Minisat::Solver
• trail_lim : Minisat::Solver
• transforms : SHA1
• transition_table : FsmData
• true_out : BlifDumperConfig , BtorDumperConfig
• true_type : BlifDumperConfig , BtorDumperConfig
• type : AST::AstNode , CellType , gate_t , RTLIL::Cell , RTLIL::SyncRule , token_t
• type_name : Minisat::Option
• typeId : SubCircuit::Graph::Node , SubCircuit::SolverWorker::DiNode