Here is a list of all documented variables with links to the class documentation for each member:
- 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
