Index

D

DEBUG_PRINT (C macro) DEBUG_PRINT_LN (C macro) DEBUG_VM_HIGH_PRINT (C macro)

DEBUG_VM_HIGH_PRINT_LN (C macro) DEBUG_VM_LOW_PRINT (C macro) DEBUG_VM_LOW_PRINT_LN (C macro)

M

mata (C++ type), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17] mata::Alphabet (C++ class) mata::Alphabet::address (C++ function) mata::Alphabet::clear (C++ function) mata::Alphabet::empty (C++ function) mata::Alphabet::get_alphabet_symbols (C++ function) mata::Alphabet::get_complement (C++ function) mata::Alphabet::is_equal (C++ function), [1] mata::Alphabet::operator== (C++ function) mata::Alphabet::operator[] (C++ function) mata::Alphabet::reverse_translate_symbol (C++ function) mata::Alphabet::translate_symb (C++ function) mata::Alphabet::translate_word (C++ function) mata::Alphabet::~Alphabet (C++ function) mata::BoolVector (C++ class) mata::BoolVector::BoolVector (C++ function), [1], [2], [3], [4], [5] mata::BoolVector::count (C++ function) mata::BoolVector::get_elements (C++ function), [1] mata::BoolVector::operator= (C++ function), [1] mata::ClosedSet (C++ struct) mata::ClosedSet::antichain (C++ function), [1] mata::ClosedSet::antichain_ (C++ member) mata::ClosedSet::ClosedSet (C++ function), [1], [2], [3] mata::ClosedSet::complement (C++ function) mata::ClosedSet::contains (C++ function), [1] mata::ClosedSet::get_max (C++ function), [1] mata::ClosedSet::get_min (C++ function), [1] mata::ClosedSet::in_interval (C++ function) mata::ClosedSet::insert (C++ function), [1], [2] mata::ClosedSet::intersection (C++ function) mata::ClosedSet::is_downward_closed (C++ function) mata::ClosedSet::is_upward_closed (C++ function) mata::ClosedSet::max_val_ (C++ member) mata::ClosedSet::min_val_ (C++ member) mata::ClosedSet::Node (C++ type) mata::ClosedSet::Nodes (C++ type) mata::ClosedSet::operator<< (C++ function) mata::ClosedSet::operator<= (C++ function) mata::ClosedSet::operator== (C++ function) mata::ClosedSet::operator>= (C++ function) mata::ClosedSet::set_union (C++ function) mata::ClosedSet::type (C++ function), [1] mata::ClosedSet::type_ (C++ member) mata::ClosedSetType (C++ enum) mata::ClosedSetType::downward_closed_set (C++ enumerator) mata::ClosedSetType::upward_closed_set (C++ enumerator) mata::decode_word_utf8 (C++ function) mata::encode_word_utf8 (C++ function) mata::EnumAlphabet (C++ class) mata::EnumAlphabet::add_new_symbol (C++ function), [1] mata::EnumAlphabet::add_symbols_from (C++ function), [1] mata::EnumAlphabet::address (C++ function) mata::EnumAlphabet::clear (C++ function) mata::EnumAlphabet::empty (C++ function) mata::EnumAlphabet::EnumAlphabet (C++ function), [1], [2], [3], [4], [5], [6] mata::EnumAlphabet::erase (C++ function), [1], [2] mata::EnumAlphabet::get_alphabet_symbols (C++ function) mata::EnumAlphabet::get_complement (C++ function) mata::EnumAlphabet::get_next_value (C++ function) mata::EnumAlphabet::get_number_of_symbols (C++ function) mata::EnumAlphabet::is_equal (C++ function), [1] mata::EnumAlphabet::next_symbol_value_ (C++ member) mata::EnumAlphabet::operator= (C++ function), [1] mata::EnumAlphabet::operator== (C++ function) mata::EnumAlphabet::operator[] (C++ function) mata::EnumAlphabet::reverse_translate_symbol (C++ function) mata::EnumAlphabet::symbols_ (C++ member) mata::EnumAlphabet::translate_symb (C++ function) mata::EnumAlphabet::translate_word (C++ function) mata::EnumAlphabet::update_next_symbol_value (C++ function) mata::g_GIT_SHA1 (C++ member) mata::IntAlphabet (C++ class) mata::IntAlphabet::address (C++ function) mata::IntAlphabet::alphabet_instance (C++ member) mata::IntAlphabet::clear (C++ function) mata::IntAlphabet::empty (C++ function) mata::IntAlphabet::get_alphabet_symbols (C++ function) mata::IntAlphabet::get_complement (C++ function) mata::IntAlphabet::IntAlphabet (C++ function), [1] mata::IntAlphabet::IntAlphabetSingleton (C++ class) mata::IntAlphabet::IntAlphabetSingleton::get (C++ function) mata::IntAlphabet::IntAlphabetSingleton::IntAlphabetSingleton (C++ function), [1], [2] mata::IntAlphabet::IntAlphabetSingleton::operator= (C++ function), [1] mata::IntAlphabet::IntAlphabetSingleton::~IntAlphabetSingleton (C++ function) mata::IntAlphabet::is_equal (C++ function), [1] mata::IntAlphabet::operator= (C++ function) mata::IntAlphabet::operator== (C++ function) mata::IntAlphabet::operator[] (C++ function) mata::IntAlphabet::reverse_translate_symbol (C++ function) mata::IntAlphabet::translate_symb (C++ function) mata::IntAlphabet::translate_word (C++ function) mata::LOG_VERBOSITY (C++ member) mata::nfa (C++ type), [1], [2], [3], [4] mata::nfa::algorithms (C++ type) mata::nfa::algorithms::complement_brzozowski (C++ function) mata::nfa::algorithms::complement_classical (C++ function) mata::nfa::algorithms::compute_relation (C++ function) mata::nfa::algorithms::concatenate_eps (C++ function) mata::nfa::algorithms::is_included_antichains (C++ function) mata::nfa::algorithms::is_included_naive (C++ function) mata::nfa::algorithms::is_universal_antichains (C++ function) mata::nfa::algorithms::is_universal_naive (C++ function) mata::nfa::algorithms::minimize_brzozowski (C++ function) mata::nfa::algorithms::minimize_hopcroft (C++ function) mata::nfa::algorithms::product (C++ function) mata::nfa::algorithms::reduce_residual (C++ function) mata::nfa::algorithms::reduce_residual_after (C++ function) mata::nfa::algorithms::reduce_residual_with (C++ function) mata::nfa::algorithms::reduce_simulation (C++ function) mata::nfa::are_equivalent (C++ function), [1] mata::nfa::AreAllOfType (C++ type) mata::nfa::bool_pack (C++ struct) mata::nfa::builder (C++ type) mata::nfa::builder::construct (C++ function), [1], [2], [3] mata::nfa::builder::create_empty_string_nfa (C++ function) mata::nfa::builder::create_from_regex (C++ function) mata::nfa::builder::create_random_nfa_tabakov_vardi (C++ function) mata::nfa::builder::create_sigma_star_nfa (C++ function) mata::nfa::builder::create_single_word_nfa (C++ function), [1] mata::nfa::builder::NameStateMap (C++ type) mata::nfa::builder::parse_from_mata (C++ function), [1], [2] mata::nfa::complement (C++ function), [1] mata::nfa::concatenate (C++ function) mata::nfa::conjunction (C++ type) mata::nfa::create_alphabet (C++ function), [1], [2], [3], [4] mata::nfa::Delta (C++ class) mata::nfa::Delta::add (C++ function), [1], [2] mata::nfa::Delta::add_symbols_to (C++ function) mata::nfa::Delta::allocate (C++ function) mata::nfa::Delta::append (C++ function) mata::nfa::Delta::begin (C++ function) mata::nfa::Delta::cbegin (C++ function) mata::nfa::Delta::cend (C++ function) mata::nfa::Delta::clear (C++ function) mata::nfa::Delta::const_iterator (C++ type) mata::nfa::Delta::contains (C++ function), [1] mata::nfa::Delta::defragment (C++ function) mata::nfa::Delta::Delta (C++ function), [1], [2], [3] mata::nfa::Delta::emplace_back (C++ function) mata::nfa::Delta::empty (C++ function) mata::nfa::Delta::empty_state_post (C++ member) mata::nfa::Delta::end (C++ function) mata::nfa::Delta::epsilon_symbol_posts (C++ function), [1] mata::nfa::Delta::get_max_symbol (C++ function) mata::nfa::Delta::get_successors (C++ function), [1], [2] mata::nfa::Delta::get_transitions_between (C++ function) mata::nfa::Delta::get_transitions_to (C++ function) mata::nfa::Delta::get_used_symbols (C++ function) mata::nfa::Delta::get_used_symbols_bv (C++ function) mata::nfa::Delta::get_used_symbols_chv (C++ function) mata::nfa::Delta::get_used_symbols_set (C++ function) mata::nfa::Delta::get_used_symbols_sps (C++ function) mata::nfa::Delta::get_used_symbols_vec (C++ function) mata::nfa::Delta::mutable_state_post (C++ function) mata::nfa::Delta::num_of_states (C++ function) mata::nfa::Delta::num_of_transitions (C++ function) mata::nfa::Delta::operator= (C++ function), [1] mata::nfa::Delta::operator== (C++ function) mata::nfa::Delta::operator[] (C++ function) mata::nfa::Delta::remove (C++ function), [1] mata::nfa::Delta::renumber_targets (C++ function) mata::nfa::Delta::reserve (C++ function) mata::nfa::Delta::state_post (C++ function) mata::nfa::Delta::state_posts_ (C++ member) mata::nfa::Delta::Transitions (C++ class) mata::nfa::Delta::transitions (C++ function) mata::nfa::Delta::Transitions::begin (C++ function) mata::nfa::Delta::Transitions::const_iterator (C++ class) mata::nfa::Delta::Transitions::const_iterator::const_iterator (C++ function), [1], [2], [3], [4] mata::nfa::Delta::Transitions::const_iterator::current_state_ (C++ member) mata::nfa::Delta::Transitions::const_iterator::delta_ (C++ member) mata::nfa::Delta::Transitions::const_iterator::difference_type (C++ type) mata::nfa::Delta::Transitions::const_iterator::is_end_ (C++ member) mata::nfa::Delta::Transitions::const_iterator::iterator_category (C++ type) mata::nfa::Delta::Transitions::const_iterator::operator* (C++ function) mata::nfa::Delta::Transitions::const_iterator::operator++ (C++ function), [1] mata::nfa::Delta::Transitions::const_iterator::operator-> (C++ function) mata::nfa::Delta::Transitions::const_iterator::operator= (C++ function), [1] mata::nfa::Delta::Transitions::const_iterator::operator== (C++ function) mata::nfa::Delta::Transitions::const_iterator::pointer (C++ type) mata::nfa::Delta::Transitions::const_iterator::reference (C++ type) mata::nfa::Delta::Transitions::const_iterator::state_post_it_ (C++ member) mata::nfa::Delta::Transitions::const_iterator::symbol_post_it_ (C++ member) mata::nfa::Delta::Transitions::const_iterator::transition_ (C++ member) mata::nfa::Delta::Transitions::const_iterator::value_type (C++ type) mata::nfa::Delta::Transitions::delta_ (C++ member) mata::nfa::Delta::Transitions::end (C++ function) mata::nfa::Delta::Transitions::operator= (C++ function), [1] mata::nfa::Delta::Transitions::Transitions (C++ function), [1], [2], [3] mata::nfa::Delta::uses_state (C++ function) mata::nfa::determinize (C++ function) mata::nfa::encode_word (C++ function) mata::nfa::EPSILON (C++ member) mata::nfa::EpsilonClosureOpt (C++ enum) mata::nfa::EpsilonClosureOpt::AFTER (C++ enumerator) mata::nfa::EpsilonClosureOpt::BEFORE (C++ enumerator) mata::nfa::EpsilonClosureOpt::BEFORE_AND_AFTER (C++ enumerator) mata::nfa::EpsilonClosureOpt::NONE (C++ enumerator) mata::nfa::fragile_revert (C++ function) mata::nfa::get_symbols_to_work_with (C++ function) mata::nfa::get_word_from_lang_difference (C++ function) mata::nfa::intersection (C++ function) mata::nfa::is_included (C++ function), [1] mata::nfa::lang_difference (C++ function) mata::nfa::Limits (C++ struct) mata::nfa::Limits::max_state (C++ member) mata::nfa::Limits::max_symbol (C++ member) mata::nfa::Limits::min_state (C++ member) mata::nfa::Limits::min_symbol (C++ member) mata::nfa::minimize (C++ function) mata::nfa::Move (C++ class) mata::nfa::Move::operator== (C++ function) mata::nfa::Move::symbol (C++ member) mata::nfa::Move::target (C++ member) mata::nfa::Nfa (C++ class) mata::nfa::Nfa::add_state (C++ function), [1] mata::nfa::Nfa::alphabet (C++ member) mata::nfa::Nfa::attributes (C++ member) mata::nfa::Nfa::clear (C++ function) mata::nfa::Nfa::complement_deterministic (C++ function) mata::nfa::Nfa::concatenate (C++ function) mata::nfa::Nfa::decode_utf8 (C++ function) mata::nfa::Nfa::delta (C++ member) mata::nfa::Nfa::distances_from_initial (C++ function) mata::nfa::Nfa::distances_to_final (C++ function) mata::nfa::Nfa::fill_alphabet (C++ function) mata::nfa::Nfa::final (C++ member) mata::nfa::Nfa::get_one_letter_aut (C++ function), [1] mata::nfa::Nfa::get_reachable_states (C++ function) mata::nfa::Nfa::get_shortest_accepting_run_from_state (C++ function) mata::nfa::Nfa::get_terminating_states (C++ function) mata::nfa::Nfa::get_useful_states (C++ function) mata::nfa::Nfa::get_word (C++ function) mata::nfa::Nfa::get_word_for_path (C++ function) mata::nfa::Nfa::get_word_from_complement (C++ function) mata::nfa::Nfa::get_words (C++ function) mata::nfa::Nfa::initial (C++ member) mata::nfa::Nfa::insert_word (C++ function), [1] mata::nfa::Nfa::is_acyclic (C++ function) mata::nfa::Nfa::is_complete (C++ function) mata::nfa::Nfa::is_deterministic (C++ function) mata::nfa::Nfa::is_epsilon (C++ function) mata::nfa::Nfa::is_flat (C++ function) mata::nfa::Nfa::is_identical (C++ function) mata::nfa::Nfa::is_in_lang (C++ function), [1] mata::nfa::Nfa::is_lang_empty (C++ function) mata::nfa::Nfa::is_lang_empty_scc (C++ function) mata::nfa::Nfa::is_prefix_in_lang (C++ function), [1] mata::nfa::Nfa::is_state (C++ function) mata::nfa::Nfa::is_universal (C++ function), [1] mata::nfa::Nfa::make_complete (C++ function), [1] mata::nfa::Nfa::Nfa (C++ function), [1], [2], [3] mata::nfa::Nfa::num_of_states (C++ function) mata::nfa::Nfa::operator= (C++ function), [1] mata::nfa::Nfa::post (C++ function), [1], [2] mata::nfa::Nfa::print_to_dot (C++ function), [1], [2] mata::nfa::Nfa::print_to_mata (C++ function), [1], [2] mata::nfa::Nfa::remove_epsilon (C++ function) mata::nfa::Nfa::swap_final_nonfinal (C++ function) mata::nfa::Nfa::tarjan_scc_discover (C++ function) mata::nfa::Nfa::TarjanDiscoverCallback (C++ struct) mata::nfa::Nfa::TarjanDiscoverCallback::scc_discover (C++ member) mata::nfa::Nfa::TarjanDiscoverCallback::scc_state_discover (C++ member) mata::nfa::Nfa::TarjanDiscoverCallback::state_discover (C++ member) mata::nfa::Nfa::TarjanDiscoverCallback::succ_state_discover (C++ member) mata::nfa::Nfa::trim (C++ function) mata::nfa::Nfa::unify_final (C++ function) mata::nfa::Nfa::unify_initial (C++ function) mata::nfa::Nfa::unite_nondet_with (C++ function) mata::nfa::ParameterMap (C++ type) mata::nfa::product (C++ function) mata::nfa::ProductFinalStateCondition (C++ enum) mata::nfa::ProductFinalStateCondition::AND (C++ enumerator) mata::nfa::ProductFinalStateCondition::OR (C++ enumerator) mata::nfa::reduce (C++ function) mata::nfa::remove_epsilon (C++ function) mata::nfa::revert (C++ function) mata::nfa::Run (C++ struct) mata::nfa::Run::path (C++ member) mata::nfa::Run::word (C++ member) mata::nfa::simple_revert (C++ function) mata::nfa::somewhat_simple_revert (C++ function) mata::nfa::State (C++ type) mata::nfa::StatePost (C++ class) mata::nfa::StatePost::back (C++ function), [1] mata::nfa::StatePost::begin (C++ function), [1] mata::nfa::StatePost::cbegin (C++ function) mata::nfa::StatePost::cend (C++ function) mata::nfa::StatePost::clear (C++ function) mata::nfa::StatePost::const_iterator (C++ type) mata::nfa::StatePost::emplace_back (C++ function) mata::nfa::StatePost::empty (C++ function) mata::nfa::StatePost::end (C++ function), [1] mata::nfa::StatePost::erase (C++ function), [1], [2] mata::nfa::StatePost::filter (C++ function) mata::nfa::StatePost::find (C++ function), [1], [2], [3] mata::nfa::StatePost::first_epsilon_it (C++ function) mata::nfa::StatePost::front (C++ function), [1] mata::nfa::StatePost::get_successors (C++ function), [1] mata::nfa::StatePost::insert (C++ function), [1], [2] mata::nfa::StatePost::iterator (C++ type) mata::nfa::StatePost::Moves (C++ class) mata::nfa::StatePost::moves (C++ function), [1] mata::nfa::StatePost::Moves::begin (C++ function) mata::nfa::StatePost::Moves::const_iterator (C++ class) mata::nfa::StatePost::Moves::const_iterator::const_iterator (C++ function), [1], [2], [3], [4] mata::nfa::StatePost::Moves::const_iterator::difference_type (C++ type) mata::nfa::StatePost::Moves::const_iterator::is_end_ (C++ member) mata::nfa::StatePost::Moves::const_iterator::iterator_category (C++ type) mata::nfa::StatePost::Moves::const_iterator::move_ (C++ member) mata::nfa::StatePost::Moves::const_iterator::operator* (C++ function) mata::nfa::StatePost::Moves::const_iterator::operator++ (C++ function), [1] mata::nfa::StatePost::Moves::const_iterator::operator-> (C++ function) mata::nfa::StatePost::Moves::const_iterator::operator= (C++ function), [1] mata::nfa::StatePost::Moves::const_iterator::operator== (C++ function) mata::nfa::StatePost::Moves::const_iterator::pointer (C++ type) mata::nfa::StatePost::Moves::const_iterator::reference (C++ type) mata::nfa::StatePost::Moves::const_iterator::state_post_ (C++ member) mata::nfa::StatePost::Moves::const_iterator::symbol_post_end_ (C++ member) mata::nfa::StatePost::Moves::const_iterator::symbol_post_it_ (C++ member) mata::nfa::StatePost::Moves::const_iterator::target_it_ (C++ member) mata::nfa::StatePost::Moves::const_iterator::value_type (C++ type) mata::nfa::StatePost::Moves::end (C++ function) mata::nfa::StatePost::Moves::Moves (C++ function), [1], [2], [3] mata::nfa::StatePost::Moves::operator= (C++ function), [1] mata::nfa::StatePost::Moves::state_post_ (C++ member) mata::nfa::StatePost::Moves::symbol_post_end_ (C++ member) mata::nfa::StatePost::Moves::symbol_post_it_ (C++ member) mata::nfa::StatePost::moves_epsilons (C++ function) mata::nfa::StatePost::moves_symbols (C++ function) mata::nfa::StatePost::num_of_moves (C++ function) mata::nfa::StatePost::operator= (C++ function), [1], [2], [3] mata::nfa::StatePost::operator== (C++ function), [1] mata::nfa::StatePost::OrdVector (C++ function), [1], [2], [3], [4], [5], [6], [7], [8] mata::nfa::StatePost::pop_back (C++ function) mata::nfa::StatePost::push_back (C++ function), [1] mata::nfa::StatePost::reserve (C++ function) mata::nfa::StatePost::size (C++ function) mata::nfa::StatePost::StatePost (C++ function), [1] mata::nfa::StatePost::super (C++ type) mata::nfa::StatePost::to_vector (C++ function) mata::nfa::StateRenaming (C++ type) mata::nfa::StateSet (C++ type) mata::nfa::SymbolPost (C++ class) mata::nfa::SymbolPost::begin (C++ function) mata::nfa::SymbolPost::cbegin (C++ function) mata::nfa::SymbolPost::cend (C++ function) mata::nfa::SymbolPost::count (C++ function) mata::nfa::SymbolPost::emplace_back (C++ function) mata::nfa::SymbolPost::empty (C++ function) mata::nfa::SymbolPost::end (C++ function) mata::nfa::SymbolPost::erase (C++ function) mata::nfa::SymbolPost::find (C++ function), [1] mata::nfa::SymbolPost::insert (C++ function), [1] mata::nfa::SymbolPost::num_of_targets (C++ function) mata::nfa::SymbolPost::operator<=> (C++ function) mata::nfa::SymbolPost::operator= (C++ function), [1] mata::nfa::SymbolPost::operator== (C++ function) mata::nfa::SymbolPost::push_back (C++ function) mata::nfa::SymbolPost::symbol (C++ member) mata::nfa::SymbolPost::SymbolPost (C++ function), [1], [2], [3], [4], [5] mata::nfa::SymbolPost::targets (C++ member) mata::nfa::SynchronizedExistentialSymbolPostIterator (C++ class) mata::nfa::SynchronizedExistentialSymbolPostIterator::synchronize_with (C++ function), [1] mata::nfa::SynchronizedExistentialSymbolPostIterator::unify_targets (C++ function) mata::nfa::Transition (C++ struct) mata::nfa::Transition::operator<=> (C++ function) mata::nfa::Transition::operator= (C++ function), [1] mata::nfa::Transition::source (C++ member) mata::nfa::Transition::symbol (C++ member) mata::nfa::Transition::target (C++ member) mata::nfa::Transition::Transition (C++ function), [1], [2], [3] mata::nfa::TYPE_NFA (C++ member) mata::nfa::union_det_complete (C++ function) mata::nfa::union_nondet (C++ function) mata::nft (C++ type), [1], [2], [3], [4], [5]

