Namespace list

• Namespace mata
  • mata
    • Symbol
    • Word
    • WordName
    • OrdVec
    • ClosedSetType
      • upward_closed_set
      • downward_closed_set
    • encode_word_utf8()
    • decode_word_utf8()
    • operator<<()
    • LOG_VERBOSITY
    • g_GIT_SHA1
    • mata::Alphabet
      • translate_symb()
      • translate_word()
      • reverse_translate_symbol()
      • operator[]()
      • get_alphabet_symbols()
      • get_complement()
      • is_equal()
      • is_equal()
      • empty()
    • mata::BoolVector
      • count()
    • mata::ClosedSet
      • operator==()
      • contains()
      • contains()
      • in_interval()
      • insert()
      • set_union()
      • intersection()
      • complement()
    • 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()
    • mata::FormulaGraph
    • mata::FormulaNode
      • type
      • raw
      • name
      • operator_type
      • operand_type
    • mata::IntAlphabet
      • translate_symb()
      • reverse_translate_symbol()
      • get_alphabet_symbols()
      • get_complement()
      • empty()
      • translate_word()
      • operator[]()
      • is_equal()
      • is_equal()
    • 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
    • mata::Mintermization
      • compute_minterms()
      • graph_to_bdd_nfa()
      • graph_to_bdd_afa()
      • mintermize()
      • mintermize()
      • minterms_to_aut_nfa()
      • minterms_to_aut_afa()
    • 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()
    • mata::applications
      • mata::applications::strings
        • Nfa
        • State
        • StateSet
        • Transition
        • ParameterMap
        • SymbolPost
        • Nft
        • get_shortest_words()
        • get_words_of_lengths()
        • get_accepted_symbols()
        • get_word_lengths()
        • is_lang_eps()
        • mata::applications::strings::ShortestWordsMap
          • ShortestWordsMap()
          • get_shortest_words_from()
          • get_shortest_words_from()
        • mata::applications::strings::replace
          • ReplaceMode
            • Single
            • All
          • reluctant_nfa()
          • create_identity()
          • create_identity_with_single_symbol_replace()
          • create_identity_with_single_symbol_replace()
          • replace_reluctant_regex()
          • replace_reluctant_regex()
          • replace_reluctant_literal()
          • replace_reluctant_single_symbol()
          • replace_reluctant_single_symbol()
          • BEGIN_MARKER
          • END_MARKER
          • mata::applications::strings::replace::ReluctantReplace
            • replace_regex()
            • replace_literal()
            • replace_symbol()
            • replace_symbol()
        • mata::applications::strings::seg_nfa
          • SegNfa
          • VisitedEpsMap
          • VisitedEpsilonsCounterMap
          • VisitedEpsilonsCounterVector
          • Noodle
          • SegmentWithEpsilonsCounter
          • NoodleWithEpsilonsCounter
          • TransducerNoodle
          • segs_one_initial_final()
          • noodlify()
          • noodlify_mult_eps()
          • noodlify_for_equation()
          • noodlify_for_equation()
          • noodlify_for_equation()
          • noodlify_for_transducer()
          • process_eps_map()
          • mata::applications::strings::seg_nfa::Segmentation
            • EpsilonDepth
            • Segmentation()
            • get_epsilon_depths()
            • get_epsilon_depth_trans_map()
            • get_segments()
            • get_untrimmed_segments()
          • mata::applications::strings::seg_nfa::TransducerNoodleElement
    • mata::nfa
      • conjunction
      • AreAllOfType
      • State
      • StateSet
      • StateRenaming
      • ParameterMap
      • EpsilonClosureOpt
        • NONE
        • BEFORE
        • AFTER
        • BEFORE_AND_AFTER
      • ProductFinalStateCondition
        • AND
        • OR
      • create_alphabet()
      • create_alphabet()
      • create_alphabet()
      • create_alphabet()
      • create_alphabet()
      • union_nondet()
      • union_det_complete()
      • product()
      • lang_difference()
      • intersection()
      • concatenate()
      • complement()
      • complement()
      • minimize()
      • determinize()
      • reduce()
      • is_included()
      • is_included()
      • are_equivalent()
      • are_equivalent()
      • revert()
      • fragile_revert()
      • simple_revert()
      • somewhat_simple_revert()
      • remove_epsilon()
      • encode_word()
      • get_symbols_to_work_with()
      • get_word_from_lang_difference()
      • TYPE_NFA
      • EPSILON
      • mata::nfa::bool_pack
      • 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
      • mata::nfa::Limits
      • mata::nfa::Move
      • 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
      • mata::nfa::Run
        • word
        • path
      • 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()
      • mata::nfa::SymbolPost
      • mata::nfa::SynchronizedExistentialSymbolPostIterator
        • unify_targets()
        • synchronize_with()
        • synchronize_with()
        • advance()
        • get_current()
        • push_back()
      • mata::nfa::Transition
        • source
        • symbol
        • target
      • mata::nfa::algorithms
        • minimize_brzozowski()
        • minimize_hopcroft()
        • complement_classical()
        • complement_brzozowski()
        • is_included_naive()
        • is_included_antichains()
        • is_universal_naive()
        • is_universal_antichains()
        • compute_relation()
        • product()
        • concatenate_eps()
        • reduce_simulation()
        • reduce_residual()
        • reduce_residual_with()
        • reduce_residual_after()
      • mata::nfa::builder
        • NameStateMap
        • create_single_word_nfa()
        • create_single_word_nfa()
        • create_empty_string_nfa()
        • create_sigma_star_nfa()
        • create_random_nfa_tabakov_vardi()
        • construct()
        • construct()
        • construct()
        • construct()
        • parse_from_mata()
        • parse_from_mata()
        • parse_from_mata()
        • create_from_regex()
      • mata::nfa::plumbing
        • get_elements()
        • complement()
        • minimize()
        • determinize()
        • reduce()
        • revert()
        • remove_epsilon()
        • construct()
        • union_nondet()
        • intersection()
        • concatenate()
        • reduce_residual_with()
        • reduce_residual_after()
    • mata::nft
      • Transition
      • Move
      • SymbolPost
      • StatePost
      • SynchronizedExistentialSymbolPostIterator
      • Delta
      • conjunction
      • AreAllOfType
      • Level
      • State
      • StateSet
      • Run
      • EpsilonClosureOpt
      • StateRenaming
      • ParameterMap
      • Limits
      • ProductFinalStateCondition
      • JumpMode
        • RepeatSymbol
        • AppendDontCares
      • union_nondet()
      • union_det_complete()
      • product()
      • intersection()
      • compose()
      • compose()
      • concatenate()
      • determinize()
      • reduce()
      • is_included()
      • is_included()
      • are_equivalent()
      • are_equivalent()
      • revert()
      • fragile_revert()
      • simple_revert()
      • somewhat_simple_revert()
      • invert_levels()
      • remove_epsilon()
      • project_out()
      • project_out()
      • project_to()
      • project_to()
      • insert_levels()
      • insert_level()
      • encode_word()
      • TYPE_NFT
      • EPSILON
      • DONT_CARE
      • DEFAULT_LEVEL
      • DEFAULT_NUM_OF_LEVELS
      • mata::nft::bool_pack
      • 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()
      • 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
      • mata::nft::algorithms
        • minimize_brzozowski()
        • complement_classical()
        • is_included_naive()
        • is_included_antichains()
        • is_universal_naive()
        • is_universal_antichains()
        • compute_relation()
        • product()
        • concatenate_eps()
      • mata::nft::builder
        • NameStateMap
        • create_single_word_nft()
        • create_single_word_nft()
        • create_empty_string_nft()
        • create_sigma_star_nft()
        • create_sigma_star_nft()
        • construct()
        • construct()
        • construct()
        • construct()
        • parse_from_mata()
        • parse_from_mata()
        • parse_from_mata()
        • from_nfa_with_levels_zero()
        • from_nfa_with_levels_advancing()
      • mata::nft::plumbing
        • get_elements()
        • complement()
        • minimize()
        • determinize()
        • reduce()
        • revert()
        • remove_epsilon()
        • construct()
        • union_nondet()
        • intersection()
        • concatenate()
    • mata::parser
      • KeyListStore
      • BodyLine
      • Parsed
      • parse_mf()
      • parse_mf()
      • parse_mf_section()
      • parse_mf_section()
      • init()
      • create_nfa()
      • create_nfa()
      • mata::parser::ParsedSection
        • empty()
        • operator==()
        • operator[]()
        • haskey()
    • mata::utils
      • are_disjoint()
      • is_sorted()
      • push_back()
      • replace_all()
      • are_disjoint()
      • is_in()
      • hash_combine()
      • hash_range()
      • haskey()
      • invert_map()
      • reserve_on_insert()
      • defragment()
      • rename()
      • filter_indexes()
      • filter()
      • sort_and_rmdupl()
      • mata::utils::OrdVector
        • difference()
        • contains()
        • erase()
        • back()
        • with_reserved()
        • operator<<
      • mata::utils::SparseSet
        • erase_nocheck()
        • SparseSet()
        • SparseSet()
        • operator[]()
        • max()
      • mata::utils::SynchronizedExistentialIterator
        • advance()
        • get_current()
        • push_back()
      • mata::utils::SynchronizedIterator
        • SynchronizedIterator()
        • push_back()
        • reset()
      • mata::utils::SynchronizedUniversalIterator
        • advance()
        • get_current()
        • push_back()
        • synchronized_at_current_minimum
      • mata::utils::TuplePrinter
      • mata::utils::TuplePrinter< Tuple, 1 >
      • mata::utils::TwoDimensionalMap
        • TwoDimensionalMap()
        • get()
        • insert()
        • get_first_inverted()
        • get_second_inverted()
