- t -

tar : spot::to_parity_options
tba_determinisation_ : spot::postprocessor
terminal_data_map : spot::mtdtwa
terminal_to_state_map : spot::mtdswa
terminals : spot::mtdfa_stats
terminating_semantics : spot::ltlf_synthesis_options
tid : spot::cspins_iterator::cspins_iterator_param
tm : spot::timer_map
todo : spot::couvreur99_check_shy , spot::twa_reachable_iterator_breadth_first , spot::twa_reachable_iterator_depth_first
todo_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >
total_ : spot::timer
total_1_ : spot::random_formula
total_2_ : spot::random_formula
total_2_and_more_ : spot::random_formula
total_time : spot::synthesis_info::bench_var
trace : spot::ec_stats
transitions : spot::ec_stats , spot::twa_sub_statistics
transitions_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >
translated_ : spot::language_containment_checker
trivial_ : spot::scc_info_node
trust_hoa : spot::automaton_parser_options
type : spot::bdd_dict::bdd_info , spot::parsed_aut
type_ : spot::postprocessor