- i -

• id() : spot::fnode, spot::formula
• implication() : spot::tl_simplifier
• Implies() : spot::formula
• index_of_edge() : spot::digraph< State_Data, Edge_Data >
• index_of_state() : spot::digraph< State_Data, Edge_Data >
• inf() : spot::acc_cond::acc_code, spot::acc_cond
• inf_neg() : spot::acc_cond::acc_code, spot::acc_cond
• inf_satisfiable() : spot::acc_cond::acc_code, spot::acc_cond
• inf_unit() : spot::acc_cond::acc_code, spot::acc_cond
• initial() : spot::kripkecube< State, SuccIterator >, spot::scc_info
• inner_edges_of() : spot::scc_info
• input_bdd() : spot::aig
• input_names() : spot::aig
• input_var() : spot::aig
• instance() : spot::default_environment
• instances_check() : spot::fnode
• instantiate() : spot::emptiness_check_instantiator
• intersect() : spot::cubeset
• intersecting_run() : spot::twa
• intersecting_word() : spot::twa
• intersection() : spot::cubeset
• intersects() : spot::twa, spot::twa_word
• is() : spot::fnode, spot::formula
• is_accepting() : spot::scc_info_node
• is_accepting_state() : spot::ta, spot::ta_explicit, spot::ta_product
• is_all() : spot::acc_cond
• is_boolean() : spot::fnode, spot::formula
• is_buchi() : spot::acc_cond
• is_cnf() : spot::acc_cond::acc_code
• is_co_buchi() : spot::acc_cond
• is_constant() : spot::fnode, spot::formula
• is_dead_edge() : spot::digraph< State_Data, Edge_Data >
• is_dnf() : spot::acc_cond::acc_code
• is_empty() : spot::twa
• is_even() : spot::acd, spot::zielonka_tree
• is_eventual() : spot::fnode, spot::formula
• is_eword() : spot::fnode, spot::formula
• is_existential() : spot::digraph< State_Data, Edge_Data >, spot::twa_graph
• is_f() : spot::acc_cond::acc_code, spot::acc_cond
• is_false_var() : spot::cubeset
• is_ff() : spot::fnode, spot::formula
• is_finite() : spot::fnode, spot::formula
• is_generalized_buchi() : spot::acc_cond
• is_generalized_co_buchi() : spot::acc_cond
• is_generalized_rabin() : spot::acc_cond
• is_generalized_streett() : spot::acc_cond
• is_hole_state() : spot::state_ta_explicit
• is_hole_state_in_ta_component() : spot::ta_product
• is_in_nenoform() : spot::fnode, spot::formula
• is_initial_state() : spot::ta, spot::ta_explicit, spot::ta_product
• is_isomorphic() : spot::isomorphism_checker
• is_Kleene_star() : spot::fnode, spot::formula
• is_known() : spot::trival
• is_leaf() : spot::fnode, spot::formula
• is_literal() : spot::formula
• is_livelock_accepting_state() : spot::ta, spot::ta_explicit, spot::ta_product
• is_ltl_formula() : spot::fnode, spot::formula
• is_marked() : spot::fnode, spot::formula
• is_maximally_accepting_scc() : spot::scc_info
• is_new() : spot::state_unicity_table
• is_none() : spot::acc_cond
• is_parity() : spot::acc_cond
• is_psl_formula() : spot::fnode, spot::formula
• is_rabin() : spot::acc_cond
• is_rabin_like() : spot::acc_cond
• is_rejecting() : spot::scc_info_node
• is_running() : spot::timer
• is_sba() : spot::twa
• is_sere_formula() : spot::fnode, spot::formula
• is_singleton() : spot::acc_cond::mark_t
• is_streett() : spot::acc_cond
• is_streett_like() : spot::acc_cond
• is_stuttering_transition() : spot::ta_succ_iterator_product
• is_sugar_free_boolean() : spot::fnode, spot::formula
• is_sugar_free_ltl() : spot::fnode, spot::formula
• is_syntactic_guarantee() : spot::fnode, spot::formula
• is_syntactic_obligation() : spot::fnode, spot::formula
• is_syntactic_persistence() : spot::fnode, spot::formula
• is_syntactic_recurrence() : spot::fnode, spot::formula
• is_syntactic_safety() : spot::fnode, spot::formula
• is_syntactic_stutter_invariant() : spot::fnode, spot::formula
• is_t() : spot::acc_cond::acc_code, spot::acc_cond
• is_true_var() : spot::cubeset
• is_tt() : spot::fnode, spot::formula
• is_universal() : spot::fnode, spot::formula
• is_valid() : spot::cubeset
• is_valid_edge() : spot::digraph< State_Data, Edge_Data >