• Namespace mata::applications
  • mata::applications
    • mata::applications::strings
      • Nfa
      • State
      • StateSet
      • Transition
      • ParameterMap
      • SymbolPost
      • Nft
      • get_shortest_words()
      • get_words_of_lengths()
      • get_accepted_symbols()
      • get_word_lengths()
      • is_lang_eps()
      • mata::applications::strings::ShortestWordsMap
        • ShortestWordsMap()
        • get_shortest_words_from()
        • get_shortest_words_from()
      • mata::applications::strings::replace
        • ReplaceMode
          • Single
          • All
        • reluctant_nfa()
        • create_identity()
        • create_identity_with_single_symbol_replace()
        • create_identity_with_single_symbol_replace()
        • replace_reluctant_regex()
        • replace_reluctant_regex()
        • replace_reluctant_literal()
        • replace_reluctant_single_symbol()
        • replace_reluctant_single_symbol()
        • BEGIN_MARKER
        • END_MARKER
        • mata::applications::strings::replace::ReluctantReplace
          • replace_regex()
          • replace_literal()
          • replace_symbol()
          • replace_symbol()
      • mata::applications::strings::seg_nfa
        • SegNfa
        • VisitedEpsMap
        • VisitedEpsilonsCounterMap
        • VisitedEpsilonsCounterVector
        • Noodle
        • SegmentWithEpsilonsCounter
        • NoodleWithEpsilonsCounter
        • TransducerNoodle
        • segs_one_initial_final()
        • noodlify()
        • noodlify_mult_eps()
        • noodlify_for_equation()
        • noodlify_for_equation()
        • noodlify_for_equation()
        • noodlify_for_transducer()
        • process_eps_map()
        • mata::applications::strings::seg_nfa::Segmentation
          • EpsilonDepth
          • Segmentation()
          • get_epsilon_depths()
          • get_epsilon_depth_trans_map()
          • get_segments()
          • get_untrimmed_segments()
        • mata::applications::strings::seg_nfa::TransducerNoodleElement
