Class list

• Class mata::Alphabet
  • mata::Alphabet
    • translate_symb()
    • translate_word()
    • reverse_translate_symbol()
    • operator[]()
    • get_alphabet_symbols()
    • get_complement()
    • is_equal()
    • is_equal()
    • empty()
• Class mata::BoolVector
  • mata::BoolVector
    • count()
• Class mata::EnumAlphabet
  • mata::EnumAlphabet
    • get_alphabet_symbols()
    • get_complement()
    • reverse_translate_symbol()
    • add_symbols_from()
    • add_symbols_from()
    • translate_symb()
    • translate_word()
    • add_new_symbol()
    • add_new_symbol()
    • get_next_value()
    • get_number_of_symbols()
    • empty()
    • update_next_symbol_value()
    • erase()
    • erase()
    • erase()
    • operator[]()
    • is_equal()
    • is_equal()
• Class mata::FormulaGraph
  • mata::FormulaGraph
• Class mata::IntAlphabet
  • mata::IntAlphabet
    • translate_symb()
    • reverse_translate_symbol()
    • get_alphabet_symbols()
    • get_complement()
    • empty()
    • translate_word()
    • operator[]()
    • is_equal()
    • is_equal()
• Class mata::IntAlphabet::IntAlphabetSingleton
  • mata::IntAlphabet::IntAlphabetSingleton
• Class mata::IntermediateAut
  • mata::IntermediateAut
    • AutomatonType
      • NFA
      • AFA
      • NFT
    • Naming
      • AUTO
      • MARKED
      • ENUM
      • CHARS
      • UTF
    • AlphabetType
      • EXPLICIT
      • BITVECTOR
      • CLASS
      • INTERVALS
    • get_symbol_part_of_transition()
    • get_positive_finals()
    • parse_from_mf()
    • mata::IntermediateAut::transitions
• Class mata::Mintermization
  • mata::Mintermization
    • compute_minterms()
    • graph_to_bdd_nfa()
    • graph_to_bdd_afa()
    • mintermize()
    • mintermize()
    • minterms_to_aut_nfa()
    • minterms_to_aut_afa()
• Class mata::OnTheFlyAlphabet
  • mata::OnTheFlyAlphabet
    • InsertionResult
    • OnTheFlyAlphabet()
    • get_alphabet_symbols()
    • get_complement()
    • reverse_translate_symbol()
    • add_symbols_from()
    • add_symbols_from()
    • translate_symb()
    • translate_word()
    • add_new_symbol()
    • add_new_symbol()
    • try_add_new_symbol()
    • get_next_value()
    • get_number_of_symbols()
    • get_symbol_map()
    • empty()
    • update_next_symbol_value()
    • erase()
    • erase()
    • erase()
    • erase()
    • operator[]()
    • is_equal()
    • is_equal()
• Class mata::applications::strings::ShortestWordsMap
  • mata::applications::strings::ShortestWordsMap
    • ShortestWordsMap()
    • get_shortest_words_from()
    • get_shortest_words_from()
• Class mata::applications::strings::replace::ReluctantReplace
  • mata::applications::strings::replace::ReluctantReplace
    • replace_regex()
    • replace_literal()
    • replace_symbol()
    • replace_symbol()
• Class mata::applications::strings::seg_nfa::Segmentation
  • mata::applications::strings::seg_nfa::Segmentation
    • EpsilonDepth
    • Segmentation()
    • get_epsilon_depths()
    • get_epsilon_depth_trans_map()
    • get_segments()
    • get_untrimmed_segments()
• Class mata::nfa::Delta
  • mata::nfa::Delta
    • state_post()
    • operator[]()
    • mutable_state_post()
    • allocate()
    • num_of_states()
    • uses_state()
    • num_of_transitions()
    • contains()
    • contains()
    • empty()
    • append()
    • renumber_targets()
    • add()
    • transitions()
    • get_transitions_to()
    • get_transitions_between()
    • get_successors()
    • epsilon_symbol_posts()
    • add_symbols_to()
    • get_used_symbols()
    • get_max_symbol()
    • epsilon_symbol_posts()
    • mata::nfa::Delta::Transitions
      • mata::nfa::Delta::Transitions::const_iterator
• Class mata::nfa::Delta::Transitions
  • mata::nfa::Delta::Transitions
    • mata::nfa::Delta::Transitions::const_iterator
• Class mata::nfa::Delta::Transitions::const_iterator
  • mata::nfa::Delta::Transitions::const_iterator
• Class mata::nfa::Move
  • mata::nfa::Move
• Class mata::nfa::Nfa
  • mata::nfa::Nfa
    • Nfa()
    • Nfa()
    • add_state()
    • add_state()
    • insert_word()
    • insert_word()
    • num_of_states()
    • unify_initial()
    • unify_final()
    • swap_final_nonfinal()
    • clear()
    • is_identical()
    • get_reachable_states()
    • get_terminating_states()
    • get_useful_states()
    • tarjan_scc_discover()
    • trim()
    • decode_utf8()
    • distances_from_initial()
    • distances_to_final()
    • get_shortest_accepting_run_from_state()
    • remove_epsilon()
    • concatenate()
    • unite_nondet_with()
    • get_one_letter_aut()
    • is_epsilon()
    • get_one_letter_aut()
    • print_to_dot()
    • print_to_dot()
    • print_to_dot()
    • print_to_mata()
    • print_to_mata()
    • print_to_mata()
    • post()
    • post()
    • post()
    • is_lang_empty()
    • is_lang_empty_scc()
    • is_deterministic()
    • is_complete()
    • is_complete()
    • is_acyclic()
    • is_flat()
    • fill_alphabet()
    • is_universal()
    • is_universal()
    • is_in_lang()
    • is_in_lang()
    • read_word()
    • read_word()
    • read_word_det()
    • read_word_det()
    • is_prefix_in_lang()
    • is_prefix_in_lang()
    • get_words()
    • get_word()
    • get_word_from_complement()
    • make_complete()
    • make_complete()
    • complement_deterministic()
    • delta
    • alphabet
    • mata::nfa::Nfa::TarjanDiscoverCallback
