- i -

• iar : spot::to_parity_options
• ignore_abort : spot::automaton_parser_options
• improve_det : spot::twa::prop_set
• index : spot::scc_stack::connected_component
• inf : spot::acc_cond::rs_pair
• info_ : spot::emptiness_check_instantiator , spot::enumerate_cycles
• 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
• initial_state_ : spot::scc_info
• inner : spot::cspins_iterator::cspins_iterator_param
• input : spot::parsed_formula
• input_names_ : spot::aig
• is : spot::twa
• is_output_ : spot::random_formula
• is_reset_ : spot::univ_remover_state
• it : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >::todo__element , spot::twa_reachable_iterator_depth_first::stack_item
• iter_cache_ : spot::twa