• Namespace mata::applications::strings
  • mata::applications::strings
    • Nfa
    • State
    • StateSet
    • Transition
    • ParameterMap
    • SymbolPost
    • Nft
    • get_shortest_words()
    • get_words_of_lengths()
    • get_accepted_symbols()
    • get_word_lengths()
    • is_lang_eps()
    • mata::applications::strings::ShortestWordsMap
      • ShortestWordsMap()
      • get_shortest_words_from()
      • get_shortest_words_from()
    • mata::applications::strings::replace
      • ReplaceMode
        • Single
        • All
      • reluctant_nfa()
      • create_identity()
      • create_identity_with_single_symbol_replace()
      • create_identity_with_single_symbol_replace()
      • replace_reluctant_regex()
      • replace_reluctant_regex()
      • replace_reluctant_literal()
      • replace_reluctant_single_symbol()
      • replace_reluctant_single_symbol()
      • BEGIN_MARKER
      • END_MARKER
      • mata::applications::strings::replace::ReluctantReplace
        • replace_regex()
        • replace_literal()
        • replace_symbol()
        • replace_symbol()
    • mata::applications::strings::seg_nfa
      • SegNfa
      • VisitedEpsMap
      • VisitedEpsilonsCounterMap
      • VisitedEpsilonsCounterVector
      • Noodle
      • SegmentWithEpsilonsCounter
      • NoodleWithEpsilonsCounter
      • TransducerNoodle
      • segs_one_initial_final()
      • noodlify()
      • noodlify_mult_eps()
      • noodlify_for_equation()
      • noodlify_for_equation()
      • noodlify_for_equation()
      • noodlify_for_transducer()
      • process_eps_map()
      • mata::applications::strings::seg_nfa::Segmentation
        • EpsilonDepth
        • Segmentation()
        • get_epsilon_depths()
        • get_epsilon_depth_trans_map()
        • get_segments()
        • get_untrimmed_segments()
      • mata::applications::strings::seg_nfa::TransducerNoodleElement