mata::nft::algorithms (C++ type) mata::nft::algorithms::complement_classical (C++ function) mata::nft::algorithms::compute_relation (C++ function) mata::nft::algorithms::concatenate_eps (C++ function) mata::nft::algorithms::is_included_antichains (C++ function) mata::nft::algorithms::is_included_naive (C++ function) mata::nft::algorithms::is_universal_antichains (C++ function) mata::nft::algorithms::is_universal_naive (C++ function) mata::nft::algorithms::minimize_brzozowski (C++ function) mata::nft::algorithms::product (C++ function) mata::nft::are_equivalent (C++ function), [1] mata::nft::AreAllOfType (C++ type) mata::nft::bool_pack (C++ struct) mata::nft::builder (C++ type) mata::nft::builder::construct (C++ function), [1], [2], [3] mata::nft::builder::create_empty_string_nft (C++ function) mata::nft::builder::create_sigma_star_nft (C++ function), [1] mata::nft::builder::create_single_word_nft (C++ function), [1] mata::nft::builder::from_nfa_with_levels_advancing (C++ function) mata::nft::builder::from_nfa_with_levels_zero (C++ function) mata::nft::builder::NameStateMap (C++ type) mata::nft::builder::parse_from_mata (C++ function), [1], [2] mata::nft::complement (C++ function), [1] mata::nft::compose (C++ function), [1] mata::nft::concatenate (C++ function) mata::nft::conjunction (C++ type) mata::nft::DEFAULT_LEVEL (C++ member) mata::nft::DEFAULT_NUM_OF_LEVELS (C++ member) mata::nft::Delta (C++ type) mata::nft::determinize (C++ function) mata::nft::DONT_CARE (C++ member) mata::nft::encode_word (C++ function) mata::nft::EPSILON (C++ member) mata::nft::EpsilonClosureOpt (C++ type) mata::nft::fragile_revert (C++ function) mata::nft::insert_level (C++ function) mata::nft::insert_levels (C++ function) mata::nft::intersection (C++ function) mata::nft::invert_levels (C++ function) mata::nft::is_included (C++ function), [1] mata::nft::JumpMode (C++ enum) mata::nft::JumpMode::AppendDontCares (C++ enumerator) mata::nft::JumpMode::RepeatSymbol (C++ enumerator) mata::nft::Level (C++ type) mata::nft::Levels (C++ class) mata::nft::Levels::append (C++ function) mata::nft::Levels::count (C++ function) mata::nft::Levels::Levels (C++ function), [1] mata::nft::Levels::operator= (C++ function), [1] mata::nft::Levels::set (C++ function) mata::nft::Levels::super (C++ type) mata::nft::Limits (C++ type) mata::nft::minimize (C++ function) mata::nft::Move (C++ type) mata::nft::Nft (C++ class) mata::nft::Nft::add_state (C++ function), [1] mata::nft::Nft::add_state_with_level (C++ function), [1] mata::nft::Nft::add_transition (C++ function), [1] mata::nft::Nft::apply (C++ function), [1] mata::nft::Nft::clear (C++ function) mata::nft::Nft::concatenate (C++ function) mata::nft::Nft::contains_jump_transitions (C++ function) mata::nft::Nft::get_one_letter_aut (C++ function), [1] mata::nft::Nft::get_word_for_path (C++ function) mata::nft::Nft::get_words (C++ function) mata::nft::Nft::insert_identity (C++ function), [1], [2] mata::nft::Nft::insert_word (C++ function), [1] mata::nft::Nft::insert_word_by_parts (C++ function), [1] mata::nft::Nft::is_identical (C++ function) mata::nft::Nft::is_in_lang (C++ function), [1] mata::nft::Nft::is_prefix_in_lang (C++ function), [1] mata::nft::Nft::is_tuple_in_lang (C++ function) mata::nft::Nft::is_universal (C++ function), [1] mata::nft::Nft::levels (C++ member) mata::nft::Nft::Nft (C++ function), [1], [2], [3], [4], [5] mata::nft::Nft::num_of_levels (C++ member) mata::nft::Nft::num_of_states_with_level (C++ function) mata::nft::Nft::operator= (C++ function), [1], [2], [3] mata::nft::Nft::post (C++ function), [1], [2] mata::nft::Nft::print_to_dot (C++ function), [1], [2] mata::nft::Nft::print_to_mata (C++ function), [1], [2] mata::nft::Nft::remove_epsilon (C++ function) mata::nft::Nft::to_nfa_copy (C++ function) mata::nft::Nft::to_nfa_move (C++ function) mata::nft::Nft::to_nfa_update_copy (C++ function) mata::nft::Nft::to_nfa_update_move (C++ function) mata::nft::Nft::trim (C++ function) mata::nft::Nft::unite_nondet_with (C++ function) mata::nft::Nft::unwind_jumps (C++ function), [1] mata::nft::Nft::unwind_jumps_inplace (C++ function) mata::nft::Nft::with_levels (C++ function), [1] mata::nft::ParameterMap (C++ type) mata::nft::product (C++ function) mata::nft::ProductFinalStateCondition (C++ type) mata::nft::project_out (C++ function), [1] mata::nft::project_to (C++ function), [1] mata::nft::reduce (C++ function) mata::nft::remove_epsilon (C++ function) mata::nft::revert (C++ function) mata::nft::Run (C++ type) mata::nft::simple_revert (C++ function) mata::nft::somewhat_simple_revert (C++ function) mata::nft::State (C++ type) mata::nft::StatePost (C++ type) mata::nft::StateRenaming (C++ type) mata::nft::StateSet (C++ type) mata::nft::strings (C++ type) mata::nft::strings::BEGIN_MARKER (C++ member) mata::nft::strings::create_identity (C++ function) mata::nft::strings::create_identity_with_single_symbol_replace (C++ function), [1] mata::nft::strings::END_MARKER (C++ member) mata::nft::strings::ReluctantReplace (C++ class) mata::nft::strings::ReluctantReplace::begin_marker_nfa (C++ function), [1] mata::nft::strings::ReluctantReplace::begin_marker_nft (C++ function) mata::nft::strings::ReluctantReplace::end_marker_dfa (C++ function) mata::nft::strings::ReluctantReplace::end_marker_dft (C++ function) mata::nft::strings::ReluctantReplace::generic_marker_dfa (C++ function), [1] mata::nft::strings::ReluctantReplace::marker_nft (C++ function) mata::nft::strings::ReluctantReplace::reluctant_leftmost_nft (C++ function), [1] mata::nft::strings::ReluctantReplace::reluctant_nfa_with_marker (C++ function) mata::nft::strings::ReluctantReplace::replace_literal (C++ function) mata::nft::strings::ReluctantReplace::replace_literal_nft (C++ function) mata::nft::strings::ReluctantReplace::replace_regex (C++ function) mata::nft::strings::ReluctantReplace::replace_symbol (C++ function), [1] mata::nft::strings::replace_reluctant_literal (C++ function) mata::nft::strings::replace_reluctant_regex (C++ function), [1] mata::nft::strings::replace_reluctant_single_symbol (C++ function), [1] mata::nft::strings::ReplaceMode (C++ enum) mata::nft::strings::ReplaceMode::All (C++ enumerator) mata::nft::strings::ReplaceMode::Single (C++ enumerator) mata::nft::SymbolPost (C++ type) mata::nft::SynchronizedExistentialSymbolPostIterator (C++ type) mata::nft::Transition (C++ type) mata::nft::TYPE_NFT (C++ member) mata::nft::union_det_complete (C++ function) mata::nft::union_nondet (C++ function) mata::OnTheFlyAlphabet (C++ class) mata::OnTheFlyAlphabet::add_new_symbol (C++ function), [1] mata::OnTheFlyAlphabet::add_symbols_from (C++ function), [1] mata::OnTheFlyAlphabet::address (C++ function) mata::OnTheFlyAlphabet::clear (C++ function) mata::OnTheFlyAlphabet::empty (C++ function) mata::OnTheFlyAlphabet::erase (C++ function), [1], [2], [3] mata::OnTheFlyAlphabet::get_alphabet_symbols (C++ function) mata::OnTheFlyAlphabet::get_complement (C++ function) mata::OnTheFlyAlphabet::get_next_value (C++ function) mata::OnTheFlyAlphabet::get_number_of_symbols (C++ function) mata::OnTheFlyAlphabet::get_symbol_map (C++ function) mata::OnTheFlyAlphabet::InsertionResult (C++ type) mata::OnTheFlyAlphabet::is_equal (C++ function), [1] mata::OnTheFlyAlphabet::next_symbol_value_ (C++ member) mata::OnTheFlyAlphabet::OnTheFlyAlphabet (C++ function), [1], [2], [3], [4], [5], [6], [7] mata::OnTheFlyAlphabet::operator= (C++ function), [1] mata::OnTheFlyAlphabet::operator== (C++ function) mata::OnTheFlyAlphabet::operator[] (C++ function) mata::OnTheFlyAlphabet::reverse_translate_symbol (C++ function) mata::OnTheFlyAlphabet::StringToSymbolMap (C++ type) mata::OnTheFlyAlphabet::symbol_map_ (C++ member) mata::OnTheFlyAlphabet::translate_symb (C++ function) mata::OnTheFlyAlphabet::translate_word (C++ function) mata::OnTheFlyAlphabet::try_add_new_symbol (C++ function) mata::OnTheFlyAlphabet::update_next_symbol_value (C++ function) mata::operator<< (C++ function) mata::OrdVec (C++ type) mata::strings (C++ type) mata::strings::get_accepted_symbols (C++ function) mata::strings::get_shortest_words (C++ function) mata::strings::get_word_lengths (C++ function) mata::strings::is_lang_eps (C++ function) mata::strings::Nfa (C++ type) mata::strings::Nft (C++ type) mata::strings::ParameterMap (C++ type) mata::strings::reluctant_nfa (C++ function) mata::strings::seg_nfa (C++ type) mata::strings::seg_nfa::Noodle (C++ type) mata::strings::seg_nfa::NoodleWithEpsilonsCounter (C++ type) mata::strings::seg_nfa::noodlify (C++ function) mata::strings::seg_nfa::noodlify_for_equation (C++ function), [1], [2] mata::strings::seg_nfa::noodlify_for_transducer (C++ function) mata::strings::seg_nfa::noodlify_mult_eps (C++ function) mata::strings::seg_nfa::process_eps_map (C++ function) mata::strings::seg_nfa::Segmentation (C++ class) mata::strings::seg_nfa::Segmentation::add_transitions_to_worklist (C++ function) mata::strings::seg_nfa::Segmentation::automaton (C++ member) mata::strings::seg_nfa::Segmentation::compute_epsilon_depths (C++ function) mata::strings::seg_nfa::Segmentation::eps_depth_trans_map (C++ member) mata::strings::seg_nfa::Segmentation::epsilon_depth_transitions (C++ member) mata::strings::seg_nfa::Segmentation::EpsilonDepth (C++ type) mata::strings::seg_nfa::Segmentation::EpsilonDepthTransitionMap (C++ type) mata::strings::seg_nfa::Segmentation::EpsilonDepthTransitions (C++ type) mata::strings::seg_nfa::Segmentation::epsilons (C++ member) mata::strings::seg_nfa::Segmentation::get_epsilon_depth_trans_map (C++ function) mata::strings::seg_nfa::Segmentation::get_epsilon_depths (C++ function) mata::strings::seg_nfa::Segmentation::get_segments (C++ function) mata::strings::seg_nfa::Segmentation::get_untrimmed_segments (C++ function) mata::strings::seg_nfa::Segmentation::get_visited_eps (C++ function) mata::strings::seg_nfa::Segmentation::handle_epsilon_transitions (C++ function) mata::strings::seg_nfa::Segmentation::initialize_visited_map (C++ function) mata::strings::seg_nfa::Segmentation::initialize_worklist (C++ function) mata::strings::seg_nfa::Segmentation::process_state_depth_pair (C++ function) mata::strings::seg_nfa::Segmentation::remove_inner_initial_and_final_states (C++ function) mata::strings::seg_nfa::Segmentation::Segmentation (C++ function) mata::strings::seg_nfa::Segmentation::segments (C++ member) mata::strings::seg_nfa::Segmentation::segments_raw (C++ member) mata::strings::seg_nfa::Segmentation::split_aut_into_segments (C++ function) mata::strings::seg_nfa::Segmentation::StateDepthTuple (C++ struct) mata::strings::seg_nfa::Segmentation::StateDepthTuple::depth (C++ member) mata::strings::seg_nfa::Segmentation::StateDepthTuple::eps (C++ member) mata::strings::seg_nfa::Segmentation::StateDepthTuple::state (C++ member) mata::strings::seg_nfa::Segmentation::update_current_segment (C++ function) mata::strings::seg_nfa::Segmentation::update_next_segment (C++ function) mata::strings::seg_nfa::Segmentation::visited_eps (C++ member) mata::strings::seg_nfa::SegmentWithEpsilonsCounter (C++ type) mata::strings::seg_nfa::SegNfa (C++ type) mata::strings::seg_nfa::segs_one_initial_final (C++ function) mata::strings::seg_nfa::TransducerNoodle (C++ type) mata::strings::seg_nfa::TransducerNoodleElement (C++ struct) mata::strings::seg_nfa::TransducerNoodleElement::input_aut (C++ member) mata::strings::seg_nfa::TransducerNoodleElement::input_index (C++ member) mata::strings::seg_nfa::TransducerNoodleElement::output_aut (C++ member) mata::strings::seg_nfa::TransducerNoodleElement::output_index (C++ member) mata::strings::seg_nfa::TransducerNoodleElement::transducer (C++ member) mata::strings::seg_nfa::TransducerNoodleElement::TransducerNoodleElement (C++ function) mata::strings::seg_nfa::VisitedEpsilonsCounterMap (C++ type) mata::strings::seg_nfa::VisitedEpsilonsCounterVector (C++ type) mata::strings::seg_nfa::VisitedEpsMap (C++ type) mata::strings::ShortestWordsMap (C++ class) mata::strings::ShortestWordsMap::compute (C++ function) mata::strings::ShortestWordsMap::compute_for_state (C++ function) mata::strings::ShortestWordsMap::fifo_queue (C++ member) mata::strings::ShortestWordsMap::get_shortest_words_from (C++ function), [1] mata::strings::ShortestWordsMap::insert_initial_lengths (C++ function) mata::strings::ShortestWordsMap::LengthWordsPair (C++ type) mata::strings::ShortestWordsMap::map_default_shortest_words (C++ function) mata::strings::ShortestWordsMap::processed (C++ member) mata::strings::ShortestWordsMap::reversed_automaton (C++ member) mata::strings::ShortestWordsMap::shortest_words_map (C++ member) mata::strings::ShortestWordsMap::ShortestWordsMap (C++ function) mata::strings::ShortestWordsMap::update_current_words (C++ function) mata::strings::ShortestWordsMap::WordLength (C++ type) mata::strings::State (C++ type) mata::strings::StateSet (C++ type) mata::strings::SymbolPost (C++ type) mata::strings::Transition (C++ type) mata::Symbol (C++ type) mata::utils (C++ type), [1], [2], [3] mata::utils::are_disjoint (C++ function), [1] mata::utils::defragment (C++ function) mata::utils::filter (C++ function) mata::utils::filter_indexes (C++ function) mata::utils::hash_combine (C++ function) mata::utils::hash_range (C++ function) mata::utils::haskey (C++ function) mata::utils::invert_map (C++ function) mata::utils::is_in (C++ function) mata::utils::is_sorted (C++ function) mata::utils::OrdVector (C++ class) mata::utils::OrdVector::back (C++ function), [1] mata::utils::OrdVector::begin (C++ function), [1] mata::utils::OrdVector::cbegin (C++ function) mata::utils::OrdVector::cend (C++ function) mata::utils::OrdVector::clear (C++ function) mata::utils::OrdVector::const_iterator (C++ type) mata::utils::OrdVector::const_reference (C++ type) mata::utils::OrdVector::contains (C++ function) mata::utils::OrdVector::count (C++ function) mata::utils::OrdVector::difference (C++ function), [1] mata::utils::OrdVector::emplace_back (C++ function) mata::utils::OrdVector::empty (C++ function) mata::utils::OrdVector::end (C++ function), [1] mata::utils::OrdVector::erase (C++ function), [1], [2] mata::utils::OrdVector::filter (C++ function) mata::utils::OrdVector::filter_indexes (C++ function) mata::utils::OrdVector::find (C++ function), [1] mata::utils::OrdVector::front (C++ function), [1] mata::utils::OrdVector::insert (C++ function), [1], [2] mata::utils::OrdVector::intersection (C++ function), [1] mata::utils::OrdVector::is_intersection_empty_with (C++ function) mata::utils::OrdVector::is_sorted (C++ function) mata::utils::OrdVector::is_subset_of (C++ function) mata::utils::OrdVector::iterator (C++ type) mata::utils::OrdVector::operator< (C++ function) mata::utils::OrdVector::operator<< (C++ function) mata::utils::OrdVector::operator= (C++ function), [1] mata::utils::OrdVector::operator== (C++ function) mata::utils::OrdVector::OrdVector (C++ function), [1], [2], [3], [4], [5], [6], [7], [8] mata::utils::OrdVector::pop_back (C++ function) mata::utils::OrdVector::push_back (C++ function), [1] mata::utils::OrdVector::reference (C++ type) mata::utils::OrdVector::rename (C++ function) mata::utils::OrdVector::reserve (C++ function) mata::utils::OrdVector::resize (C++ function) mata::utils::OrdVector::set_union (C++ function), [1] mata::utils::OrdVector::size (C++ function) mata::utils::OrdVector::size_type (C++ type) mata::utils::OrdVector::to_vector (C++ function) mata::utils::OrdVector::value_type (C++ type) mata::utils::OrdVector::vec_ (C++ member) mata::utils::OrdVector::VectorType (C++ type) mata::utils::OrdVector::with_reserved (C++ function) mata::utils::OrdVector::~OrdVector (C++ function) mata::utils::push_back (C++ function) mata::utils::rename (C++ function) mata::utils::replace_all (C++ function) mata::utils::reserve_on_insert (C++ function) mata::utils::sort_and_rmdupl (C++ function) mata::utils::SparseSet (C++ class) mata::utils::SparseSet::are_disjoint (C++ function) mata::utils::SparseSet::begin (C++ function), [1] mata::utils::SparseSet::clear (C++ function) mata::utils::SparseSet::complement (C++ function) mata::utils::SparseSet::consistent (C++ function) mata::utils::SparseSet::const_iterator (C++ type) mata::utils::SparseSet::contains (C++ function) mata::utils::SparseSet::dense (C++ member) mata::utils::SparseSet::domain_size (C++ function) mata::utils::SparseSet::domain_size_ (C++ member) mata::utils::SparseSet::empty (C++ function) mata::utils::SparseSet::end (C++ function), [1] mata::utils::SparseSet::erase (C++ function), [1], [2], [3] mata::utils::SparseSet::erase_nocheck (C++ function) mata::utils::SparseSet::filter (C++ function) mata::utils::SparseSet::insert (C++ function), [1], [2], [3] mata::utils::SparseSet::intersects_with (C++ function) mata::utils::SparseSet::iterator (C++ type) mata::utils::SparseSet::max (C++ function) mata::utils::SparseSet::operator= (C++ function), [1] mata::utils::SparseSet::operator== (C++ function) mata::utils::SparseSet::operator[] (C++ function) mata::utils::SparseSet::rename (C++ function) mata::utils::SparseSet::reserve (C++ function) mata::utils::SparseSet::size (C++ function) mata::utils::SparseSet::size_ (C++ member) mata::utils::SparseSet::sort (C++ function) mata::utils::SparseSet::sparse (C++ member) mata::utils::SparseSet::SparseSet (C++ function), [1], [2], [3], [4], [5], [6], [7] mata::utils::SparseSet::truncate (C++ function) mata::utils::SynchronizedExistentialIterator (C++ class) mata::utils::SynchronizedExistentialIterator::advance (C++ function) mata::utils::SynchronizedExistentialIterator::currently_synchronized (C++ member) mata::utils::SynchronizedExistentialIterator::ends (C++ member) mata::utils::SynchronizedExistentialIterator::get_current (C++ function) mata::utils::SynchronizedExistentialIterator::get_current_minimum (C++ function) mata::utils::SynchronizedExistentialIterator::is_synchronized (C++ function) mata::utils::SynchronizedExistentialIterator::next_minimum (C++ member) mata::utils::SynchronizedExistentialIterator::positions (C++ member) mata::utils::SynchronizedExistentialIterator::push_back (C++ function) mata::utils::SynchronizedExistentialIterator::reserve (C++ function) mata::utils::SynchronizedExistentialIterator::reset (C++ function) mata::utils::SynchronizedExistentialIterator::SynchronizedExistentialIterator (C++ function) mata::utils::SynchronizedIterator (C++ class) mata::utils::SynchronizedIterator::advance (C++ function) mata::utils::SynchronizedIterator::ends (C++ member) mata::utils::SynchronizedIterator::get_current (C++ function) mata::utils::SynchronizedIterator::positions (C++ member) mata::utils::SynchronizedIterator::push_back (C++ function) mata::utils::SynchronizedIterator::reserve (C++ function) mata::utils::SynchronizedIterator::reset (C++ function) mata::utils::SynchronizedIterator::SynchronizedIterator (C++ function) mata::utils::SynchronizedIterator::~SynchronizedIterator (C++ function) mata::utils::SynchronizedUniversalIterator (C++ class) mata::utils::SynchronizedUniversalIterator::advance (C++ function) mata::utils::SynchronizedUniversalIterator::ends (C++ member) mata::utils::SynchronizedUniversalIterator::get_current (C++ function) mata::utils::SynchronizedUniversalIterator::positions (C++ member) mata::utils::SynchronizedUniversalIterator::push_back (C++ function) mata::utils::SynchronizedUniversalIterator::reserve (C++ function) mata::utils::SynchronizedUniversalIterator::reset (C++ function) mata::utils::SynchronizedUniversalIterator::synchronized_at_current_minimum (C++ member) mata::utils::SynchronizedUniversalIterator::SynchronizedUniversalIterator (C++ function) mata::utils::TuplePrinter (C++ struct) mata::utils::TuplePrinter::print (C++ function) mata::utils::TuplePrinter<Tuple, 1> (C++ struct) mata::utils::TuplePrinter<Tuple, 1>::print (C++ function), [1] mata::Word (C++ type) mata::WordName (C++ type)

P

PRINT_VERBOSE_LVL (C macro)

PRINT_VERBOSE_LVL_LN (C macro)

S

std (C++ type), [1], [2], [3], [4] std::hash<mata::nfa::Transition> (C++ struct) std::hash<mata::nfa::Transition>::operator() (C++ function) std::hash<mata::utils::OrdVector<Key>> (C++ struct) std::hash<mata::utils::OrdVector<Key>>::operator() (C++ function) std::hash<std::pair<A, B>> (C++ struct)

std::hash<std::pair<A, B>>::operator() (C++ function) std::hash<std::set<A>> (C++ struct) std::hash<std::set<A>>::operator() (C++ function) std::hash<std::vector<A>> (C++ struct) std::hash<std::vector<A>>::operator() (C++ function) std::operator<< (C++ function), [1], [2], [3] std::to_string (C++ function), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12]

W

WARN_PRINT (C macro)