Here is a list of all documented class members with links to the class documentation for each member:

- i -

• iar : spot::to_parity_options
• id() : spot::fnode , spot::formula
• ignore_abort : spot::automaton_parser_options
• implication() : spot::tl_simplifier
• improve_det : spot::twa::prop_set
• inc_ars_cycle_states() : spot::ars_statistics
• inc_ars_prefix_states() : spot::ars_statistics
• inc_depth() : spot::ec_statistics
• inc_states() : spot::ec_statistics
• inc_transitions() : spot::ec_statistics
• incompatible_() : spot::language_containment_checker
• index : spot::scc_stack::connected_component
• 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 , spot::acc_cond::rs_pair
• 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
• info_ : spot::emptiness_check_instantiator , spot::enumerate_cycles
• infs() : spot::rs_pairs_view
• infs_alone() : spot::rs_pairs_view
• inherently_weak : spot::twa::prop_set
• init : spot::fnv< T, typename std::enable_if< sizeof(T)==4 >::type > , spot::fnv< T, typename std::enable_if< sizeof(T)==8 >::type >
• init_ : spot::taa_tgba
• init_number_ : spot::kripke_graph , spot::twa_graph
• init_state() : spot::ltl_to_tgba_fm_otf
• initial() : spot::kripkecube< State, SuccIterator > , spot::kripkecube< cspins_state, cspins_iterator > , spot::scc_info
• initial_state_ : spot::scc_info
• inner : spot::cspins_iterator::cspins_iterator_param
• inner_edges_of() : spot::scc_info
• input : spot::parsed_formula
• input_bdd() : spot::aig
• input_names() : spot::aig
• input_names_ : spot::aig
• input_var() : spot::aig
• inserted() : spot::iterable_uf< State, StateHash, StateEqual > , spot::iterable_uf_ec< State, StateHash, StateEqual >
• instance() : spot::default_environment
• instances_check() : spot::fnode
• instantiate() : spot::emptiness_check_instantiator
• int_unionfind() : spot::int_unionfind
• intersect() : spot::cubeset
• intersecting_run() : spot::twa
• intersecting_word() : spot::twa
• intersection() : spot::cubeset
• intersects() : spot::bitvect , spot::twa , spot::twa_word
• is() : spot::fnode , spot::formula , spot::twa
• is_accepting() : spot::scc_info_node
• is_accepting_scc() : spot::scc_info
• is_all() : spot::acc_cond
• is_boolean() : spot::fnode
• 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 > , spot::twa_graph
• is_delta1() : spot::fnode
• is_delta2() : spot::fnode
• is_determined() : spot::backprop_graph
• is_dnf() : spot::acc_cond::acc_code
• is_empty() : spot::mtdfa , spot::twa
• is_enabled() : spot::tl_simplifier_options
• is_even() : spot::acd , spot::zielonka_tree
• is_eventual() : spot::fnode
• 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() : spot::trival
• is_false_var() : spot::cubeset
• is_ff() : spot::fnode , spot::formula
• is_finite() : spot::fnode
• is_frozen() : spot::backprop_graph
• is_fully_clear() : spot::bitvect
• is_fully_set() : spot::bitvect
• 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_in_nenoform() : spot::fnode
• 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_ltl_formula() : spot::fnode
• is_marked() : spot::fnode
• is_maximally_accepting_scc() : spot::scc_info
• is_maybe() : spot::trival
• is_new() : spot::state_unicity_table
• is_none() : spot::acc_cond
• is_output_ : spot::random_formula
• is_output_fun() : spot::random_formula
• is_parity() : spot::acc_cond
• is_pi2() : spot::fnode
• is_psl_formula() : spot::fnode
• is_quantified() : spot::fnode
• is_rabin() : spot::acc_cond
• is_rabin_like() : spot::acc_cond
• is_rejecting() : spot::scc_info_node
• is_rejecting_scc() : spot::scc_info
• is_reset() : spot::univ_remover_state
• is_reset_ : spot::univ_remover_state
• is_running() : spot::timer
• is_sba() : spot::twa
• is_sere_formula() : spot::fnode
• is_sigma2() : spot::fnode
• is_singleton() : spot::acc_cond::mark_t
• is_streett() : spot::acc_cond
• is_streett_like() : spot::acc_cond
• is_subset_of() : spot::bitvect
• is_sugar_free_boolean() : spot::fnode
• is_sugar_free_ltl() : spot::fnode
• is_syntactic_guarantee() : spot::fnode
• is_syntactic_obligation() : spot::fnode
• is_syntactic_persistence() : spot::fnode
• is_syntactic_recurrence() : spot::fnode
• is_syntactic_safety() : spot::fnode
• is_syntactic_stutter_invariant() : spot::fnode
• is_t() : spot::acc_cond::acc_code , spot::acc_cond
• is_trivial() : spot::scc_info , spot::scc_info_node
• is_true() : spot::trival
• is_true_var() : spot::cubeset
• is_tt() : spot::fnode , spot::formula
• is_univ_dest() : spot::twa_graph
• is_universal() : spot::fnode
• is_useful() : spot::scc_info_node
• is_useful_scc() : spot::scc_info
• is_useful_state() : spot::scc_info
• is_valid() : spot::cubeset
• is_valid_apid() : spot::formula
• is_valid_edge() : spot::digraph< State_Data, Edge_Data >
• isdead() : spot::int_unionfind
• isomorphism_checker() : spot::isomorphism_checker
• it : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element , spot::twa_reachable_iterator_depth_first::stack_item
• item_type : spot::timer_map
• iter_cache_ : spot::twa
• iterable_uf() : spot::iterable_uf< State, StateHash, StateEqual >
• iterable_uf_ec() : spot::iterable_uf_ec< State, StateHash, StateEqual >
• iterator : spot::digraph< State_Data, Edge_Data > , spot::edge_separator_filter< subsumed >::iterator
• iterator_category : spot::adjlist< State_Data >::successor_iterator