• Namespace mata::applications::strings::replace
  • mata::applications::strings::replace
    • ReplaceMode
      • Single
      • All
    • reluctant_nfa()
    • create_identity()
    • create_identity_with_single_symbol_replace()
    • create_identity_with_single_symbol_replace()
    • replace_reluctant_regex()
    • replace_reluctant_regex()
    • replace_reluctant_literal()
    • replace_reluctant_single_symbol()
    • replace_reluctant_single_symbol()
    • BEGIN_MARKER
    • END_MARKER
    • mata::applications::strings::replace::ReluctantReplace
      • replace_regex()
      • replace_literal()
      • replace_symbol()
      • replace_symbol()
• Namespace mata::applications::strings::seg_nfa
  • mata::applications::strings::seg_nfa
    • SegNfa
    • VisitedEpsMap
    • VisitedEpsilonsCounterMap
    • VisitedEpsilonsCounterVector
    • Noodle
    • SegmentWithEpsilonsCounter
    • NoodleWithEpsilonsCounter
    • TransducerNoodle
    • segs_one_initial_final()
    • noodlify()
    • noodlify_mult_eps()
    • noodlify_for_equation()
    • noodlify_for_equation()
    • noodlify_for_equation()
    • noodlify_for_transducer()
    • process_eps_map()
    • mata::applications::strings::seg_nfa::Segmentation
      • EpsilonDepth
      • Segmentation()
      • get_epsilon_depths()
      • get_epsilon_depth_trans_map()
      • get_segments()
      • get_untrimmed_segments()
    • mata::applications::strings::seg_nfa::TransducerNoodleElement