• Class mata::nfa::StatePost
  • mata::nfa::StatePost
    • first_epsilon_it()
    • get_successors()
    • get_successors()
    • moves()
    • moves()
    • moves_epsilons()
    • moves_symbols()
    • num_of_moves()
    • back()
    • erase()
    • difference()
    • contains()
    • with_reserved()
    • mata::nfa::StatePost::Moves
      • Moves()
      • mata::nfa::StatePost::Moves::const_iterator
        • const_iterator()
        • const_iterator()
        • const_iterator()
• Class mata::nfa::StatePost::Moves
  • mata::nfa::StatePost::Moves
    • Moves()
    • mata::nfa::StatePost::Moves::const_iterator
      • const_iterator()
      • const_iterator()
      • const_iterator()
• Class mata::nfa::StatePost::Moves::const_iterator
  • mata::nfa::StatePost::Moves::const_iterator
    • const_iterator()
    • const_iterator()
    • const_iterator()
• Class mata::nfa::SymbolPost
  • mata::nfa::SymbolPost
• Class mata::nfa::SynchronizedExistentialSymbolPostIterator
  • mata::nfa::SynchronizedExistentialSymbolPostIterator
    • unify_targets()
    • synchronize_with()
    • synchronize_with()
    • advance()
    • get_current()
    • push_back()
• Class mata::nft::Levels
  • mata::nft::Levels
    • append()
    • count()
    • get_levels_of()
    • get_levels_of()
    • get_minimal_level_of()
    • get_minimal_next_level_of()
    • can_follow_for_states()
    • num_of_levels
    • can_follow()
    • mata::nft::Levels::Ordering
      • Minimal()
      • Next()
• Class mata::nft::Levels::Ordering
  • mata::nft::Levels::Ordering
    • Minimal()
    • Next()
• Class mata::nft::Nft
  • mata::nft::Nft
    • Nft()
    • Nft()
    • Nft()
    • Nft()
    • Nft()
    • Nft()
    • Nft()
    • add_state()
    • add_state()
    • add_state_with_level()
    • add_state_with_level()
    • num_of_states_with_level()
    • insert_word()
    • insert_word()
    • add_transition()
    • add_transition()
    • insert_word_by_parts()
    • insert_word_by_parts()
    • insert_identity()
    • insert_identity()
    • insert_identity()
    • contains_jump_transitions()
    • clear()
    • is_identical()
    • trim()
    • remove_epsilon()
    • concatenate()
    • unite_nondet_with()
    • get_one_letter_aut()
    • get_one_letter_aut()
    • unwind_jumps_inplace()
    • unwind_jumps()
    • unwind_jumps()
    • print_to_dot()
    • print_to_dot()
    • print_to_dot()
    • print_to_mata()
    • print_to_mata()
    • print_to_mata()
    • post()
    • post()
    • post()
    • is_universal()
    • is_universal()
    • is_in_lang()
    • is_in_lang()
    • is_prefix_in_lang()
    • is_prefix_in_lang()
    • is_tuple_in_lang()
    • get_words()
    • apply()
    • apply()
    • to_nfa_copy()
    • to_nfa_move()
    • to_nfa_update_copy()
    • to_nfa_update_move()
    • make_complete()
    • make_complete()
    • is_complete()
    • is_complete()
    • is_deterministic()
    • num_of_states()
    • unify_initial()
    • unify_final()
    • swap_final_nonfinal()
    • is_identical()
    • get_reachable_states()
    • get_terminating_states()
    • get_useful_states()
    • tarjan_scc_discover()
    • decode_utf8()
    • distances_from_initial()
    • distances_to_final()
    • get_shortest_accepting_run_from_state()
    • concatenate()
    • unite_nondet_with()
    • get_one_letter_aut()
    • get_one_letter_aut()
    • is_epsilon()
    • print_to_mata()
    • print_to_mata()
    • print_to_mata()
    • is_lang_empty()
    • is_lang_empty_scc()
    • is_acyclic()
    • is_flat()
    • fill_alphabet()
    • read_word()
    • read_word()
    • read_word_det()
    • read_word_det()
    • get_word()
    • get_word_from_complement()
    • make_complete()
    • make_complete()
    • complement_deterministic()
    • levels
    • delta
    • alphabet
• Class mata::utils::OrdVector
  • mata::utils::OrdVector
    • difference()
    • contains()
    • erase()
    • back()
    • with_reserved()
    • operator<<
• Class mata::utils::SparseSet
  • mata::utils::SparseSet
    • erase_nocheck()
    • SparseSet()
    • SparseSet()
    • operator[]()
    • max()
• Class mata::utils::SynchronizedExistentialIterator
  • mata::utils::SynchronizedExistentialIterator
    • advance()
    • get_current()
    • push_back()
• Class mata::utils::SynchronizedIterator
  • mata::utils::SynchronizedIterator
    • SynchronizedIterator()
    • push_back()
    • reset()
• Class mata::utils::SynchronizedUniversalIterator
  • mata::utils::SynchronizedUniversalIterator
    • advance()
    • get_current()
    • push_back()
    • synchronized_at_current_minimum
• Class mata::utils::TwoDimensionalMap
  • mata::utils::TwoDimensionalMap
    • TwoDimensionalMap()
    • get()
    • insert()
    • get_first_inverted()
    • get_second_inverted()