var searchData=
[
  ['t_5fautomata_5f',['t_automata_',['../classspot_1_1ta__reachable__iterator.html#a663d91a4d62226abdf16fa38298a7a14',1,'spot::ta_reachable_iterator']]],
  ['ta_20_28testing_20automata_29',['TA (Testing Automata)',['../group__ta.html',1,'']]],
  ['ta',['ta',['../classspot_1_1ta.html',1,'spot']]],
  ['ta_20algorithms',['TA algorithms',['../group__ta__algorithms.html',1,'']]],
  ['ta_5fcheck',['ta_check',['../classspot_1_1ta__check.html',1,'spot']]],
  ['ta_5fexplicit',['ta_explicit',['../classspot_1_1ta__explicit.html',1,'spot']]],
  ['ta_5fexplicit_5fsucc_5fiterator',['ta_explicit_succ_iterator',['../classspot_1_1ta__explicit__succ__iterator.html',1,'spot']]],
  ['ta_5fproduct',['ta_product',['../classspot_1_1ta__product.html',1,'spot']]],
  ['ta_5fproduct',['ta_product',['../classspot_1_1ta__product.html#a77ec3f71695534f7f437db50cc8ce53c',1,'spot::ta_product']]],
  ['ta_5freachable_5fiterator',['ta_reachable_iterator',['../classspot_1_1ta__reachable__iterator.html',1,'spot']]],
  ['ta_5freachable_5fiterator_5fbreadth_5ffirst',['ta_reachable_iterator_breadth_first',['../classspot_1_1ta__reachable__iterator__breadth__first.html',1,'spot']]],
  ['ta_5freachable_5fiterator_5fdepth_5ffirst',['ta_reachable_iterator_depth_first',['../classspot_1_1ta__reachable__iterator__depth__first.html',1,'spot']]],
  ['ta_20simplifications',['TA simplifications',['../group__ta__reduction.html',1,'']]],
  ['ta_20representations',['TA representations',['../group__ta__representation.html',1,'']]],
  ['ta_5fstatistics',['ta_statistics',['../structspot_1_1ta__statistics.html',1,'spot']]],
  ['ta_5fsucc_5fiterator',['ta_succ_iterator',['../classspot_1_1ta__succ__iterator.html',1,'spot']]],
  ['ta_5fsucc_5fiterator_5fproduct',['ta_succ_iterator_product',['../classspot_1_1ta__succ__iterator__product.html',1,'spot']]],
  ['ta_5fsucc_5fiterator_5fproduct_5fby_5fchangeset',['ta_succ_iterator_product_by_changeset',['../classspot_1_1ta__succ__iterator__product__by__changeset.html',1,'spot']]],
  ['taa_5fsucc_5fiterator',['taa_succ_iterator',['../classspot_1_1taa__succ__iterator.html',1,'spot']]],
  ['taa_5ftgba',['taa_tgba',['../classspot_1_1taa__tgba.html',1,'spot']]],
  ['taa_5ftgba_5fformula',['taa_tgba_formula',['../classspot_1_1taa__tgba__formula.html',1,'spot']]],
  ['taa_5ftgba_5flabelled',['taa_tgba_labelled',['../classspot_1_1taa__tgba__labelled.html',1,'spot']]],
  ['taa_5ftgba_5flabelled_3c_20formula_20_3e',['taa_tgba_labelled&lt; formula &gt;',['../classspot_1_1taa__tgba__labelled.html',1,'spot']]],
  ['taa_5ftgba_5flabelled_3c_20std_3a_3astring_20_3e',['taa_tgba_labelled&lt; std::string &gt;',['../classspot_1_1taa__tgba__labelled.html',1,'spot']]],
  ['taa_5ftgba_5fstring',['taa_tgba_string',['../classspot_1_1taa__tgba__string.html',1,'spot']]],
  ['temporary_5ffile',['temporary_file',['../classspot_1_1temporary__file.html',1,'spot']]],
  ['tgba_5fdeterminize',['tgba_determinize',['../group__twa__algorithms.html#gab76611c2c0190972d38569eedd318a8a',1,'spot']]],
  ['tgba_5fpowerset',['tgba_powerset',['../group__twa__misc.html#ga89dc339aaff3e1aa63dee0ce6f3b7957',1,'spot::tgba_powerset(const const_twa_graph_ptr &amp;aut, power_map &amp;pm, bool merge=true)'],['../group__twa__misc.html#ga8d8654d1b175b4b06cc5f1083e621e10',1,'spot::tgba_powerset(const const_twa_graph_ptr &amp;aut)']]],
  ['transforming_20tgba_20into_20ta',['Transforming TGBA into TA',['../group__tgba__ta.html',1,'']]],
  ['tgba_5fto_5fta',['tgba_to_ta',['../group__tgba__ta.html#gad8018db50c89a2618e99072e54a2a400',1,'spot']]],
  ['tgba_5fto_5ftgta',['tgba_to_tgta',['../group__tgba__ta.html#ga83d0c1c4fa63d0fab745d08949d7746f',1,'spot']]],
  ['tgta',['tgta',['../classspot_1_1tgta.html',1,'spot']]],
  ['tgta_5fexplicit',['tgta_explicit',['../classspot_1_1tgta__explicit.html',1,'spot']]],
  ['tgta_5fproduct',['tgta_product',['../classspot_1_1tgta__product.html',1,'spot']]],
  ['tgta_5fsucc_5fiterator_5fproduct',['tgta_succ_iterator_product',['../classspot_1_1tgta__succ__iterator__product.html',1,'spot']]],
  ['time_5finfo',['time_info',['../structspot_1_1time__info.html',1,'spot']]],
  ['timer',['timer',['../classspot_1_1timer.html',1,'spot']]],
  ['timer',['timer',['../classspot_1_1timer__map.html#a0b2786417c063a93c851174df0ef2071',1,'spot::timer_map']]],
  ['timer_5fmap',['timer_map',['../classspot_1_1timer__map.html',1,'spot']]],
  ['temporal_20logic',['Temporal Logic',['../group__tl.html',1,'']]],
  ['tl_5fsimplifier',['tl_simplifier',['../classspot_1_1tl__simplifier.html',1,'spot']]],
  ['tl_5fsimplifier_5foptions',['tl_simplifier_options',['../classspot_1_1tl__simplifier__options.html',1,'spot']]],
  ['to_5fnode_5f',['to_node_',['../classspot_1_1formula.html#ae5a935c3549c9ad4964f132a21f5a649',1,'spot::formula']]],
  ['todo',['todo',['../classspot_1_1ta__reachable__iterator__depth__first.html#a5cdfa0bc2aafdc0a09dd9098df181581',1,'spot::ta_reachable_iterator_depth_first::todo()'],['../classspot_1_1ta__reachable__iterator__breadth__first.html#ad5d8d1df09d1b416f000d7501db45621',1,'spot::ta_reachable_iterator_breadth_first::todo()'],['../classspot_1_1twa__reachable__iterator__breadth__first.html#ab6ebf0b28669e1436c738fbfc8cbd6e4',1,'spot::twa_reachable_iterator_breadth_first::todo()'],['../classspot_1_1twa__reachable__iterator__depth__first.html#ad9fc34acd352024f3c4e79e6d3475fab',1,'spot::twa_reachable_iterator_depth_first::todo()']]],
  ['todo_5fitem',['todo_item',['../structspot_1_1couvreur99__check__shy_1_1todo__item.html',1,'spot::couvreur99_check_shy']]],
  ['token',['token',['../structtlyy_1_1parser_1_1token.html',1,'tlyy::parser']]],
  ['token',['token',['../structhoayy_1_1parser_1_1by__type.html#a9420358c384a3b50bb09b41459e01eae',1,'hoayy::parser::by_type::token()'],['../structtlyy_1_1parser_1_1by__type.html#a18d892ad0f6ccc5ca30ab70d7ba2c8fa',1,'tlyy::parser::by_type::token()']]],
  ['token',['token',['../structhoayy_1_1parser_1_1token.html',1,'hoayy::parser']]],
  ['token_5fnumber_5ftype',['token_number_type',['../classhoayy_1_1parser.html#ab967aad4c9489a115598d2f4f2781b66',1,'hoayy::parser::token_number_type()'],['../classtlyy_1_1parser.html#ae7dd2c76bb0d0d2f6d52fa16d7ede700',1,'tlyy::parser::token_number_type()']]],
  ['token_5ftype',['token_type',['../classhoayy_1_1parser.html#a66a4de560df0ce611b8752c7a4a8e932',1,'hoayy::parser::token_type()'],['../classtlyy_1_1parser.html#a4ff2b5f82a633beba28c1e8cb90a10bb',1,'tlyy::parser::token_type()']]],
  ['top',['top',['../classspot_1_1scc__stack__ta.html#a7890d4b313efcdb53a6581d2b0f453dc',1,'spot::scc_stack_ta::top()'],['../classspot_1_1scc__stack__ta.html#a200119230a7af3a3c5b5bb7ed1eba567',1,'spot::scc_stack_ta::top() const '],['../classspot_1_1scc__stack.html#a9fb956e08441d13f89442ac99974b6af',1,'spot::scc_stack::top()'],['../classspot_1_1scc__stack.html#a1fcb202de7bce708b0616ce9ad9a1bdb',1,'spot::scc_stack::top() const ']]],
  ['transition',['transition',['../structspot_1_1state__ta__explicit_1_1transition.html',1,'spot::state_ta_explicit']]],
  ['transition',['transition',['../structspot_1_1taa__tgba_1_1transition.html',1,'spot::taa_tgba']]],
  ['translator',['translator',['../classspot_1_1translator.html',1,'spot']]],
  ['traverse',['traverse',['../classspot_1_1formula.html#a223adfdfffd057e26630dd01671611a4',1,'spot::formula']]],
  ['trival',['trival',['../classspot_1_1trival.html',1,'spot']]],
  ['trust_5fhoa',['trust_hoa',['../structspot_1_1automaton__parser__options.html#a20ffb1a2807fe800d3b89cfbb3f6045e',1,'spot::automaton_parser_options']]],
  ['tt',['tt',['../classspot_1_1fnode.html#a5f321d20ad9af18e6f4ce8af14d56596',1,'spot::fnode::tt()'],['../classspot_1_1formula.html#aee20bbf397a14b3544606f45f4c074fc',1,'spot::formula::tt()'],['../group__tl__essentials.html#gga770300a8f53109afba0868269371e442aaccc9105df5383111407fd5b41255e23',1,'spot::tt()']]],
  ['twa',['twa',['../classspot_1_1twa.html',1,'spot']]],
  ['tωa_20_28transition_2dbased_20ω_2dautomata_29',['TωA (Transition-based ω-Automata)',['../group__twa.html',1,'']]],
  ['tωa_20algorithms',['TωA algorithms',['../group__twa__algorithms.html',1,'']]],
  ['twa_5fgraph',['twa_graph',['../classspot_1_1twa__graph.html',1,'spot']]],
  ['twa_5fgraph_5fedge_5fdata',['twa_graph_edge_data',['../structspot_1_1twa__graph__edge__data.html',1,'spot']]],
  ['twa_5fgraph_5fstate',['twa_graph_state',['../structspot_1_1twa__graph__state.html',1,'spot']]],
  ['twa_5fgraph_5fsucc_5fiterator',['twa_graph_succ_iterator',['../classspot_1_1twa__graph__succ__iterator.html',1,'spot']]],
  ['translating_20ltl_20formulas_20into_20tωa',['Translating LTL formulas into TωA',['../group__twa__ltl.html',1,'']]],
  ['tωa_20on_2dthe_2dfly_20algorithms',['TωA on-the-fly algorithms',['../group__twa__on__the__fly__algorithms.html',1,'']]],
  ['twa_5fproduct',['twa_product',['../classspot_1_1twa__product.html#a4ff48bb71ea35d909cc68344074e6d53',1,'spot::twa_product']]],
  ['twa_5fproduct',['twa_product',['../classspot_1_1twa__product.html',1,'spot']]],
  ['twa_5fproduct_5finit',['twa_product_init',['../classspot_1_1twa__product__init.html',1,'spot']]],
  ['twa_5freachable_5fiterator',['twa_reachable_iterator',['../classspot_1_1twa__reachable__iterator.html',1,'spot']]],
  ['twa_5freachable_5fiterator_5fbreadth_5ffirst',['twa_reachable_iterator_breadth_first',['../classspot_1_1twa__reachable__iterator__breadth__first.html',1,'spot']]],
  ['twa_5freachable_5fiterator_5fdepth_5ffirst',['twa_reachable_iterator_depth_first',['../classspot_1_1twa__reachable__iterator__depth__first.html',1,'spot']]],
  ['twa_5freachable_5fiterator_5fdepth_5ffirst_5fstack',['twa_reachable_iterator_depth_first_stack',['../classspot_1_1twa__reachable__iterator__depth__first__stack.html',1,'spot']]],
  ['tωa_20simplifications',['TωA simplifications',['../group__twa__reduction.html',1,'']]],
  ['tωa_20representations',['TωA representations',['../group__twa__representation.html',1,'']]],
  ['twa_5frun',['twa_run',['../structspot_1_1twa__run.html',1,'spot']]],
  ['tωa_20runs_20and_20supporting_20functions',['TωA runs and supporting functions',['../group__twa__run.html',1,'']]],
  ['twa_5fstatistics',['twa_statistics',['../structspot_1_1twa__statistics.html',1,'spot']]],
  ['twa_5fsub_5fstatistics',['twa_sub_statistics',['../structspot_1_1twa__sub__statistics.html',1,'spot']]],
  ['twa_5fsucc_5fiterable',['twa_succ_iterable',['../classspot_1_1internal_1_1twa__succ__iterable.html',1,'spot::internal']]],
  ['twa_5fsucc_5fiterator',['twa_succ_iterator',['../classspot_1_1twa__succ__iterator.html',1,'spot']]],
  ['twa_5fword',['twa_word',['../structspot_1_1twa__word.html',1,'spot']]],
  ['type',['type',['../structhoayy_1_1parser_1_1by__type.html#a7c7f8c9dd527016c2c556847488909f6',1,'hoayy::parser::by_type::type()'],['../structspot_1_1parsed__aut.html#a16dfcb277323771d3ac26ea535080ea3',1,'spot::parsed_aut::type()'],['../structtlyy_1_1parser_1_1by__type.html#ab8aa32736bdf15df1e5f6659db07166e',1,'tlyy::parser::by_type::type()']]],
  ['type_5fcount',['type_count',['../classspot_1_1ltsmin__model.html#a674a46273d2e59bc5d6f09f33ed29341',1,'spot::ltsmin_model']]],
  ['type_5fget',['type_get',['../structhoayy_1_1parser_1_1by__type.html#a673de8e54c20b3975eda93c74893e9ea',1,'hoayy::parser::by_type::type_get()'],['../structtlyy_1_1parser_1_1by__type.html#ac60aaee6d0cfaf4fe07130c601703634',1,'tlyy::parser::by_type::type_get()']]],
  ['type_5fname',['type_name',['../classspot_1_1ltsmin__model.html#ab964678288dadb009c6f2070d05e725a',1,'spot::ltsmin_model']]],
  ['type_5fvalue_5fcount',['type_value_count',['../classspot_1_1ltsmin__model.html#a64b9cc60aa3576bd797ad7398b64e7ee',1,'spot::ltsmin_model']]],
  ['type_5fvalue_5fname',['type_value_name',['../classspot_1_1ltsmin__model.html#abec0e52dea3204f4b386ca8918709d10',1,'spot::ltsmin_model']]]
];