• Namespace mata::nfa
  • mata::nfa
    • conjunction
    • AreAllOfType
    • State
    • StateSet
    • StateRenaming
    • ParameterMap
    • EpsilonClosureOpt
      • NONE
      • BEFORE
      • AFTER
      • BEFORE_AND_AFTER
    • ProductFinalStateCondition
      • AND
      • OR
    • create_alphabet()
    • create_alphabet()
    • create_alphabet()
    • create_alphabet()
    • create_alphabet()
    • union_nondet()
    • union_det_complete()
    • product()
    • lang_difference()
    • intersection()
    • concatenate()
    • complement()
    • complement()
    • minimize()
    • determinize()
    • reduce()
    • is_included()
    • is_included()
    • are_equivalent()
    • are_equivalent()
    • revert()
    • fragile_revert()
    • simple_revert()
    • somewhat_simple_revert()
    • remove_epsilon()
    • encode_word()
    • get_symbols_to_work_with()
    • get_word_from_lang_difference()
    • TYPE_NFA
    • EPSILON
    • mata::nfa::bool_pack
    • 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
    • mata::nfa::Limits
    • mata::nfa::Move
    • 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
    • mata::nfa::Run
      • word
      • path
    • 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()
    • mata::nfa::SymbolPost
    • mata::nfa::SynchronizedExistentialSymbolPostIterator
      • unify_targets()
      • synchronize_with()
      • synchronize_with()
      • advance()
      • get_current()
      • push_back()
    • mata::nfa::Transition
      • source
      • symbol
      • target
    • mata::nfa::algorithms
      • minimize_brzozowski()
      • minimize_hopcroft()
      • complement_classical()
      • complement_brzozowski()
      • is_included_naive()
      • is_included_antichains()
      • is_universal_naive()
      • is_universal_antichains()
      • compute_relation()
      • product()
      • concatenate_eps()
      • reduce_simulation()
      • reduce_residual()
      • reduce_residual_with()
      • reduce_residual_after()
    • mata::nfa::builder
      • NameStateMap
      • create_single_word_nfa()
      • create_single_word_nfa()
      • create_empty_string_nfa()
      • create_sigma_star_nfa()
      • create_random_nfa_tabakov_vardi()
      • construct()
      • construct()
      • construct()
      • construct()
      • parse_from_mata()
      • parse_from_mata()
      • parse_from_mata()
      • create_from_regex()
    • mata::nfa::plumbing
      • get_elements()
      • complement()
      • minimize()
      • determinize()
      • reduce()
      • revert()
      • remove_epsilon()
      • construct()
      • union_nondet()
      • intersection()
      • concatenate()
      • reduce_residual_with()
      • reduce_residual_after()
• Namespace mata::nfa::algorithms
  • mata::nfa::algorithms
    • minimize_brzozowski()
    • minimize_hopcroft()
    • complement_classical()
    • complement_brzozowski()
    • is_included_naive()
    • is_included_antichains()
    • is_universal_naive()
    • is_universal_antichains()
    • compute_relation()
    • product()
    • concatenate_eps()
    • reduce_simulation()
    • reduce_residual()
    • reduce_residual_with()
    • reduce_residual_after()
• Namespace mata::nfa::builder
  • mata::nfa::builder
    • NameStateMap
    • create_single_word_nfa()
    • create_single_word_nfa()
    • create_empty_string_nfa()
    • create_sigma_star_nfa()
    • create_random_nfa_tabakov_vardi()
    • construct()
    • construct()
    • construct()
    • construct()
    • parse_from_mata()
    • parse_from_mata()
    • parse_from_mata()
    • create_from_regex()
• Namespace mata::nfa::plumbing
  • mata::nfa::plumbing
    • get_elements()
    • complement()
    • minimize()
    • determinize()
    • reduce()
    • revert()
    • remove_epsilon()
    • construct()
    • union_nondet()
    • intersection()
    • concatenate()
    • reduce_residual_with()
    • reduce_residual_after()
• Namespace mata::nft
  • mata::nft
    • Transition
    • Move
    • SymbolPost
    • StatePost
    • SynchronizedExistentialSymbolPostIterator
    • Delta
    • conjunction
    • AreAllOfType
    • Level
    • State
    • StateSet
    • Run
    • EpsilonClosureOpt
    • StateRenaming
    • ParameterMap
    • Limits
    • ProductFinalStateCondition
    • JumpMode
      • RepeatSymbol
      • AppendDontCares
    • union_nondet()
    • union_det_complete()
    • product()
    • intersection()
    • compose()
    • compose()
    • concatenate()
    • determinize()
    • reduce()
    • is_included()
    • is_included()
    • are_equivalent()
    • are_equivalent()
    • revert()
    • fragile_revert()
    • simple_revert()
    • somewhat_simple_revert()
    • invert_levels()
    • remove_epsilon()
    • project_out()
    • project_out()
    • project_to()
    • project_to()
    • insert_levels()
    • insert_level()
    • encode_word()
    • TYPE_NFT
    • EPSILON
    • DONT_CARE
    • DEFAULT_LEVEL
    • DEFAULT_NUM_OF_LEVELS
    • mata::nft::bool_pack
    • 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()
    • 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
    • mata::nft::algorithms
      • minimize_brzozowski()
      • complement_classical()
      • is_included_naive()
      • is_included_antichains()
      • is_universal_naive()
      • is_universal_antichains()
      • compute_relation()
      • product()
      • concatenate_eps()
    • mata::nft::builder
      • NameStateMap
      • create_single_word_nft()
      • create_single_word_nft()
      • create_empty_string_nft()
      • create_sigma_star_nft()
      • create_sigma_star_nft()
      • construct()
      • construct()
      • construct()
      • construct()
      • parse_from_mata()
      • parse_from_mata()
      • parse_from_mata()
      • from_nfa_with_levels_zero()
      • from_nfa_with_levels_advancing()
    • mata::nft::plumbing
      • get_elements()
      • complement()
      • minimize()
      • determinize()
      • reduce()
      • revert()
      • remove_epsilon()
      • construct()
      • union_nondet()
      • intersection()
      • concatenate()
