var searchData=
[
  ['id',['id',['../classspot_1_1fnode.html#a41dac588248f33354b557909b35ae116',1,'spot::fnode::id()'],['../classspot_1_1formula.html#a537cfc653fdc65cfd61450227eb6bdab',1,'spot::formula::id()']]],
  ['implication',['implication',['../classspot_1_1tl__simplifier.html#a1fbead526cd20c73943d9087103c68f3',1,'spot::tl_simplifier']]],
  ['implies',['Implies',['../classspot_1_1formula.html#a01aad3fd13d83ef7bab09ba04668bbf2',1,'spot::formula::Implies(const formula &amp;f, const formula &amp;g)'],['../classspot_1_1formula.html#a5c5503203e169633f5d5a975bfdaca68',1,'spot::formula::Implies(const formula &amp;f, formula &amp;&amp;g)'],['../classspot_1_1formula.html#a50669743213aef3ef38d552e051809cd',1,'spot::formula::Implies(formula &amp;&amp;f, const formula &amp;g)'],['../classspot_1_1formula.html#ac09b5fd992b78050753651eabf18a8ef',1,'spot::formula::Implies(formula &amp;&amp;f, formula &amp;&amp;g)']]],
  ['index_5fof_5fedge',['index_of_edge',['../singletonspot_1_1digraph.html#ad5d9d80f3feae0266d01d021dee7c6a1',1,'spot::digraph']]],
  ['index_5fof_5fstate',['index_of_state',['../singletonspot_1_1digraph.html#a4f5d9f801253c60ed5aeef3ceb073c69',1,'spot::digraph']]],
  ['initial',['initial',['../classspot_1_1scc__info.html#a0a21fe8dc68f5ad39184bb9a2e2f4465',1,'spot::scc_info']]],
  ['instance',['instance',['../classspot_1_1default__environment.html#af132fafa370903c62fc7b7e6cf535000',1,'spot::default_environment']]],
  ['instances_5fcheck',['instances_check',['../classspot_1_1fnode.html#a568e66c7d9e64c791f9e0b6d52ace7b8',1,'spot::fnode']]],
  ['instantiate',['instantiate',['../classspot_1_1emptiness__check__instantiator.html#a5f213c5ad4c6f6f385da33e205d5dd08',1,'spot::emptiness_check_instantiator']]],
  ['int_5farray_5farray_5fcompress',['int_array_array_compress',['../group__misc__tools.html#ga72a6bb80b592f562634a6bd8aedd9ff6',1,'spot']]],
  ['int_5farray_5farray_5fcompress2',['int_array_array_compress2',['../group__misc__tools.html#ga5253b7b9fd60f3285091b39a1f1b815d',1,'spot']]],
  ['int_5farray_5farray_5fdecompress',['int_array_array_decompress',['../group__misc__tools.html#gad595c02553de6187297d09d2b47c995c',1,'spot']]],
  ['int_5farray_5farray_5fdecompress2',['int_array_array_decompress2',['../group__misc__tools.html#gaed78e6934b190995ba5a162ad0e76560',1,'spot']]],
  ['int_5farray_5fvector_5fcompress',['int_array_vector_compress',['../group__misc__tools.html#gae8556060f7963410dd8c52d2426d7269',1,'spot']]],
  ['int_5fvector_5farray_5fdecompress',['int_vector_array_decompress',['../group__misc__tools.html#ga6c161d70b36c5637b6511f2192f2d9bf',1,'spot']]],
  ['int_5fvector_5fvector_5fcompress',['int_vector_vector_compress',['../group__misc__tools.html#ga86ac44d535ef8f28e5d81a2edf907065',1,'spot']]],
  ['int_5fvector_5fvector_5fdecompress',['int_vector_vector_decompress',['../group__misc__tools.html#gade72f3d754ef89b594db989893ee3e7b',1,'spot']]],
  ['intersecting_5frun',['intersecting_run',['../classspot_1_1twa.html#a684dcf5dc5f2f43eb3bf5c38997ccf7f',1,'spot::twa']]],
  ['intersecting_5fword',['intersecting_word',['../classspot_1_1twa.html#a90b82a77830d6b3f7632a0450eabbc24',1,'spot::twa']]],
  ['intersects',['intersects',['../classspot_1_1twa.html#a40aedf78a1231a56861c266d8526bc21',1,'spot::twa']]],
  ['is',['is',['../classspot_1_1fnode.html#acb3be3bbc72fc374c19c5822890097ff',1,'spot::fnode::is(op o) const '],['../classspot_1_1fnode.html#a93eb9135a1a94635d99d159f8a502516',1,'spot::fnode::is(op o1, op o2) const '],['../classspot_1_1fnode.html#a808c1f0c3d5f82d5182c01d3da1e779e',1,'spot::fnode::is(std::initializer_list&lt; op &gt; l) const '],['../classspot_1_1formula.html#a237905dc0f433f2349aa7271f9c67416',1,'spot::formula::is(op o) const '],['../classspot_1_1formula.html#a02b80d4d603b1e08a18766502831dcf3',1,'spot::formula::is(op o1, op o2) const '],['../classspot_1_1formula.html#a22183eee275b9614d4a2039c34d292c5',1,'spot::formula::is(std::initializer_list&lt; op &gt; l) const ']]],
  ['is_5faccepting',['is_accepting',['../classspot_1_1scc__info_1_1scc__node.html#a18b842c88d48acbea6353083fa6dbf53',1,'spot::scc_info::scc_node']]],
  ['is_5faccepting_5fstate',['is_accepting_state',['../classspot_1_1ta.html#a05398307c3e98a177f7f182b2becb6ee',1,'spot::ta::is_accepting_state()'],['../classspot_1_1ta__explicit.html#a3cbe89bdc37616235b888db762bec432',1,'spot::ta_explicit::is_accepting_state()'],['../classspot_1_1ta__product.html#a9d4d39d7c5bedd705656abcfa1ac4b2c',1,'spot::ta_product::is_accepting_state()']]],
  ['is_5fbare_5fword',['is_bare_word',['../group__misc__tools.html#gaae6fadac6a2f91d7b8e27b3eb6ad647e',1,'spot']]],
  ['is_5fboolean',['is_boolean',['../classspot_1_1fnode.html#a215793a6c0572c6f71fa61bc2aa6d911',1,'spot::fnode::is_boolean()'],['../classspot_1_1formula.html#a7682ec28561f2951eff300a162bfd7a2',1,'spot::formula::is_boolean()']]],
  ['is_5fcomplete_5fscc',['is_complete_scc',['../group__twa__misc.html#gab99e2e804df5916d51ef0ba03e40da3c',1,'spot']]],
  ['is_5fconstant',['is_constant',['../classspot_1_1fnode.html#a67c69be5c8ce4daa4ee2312f3f6ca462',1,'spot::fnode::is_constant()'],['../classspot_1_1formula.html#a5fc8c292f02ade3d70cb22a663da032c',1,'spot::formula::is_constant()']]],
  ['is_5fdead_5fedge',['is_dead_edge',['../singletonspot_1_1digraph.html#abdc232311dd2c0d5a557cb943f08cdbe',1,'spot::digraph::is_dead_edge(unsigned t) const '],['../singletonspot_1_1digraph.html#a4f63971ee653c5067bd9eb03a1c01122',1,'spot::digraph::is_dead_edge(const edge_storage_t &amp;t) const ']]],
  ['is_5fdeterministic',['is_deterministic',['../group__twa__misc.html#ga18dece4cedaec6211534bf6251a42648',1,'spot']]],
  ['is_5fempty',['is_empty',['../classspot_1_1twa.html#a3092e4272829662cad040d8bfc0ab117',1,'spot::twa']]],
  ['is_5feventual',['is_eventual',['../classspot_1_1fnode.html#ad2ea008a4c73073c116e55db3d2bce4d',1,'spot::fnode::is_eventual()'],['../classspot_1_1formula.html#ac529e5c84820fca23d55bab0a8eae3f3',1,'spot::formula::is_eventual()']]],
  ['is_5feword',['is_eword',['../classspot_1_1fnode.html#a60907a07c8d7379a8e2eaf8a6620136a',1,'spot::fnode::is_eword()'],['../classspot_1_1formula.html#acf87bf96b5da0c2cf4d3b5d16d348e1f',1,'spot::formula::is_eword()']]],
  ['is_5fff',['is_ff',['../classspot_1_1fnode.html#a0fb4c12605a3ed0d19e2959f52afcfef',1,'spot::fnode::is_ff()'],['../classspot_1_1formula.html#ab0ea84a42fd9f9361157e9f1d97d1849',1,'spot::formula::is_ff()']]],
  ['is_5ffinite',['is_finite',['../classspot_1_1fnode.html#a4504883f700719cd676b14b1beb30ad3',1,'spot::fnode::is_finite()'],['../classspot_1_1formula.html#a4c181a6e8fc32189262be8cdceb71a79',1,'spot::formula::is_finite()']]],
  ['is_5fhole_5fstate',['is_hole_state',['../classspot_1_1state__ta__explicit.html#a3437056558cd4120fe240ff794cf959c',1,'spot::state_ta_explicit']]],
  ['is_5fhole_5fstate_5fin_5fta_5fcomponent',['is_hole_state_in_ta_component',['../classspot_1_1ta__product.html#aa96a939ff8b51b1f4b1655f59a77466d',1,'spot::ta_product']]],
  ['is_5fin_5fnenoform',['is_in_nenoform',['../classspot_1_1fnode.html#a6ff42159ced5b835e24a8f08074972cc',1,'spot::fnode::is_in_nenoform()'],['../classspot_1_1formula.html#a2b084e6a415641fe32b7273e7085f5b6',1,'spot::formula::is_in_nenoform()']]],
  ['is_5finherently_5fweak_5fscc',['is_inherently_weak_scc',['../group__twa__misc.html#gaf4867080f33ce1eab0e13030ac198098',1,'spot']]],
  ['is_5finitial_5fstate',['is_initial_state',['../classspot_1_1ta.html#a9291b601b2c32aa38c04feeb5f48a703',1,'spot::ta::is_initial_state()'],['../classspot_1_1ta__explicit.html#a269b59e948ba80944e3f9818ad735fbe',1,'spot::ta_explicit::is_initial_state()'],['../classspot_1_1ta__product.html#a757cca88be04fcf8176971cf7b69cad0',1,'spot::ta_product::is_initial_state()']]],
  ['is_5fisomorphic',['is_isomorphic',['../group__twa__misc.html#ga1517671dae9e24214418ab565b516257',1,'spot::isomorphism_checker']]],
  ['is_5fkleene_5fstar',['is_Kleene_star',['../classspot_1_1fnode.html#a104d792d41e0e58ad319979352673446',1,'spot::fnode::is_Kleene_star()'],['../classspot_1_1formula.html#a594c7bcbc8391b5f06136f8db18d4410',1,'spot::formula::is_Kleene_star()']]],
  ['is_5fknown',['is_known',['../classspot_1_1trival.html#acf97d72ee84a8f3e683499092190c3c7',1,'spot::trival']]],
  ['is_5fliteral',['is_literal',['../classspot_1_1formula.html#a163547a4b19fedf0556ade342bfcb9de',1,'spot::formula']]],
  ['is_5flivelock_5faccepting_5fstate',['is_livelock_accepting_state',['../classspot_1_1ta.html#a5e2b5e5f1ad31adbc157571d88007b01',1,'spot::ta::is_livelock_accepting_state()'],['../classspot_1_1ta__explicit.html#a820d7a2527d11d844759c0040a2c5367',1,'spot::ta_explicit::is_livelock_accepting_state()'],['../classspot_1_1ta__product.html#a03309e9a570b23695d5a34e575e52673',1,'spot::ta_product::is_livelock_accepting_state()']]],
  ['is_5fltl_5fformula',['is_ltl_formula',['../classspot_1_1fnode.html#af708c2107c0c1b49a0727586fec4d82b',1,'spot::fnode::is_ltl_formula()'],['../classspot_1_1formula.html#a063af41d02d27ec40df9a829e6cbef2e',1,'spot::formula::is_ltl_formula()']]],
  ['is_5fmarked',['is_marked',['../classspot_1_1fnode.html#af94d24036329b044cc2fb083d61231d7',1,'spot::fnode::is_marked()'],['../classspot_1_1formula.html#a5651320ad0922b6926f12e11c04347c1',1,'spot::formula::is_marked()']]],
  ['is_5fnew',['is_new',['../classspot_1_1state__unicity__table.html#aa9d074c927559042c46ef6e3fb2b05d4',1,'spot::state_unicity_table']]],
  ['is_5fpsl_5fformula',['is_psl_formula',['../classspot_1_1fnode.html#ab0f20276fa39827912fbd9fe2ee1660f',1,'spot::fnode::is_psl_formula()'],['../classspot_1_1formula.html#af5c7d121cdf4af044bc94a50b5e34d84',1,'spot::formula::is_psl_formula()']]],
  ['is_5frejecting',['is_rejecting',['../classspot_1_1scc__info_1_1scc__node.html#a7488eb4028955fbe5bb8c9ff290d903e',1,'spot::scc_info::scc_node']]],
  ['is_5frunning',['is_running',['../classspot_1_1timer.html#a868bfb05189f521d08dfb274b93b459a',1,'spot::timer']]],
  ['is_5fsba',['is_sba',['../classspot_1_1twa.html#ab0af6ec5240265093fe9ceede58f91f9',1,'spot::twa']]],
  ['is_5fsere_5fformula',['is_sere_formula',['../classspot_1_1fnode.html#af8af61a77be0d899dc103d968d51d7fe',1,'spot::fnode::is_sere_formula()'],['../classspot_1_1formula.html#a4d02526b80113f8ac2c0197a8276c48c',1,'spot::formula::is_sere_formula()']]],
  ['is_5fspin_5fap',['is_spin_ap',['../group__misc__tools.html#gab2c9c9f65ad822c5dee5443cb4467c8e',1,'spot']]],
  ['is_5fstuttering_5ftransition',['is_stuttering_transition',['../classspot_1_1ta__succ__iterator__product.html#a64ce6c7b3838bca19775335083ed224b',1,'spot::ta_succ_iterator_product']]],
  ['is_5fsugar_5ffree_5fboolean',['is_sugar_free_boolean',['../classspot_1_1fnode.html#abf22e1ac5d962458e0b1433df3ff8b64',1,'spot::fnode::is_sugar_free_boolean()'],['../classspot_1_1formula.html#a6aa281e00b591e43806939a7795137d2',1,'spot::formula::is_sugar_free_boolean()']]],
  ['is_5fsugar_5ffree_5fltl',['is_sugar_free_ltl',['../classspot_1_1fnode.html#a9b7dd2f8dd73fb0665e9b74ec64c6d3b',1,'spot::fnode::is_sugar_free_ltl()'],['../classspot_1_1formula.html#a6a116bacbdf8e7eb219c2e4e2e637281',1,'spot::formula::is_sugar_free_ltl()']]],
  ['is_5fsyntactic_5fguarantee',['is_syntactic_guarantee',['../classspot_1_1fnode.html#ac57ad988a5e379dcf668019806c57a2b',1,'spot::fnode::is_syntactic_guarantee()'],['../classspot_1_1formula.html#a09d58ad10b79f7b93467752aa9120171',1,'spot::formula::is_syntactic_guarantee()']]],
  ['is_5fsyntactic_5fobligation',['is_syntactic_obligation',['../classspot_1_1fnode.html#a794870603ff7249ab41c5f694ffa5bad',1,'spot::fnode::is_syntactic_obligation()'],['../classspot_1_1formula.html#ade537aa28016b8b08b7742ed1861973e',1,'spot::formula::is_syntactic_obligation()']]],
  ['is_5fsyntactic_5fpersistence',['is_syntactic_persistence',['../classspot_1_1fnode.html#a385e6dd9126da748367ab59051a6d7e1',1,'spot::fnode::is_syntactic_persistence()'],['../classspot_1_1formula.html#a6ef3ef4a63a894cdecc778afb8a286ab',1,'spot::formula::is_syntactic_persistence()']]],
  ['is_5fsyntactic_5frecurrence',['is_syntactic_recurrence',['../classspot_1_1fnode.html#a9b116c9c6ff33a0333924e76e27e46a8',1,'spot::fnode::is_syntactic_recurrence()'],['../classspot_1_1formula.html#a67d4b19fcf2a1d03faa0d425236e98a6',1,'spot::formula::is_syntactic_recurrence()']]],
  ['is_5fsyntactic_5fsafety',['is_syntactic_safety',['../classspot_1_1fnode.html#a55caed641f8cb7a51b35c335847c2dd0',1,'spot::fnode::is_syntactic_safety()'],['../classspot_1_1formula.html#a10f3083518ec65320fd05b6192892065',1,'spot::formula::is_syntactic_safety()']]],
  ['is_5fsyntactic_5fstutter_5finvariant',['is_syntactic_stutter_invariant',['../classspot_1_1fnode.html#ab806a319fdeb5765a2fa2fb4d2fc8a42',1,'spot::fnode::is_syntactic_stutter_invariant()'],['../classspot_1_1formula.html#a396a8d34603183d9065a398f93e744ba',1,'spot::formula::is_syntactic_stutter_invariant()']]],
  ['is_5fterminal_5fscc',['is_terminal_scc',['../group__twa__misc.html#ga9516954d0b2cc6b3072cb60cfeb1933b',1,'spot']]],
  ['is_5ftt',['is_tt',['../classspot_1_1fnode.html#aad22dfa6a6fb9b862b4f70e26ebed447',1,'spot::fnode::is_tt()'],['../classspot_1_1formula.html#aea22729747d45aaacf554914653a74f6',1,'spot::formula::is_tt()']]],
  ['is_5funambiguous',['is_unambiguous',['../group__twa__misc.html#ga81729f55d9927e57cc5cda0ee10e2721',1,'spot']]],
  ['is_5funiversal',['is_universal',['../classspot_1_1fnode.html#a8fad5db7b8fea7bbab732d4a6f752617',1,'spot::fnode::is_universal()'],['../classspot_1_1formula.html#a9f1ceade62bbe4f05512f6453304c831',1,'spot::formula::is_universal()']]],
  ['is_5fvalid_5fedge',['is_valid_edge',['../singletonspot_1_1digraph.html#ac7d92efc6b4e365540813a13b83a9791',1,'spot::digraph']]],
  ['is_5fweak_5fscc',['is_weak_scc',['../group__twa__misc.html#gadc7e390f2570b79fe4bc365ecad7704c',1,'spot']]],
  ['iterated_5fsimulations',['iterated_simulations',['../group__twa__reduction.html#ga015e8cafa7602f8bef1954dbb698a237',1,'spot']]],
  ['iterated_5fsimulations_5fsba',['iterated_simulations_sba',['../group__twa__reduction.html#ga28224796930acb24af1f415e28335bac',1,'spot']]]
];