• Namespace mata::nft::algorithms
  • mata::nft::algorithms
    • minimize_brzozowski()
    • complement_classical()
    • is_included_naive()
    • is_included_antichains()
    • is_universal_naive()
    • is_universal_antichains()
    • compute_relation()
    • product()
    • concatenate_eps()
• Namespace mata::nft::builder
  • mata::nft::builder
    • NameStateMap
    • create_single_word_nft()
    • create_single_word_nft()
    • create_empty_string_nft()
    • create_sigma_star_nft()
    • create_sigma_star_nft()
    • construct()
    • construct()
    • construct()
    • construct()
    • parse_from_mata()
    • parse_from_mata()
    • parse_from_mata()
    • from_nfa_with_levels_zero()
    • from_nfa_with_levels_advancing()
• Namespace mata::nft::plumbing
  • mata::nft::plumbing
    • get_elements()
    • complement()
    • minimize()
    • determinize()
    • reduce()
    • revert()
    • remove_epsilon()
    • construct()
    • union_nondet()
    • intersection()
    • concatenate()
• Namespace mata::parser
  • mata::parser
    • KeyListStore
    • BodyLine
    • Parsed
    • parse_mf()
    • parse_mf()
    • parse_mf_section()
    • parse_mf_section()
    • init()
    • create_nfa()
    • create_nfa()
    • mata::parser::ParsedSection
      • empty()
      • operator==()
      • operator[]()
      • haskey()
• Namespace mata::utils
  • mata::utils
    • are_disjoint()
    • is_sorted()
    • push_back()
    • replace_all()
    • are_disjoint()
    • is_in()
    • hash_combine()
    • hash_range()
    • haskey()
    • invert_map()
    • reserve_on_insert()
    • defragment()
    • rename()
    • filter_indexes()
    • filter()
    • sort_and_rmdupl()
    • mata::utils::OrdVector
      • difference()
      • contains()
      • erase()
      • back()
      • with_reserved()
      • operator<<
    • mata::utils::SparseSet
      • erase_nocheck()
      • SparseSet()
      • SparseSet()
      • operator[]()
      • max()
    • mata::utils::SynchronizedExistentialIterator
      • advance()
      • get_current()
      • push_back()
    • mata::utils::SynchronizedIterator
      • SynchronizedIterator()
      • push_back()
      • reset()
    • mata::utils::SynchronizedUniversalIterator
      • advance()
      • get_current()
      • push_back()
      • synchronized_at_current_minimum
    • mata::utils::TuplePrinter
    • mata::utils::TuplePrinter< Tuple, 1 >
    • mata::utils::TwoDimensionalMap
      • TwoDimensionalMap()
      • get()
      • insert()
      • get_first_inverted()
      • get_second_inverted()
• Namespace std
  • std
    • operator<<()
    • operator<<()
    • operator<<()
    • operator<<()
    • operator<<()
    • operator<<()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • to_string()
    • std::hash< mata::nfa::Transition >
    • std::hash< mata::utils::OrdVector< Key > >
    • std::hash< std::pair< A, B > >
    • std::hash< std::set< A > >
    • std::hash< std::vector< A > >