File list

• File alphabet.hh
  • mata
    • Symbol
    • Word
    • WordName
    • encode_word_utf8()
    • decode_word_utf8()
    • mata::Alphabet
      • translate_symb()
      • translate_word()
      • reverse_translate_symbol()
      • operator[]()
      • get_alphabet_symbols()
      • get_complement()
      • ~Alphabet()
      • is_equal()
      • is_equal()
      • operator==()
      • empty()
      • clear()
      • address()
    • mata::EnumAlphabet
      • EnumAlphabet()
      • EnumAlphabet()
      • EnumAlphabet()
      • EnumAlphabet()
      • get_alphabet_symbols()
      • get_complement()
      • reverse_translate_symbol()
      • operator=()
      • operator=()
      • add_symbols_from()
      • add_symbols_from()
      • EnumAlphabet()
      • EnumAlphabet()
      • EnumAlphabet()
      • 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()
      • clear()
      • operator[]()
      • is_equal()
      • is_equal()
      • operator==()
      • address()
      • symbols_
      • next_symbol_value_
    • mata::IntAlphabet
      • IntAlphabet()
      • translate_symb()
      • reverse_translate_symbol()
      • get_alphabet_symbols()
      • get_complement()
      • IntAlphabet()
      • operator=()
      • empty()
      • clear()
      • translate_word()
      • operator[]()
      • is_equal()
      • is_equal()
      • operator==()
      • address()
      • alphabet_instance
      • mata::IntAlphabet::IntAlphabetSingleton
        • IntAlphabetSingleton()
        • IntAlphabetSingleton()
        • operator=()
        • operator=()
        • ~IntAlphabetSingleton()
        • get()
        • IntAlphabetSingleton()
    • mata::OnTheFlyAlphabet
      • StringToSymbolMap
      • InsertionResult
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • OnTheFlyAlphabet()
      • get_alphabet_symbols()
      • get_complement()
      • reverse_translate_symbol()
      • operator=()
      • operator=()
      • 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()
      • clear()
      • operator[]()
      • is_equal()
      • is_equal()
      • operator==()
      • address()
      • symbol_map_
      • next_symbol_value_
  • std
    • operator<<()
• File closed-set.hh
  • mata
    • OrdVec
    • ClosedSetType
      • upward_closed_set
      • downward_closed_set
    • operator<<()
    • mata::ClosedSet
      • Node
      • Nodes
      • ClosedSet()
      • ClosedSet()
      • ClosedSet()
      • ClosedSet()
      • operator==()
      • operator<=()
      • operator>=()
      • is_upward_closed()
      • is_downward_closed()
      • type()
      • type()
      • antichain()
      • antichain()
      • get_min()
      • get_min()
      • get_max()
      • get_max()
      • contains()
      • contains()
      • in_interval()
      • insert()
      • insert()
      • insert()
      • set_union()
      • intersection()
      • complement()
      • type_
      • min_val_
      • max_val_
      • antichain_
      • operator<<
• File inter-aut.hh
  • mata
    • mata::FormulaGraph
      • FormulaGraph()
      • FormulaGraph()
      • FormulaGraph()
      • FormulaGraph()
      • FormulaGraph()
      • operator=()
      • operator=()
      • collect_node_names()
      • print_tree()
      • node
      • children
      • MAX_NUM_OF_CHILDREN
    • mata::FormulaNode
      • OperandType
        • SYMBOL
        • STATE
        • NODE
        • TRUE
        • FALSE
        • NOT_OPERAND
      • OperatorType
        • NEG
        • AND
        • OR
        • NOT_OPERATOR
      • Type
        • OPERAND
        • OPERATOR
        • LEFT_PARENTHESIS
        • RIGHT_PARENTHESIS
        • UNKNOWN
      • is_operand()
      • is_operator()
      • is_rightpar()
      • is_leftpar()
      • is_state()
      • is_symbol()
      • is_and()
      • is_neg()
      • is_constant()
      • is_true()
      • is_false()
      • FormulaNode()
      • FormulaNode()
      • FormulaNode()
      • FormulaNode()
      • FormulaNode()
      • FormulaNode()
      • operator=()
      • operator=()
      • type
      • raw
      • name
      • operator_type
      • operand_type
    • mata::IntermediateAut
      • AutomatonType
        • NFA
        • AFA
        • NFT
      • Naming
        • AUTO
        • MARKED
        • ENUM
        • CHARS
        • UTF
      • AlphabetType
        • EXPLICIT
        • BITVECTOR
        • CLASS
        • INTERVALS
      • get_symbol_part_of_transition()
      • are_states_enum_type()
      • are_symbols_enum_type()
      • are_nodes_enum_type()
      • is_bitvector()
      • is_nft()
      • is_nfa()
      • is_afa()
      • get_enumerated_initials()
      • get_enumerated_finals()
      • are_final_states_conjunction_of_negation()
      • get_positive_finals()
      • get_number_of_disjuncts()
      • add_transition()
      • add_transition()
      • print_transitions_trees()
      • state_naming
      • symbol_naming
      • node_naming
      • alphabet_type
      • automaton_type
      • states_names
      • symbols_names
      • nodes_names
      • initial_formula
      • final_formula
      • initial_enumerated
      • final_enumerated
      • parse_from_mf()
      • is_graph_conjunction_of_negations()
      • parse_transition()
      • mata::IntermediateAut::transitions
  • std
    • operator<<()
• File mintermization.hh
  • mata
    • mata::Mintermization
      • compute_minterms()
      • graph_to_bdd_nfa()
      • graph_to_bdd_afa()
      • mintermize()
      • mintermize()
      • mintermize()
      • minterms_to_aut_nfa()
      • minterms_to_aut_afa()
      • Mintermization()
      • DisjunctStatesPair
      • trans_to_bdd_nfa()
      • trans_to_bdd_afa()
      • bdd_mng
      • symbol_to_bddvar
      • trans_to_bddvar
      • lhs_to_disjuncts_and_states
      • bdds
      • mata::Mintermization::OptionalBdd
        • TYPE
          • NOTHING_E
          • BDD_E
        • OptionalBdd()
        • OptionalBdd()
        • OptionalBdd()
        • OptionalBdd()
        • operator*()
        • operator+()
        • operator!()
        • type
        • val
• File algorithms.hh
• File builder.hh
• File delta.hh
• File plumbing.hh
• File types.hh
• File nfa.hh
  • mata
    • mata::nfa
      • conjunction
      • AreAllOfType
      • 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()
      • mata::nfa::bool_pack
      • mata::nfa::Nfa
        • Nfa()
        • Nfa()
        • Nfa()
        • Nfa()
        • operator=()
        • operator=()
        • add_state()
        • add_state()
        • insert_word()
        • insert_word()
        • num_of_states()
        • unify_initial()
        • unify_final()
        • swap_final_nonfinal()
        • is_state()
        • 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_word_for_path()
        • get_words()
        • get_word()
        • get_word_from_complement()
        • make_complete()
        • make_complete()
        • complement_deterministic()
        • delta
        • initial
        • final
        • alphabet
        • attributes
        • mata::nfa::Nfa::TarjanDiscoverCallback
          • state_discover
          • scc_discover
          • scc_state_discover
          • succ_state_discover
  • std
    • operator<<()
    • operator<<()
    • std::hash< mata::nfa::Transition >
      • operator()()
• File algorithms.hh
• File builder.hh
• File delta.hh
• File plumbing.hh
• File types.hh
• File nft.hh
  • mata
    • mata::nft
      • conjunction
      • AreAllOfType
      • 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()
      • mata::nft::bool_pack
      • mata::nft::Nft
        • Nft()
        • Nft()
        • Nft()
        • Nft()
        • operator=()
        • operator=()
        • Nft()
        • Nft()
        • Nft()
        • Nft()
        • operator=()
        • operator=()
        • 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_word_for_path()
        • 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()
        • levels
        • with_levels()
        • with_levels()
        • with_levels()
        • with_levels()
        • super
  • std
    • operator<<()
• File ord-vector.hh
  • mata
    • mata::utils
      • are_disjoint()
      • is_sorted()
      • mata::utils::OrdVector
        • VectorType
        • value_type
        • size_type
        • iterator
        • const_iterator
        • const_reference
        • reference
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • OrdVector()
        • operator=()
        • operator=()
        • ~OrdVector()
        • insert()
        • emplace_back()
        • push_back()
        • push_back()
        • reserve()
        • resize()
        • erase()
        • erase()
        • insert()
        • insert()
        • clear()
        • size()
        • count()
        • difference()
        • intersection()
        • find()
        • find()
        • front()
        • front()
        • min()
        • min()
        • max()
        • max()
        • at()
        • at()
        • contains()
        • erase()
        • empty()
        • filter_indexes()
        • filter()
        • back()
        • back()
        • pop_back()
        • begin()
        • end()
        • begin()
        • end()
        • cbegin()
        • cend()
        • operator==()
        • operator<()
        • to_vector()
        • is_subset_of()
        • is_intersection_empty_with()
        • rename()
        • with_reserved()
        • difference()
        • set_union()
        • set_union()
        • intersection()
        • is_sorted()
        • vec_
        • to_str()
        • operator<<
  • std
    • std::hash< mata::utils::OrdVector< Key > >
      • operator()()
• File parser.hh
  • mata
    • mata::parser
      • KeyListStore
      • BodyLine
      • Parsed
      • parse_mf()
      • parse_mf()
      • parse_mf_section()
      • parse_mf_section()
      • init()
      • mata::parser::ParsedSection
        • ParsedSection()
        • empty()
        • operator==()
        • operator[]()
        • haskey()
        • type
        • dict
        • body
  • std
    • operator<<()
• File re2parser.hh
  • Encoding
    • UTF8
    • Latin1
  • mata
    • mata::parser
      • create_nfa()
      • create_nfa()
• File sparse-set.hh
  • mata
    • mata::utils
      • mata::utils::SparseSet
        • iterator
        • const_iterator
        • begin()
        • begin()
        • end()
        • end()
        • size()
        • domain_size()
        • empty()
        • clear()
        • reserve()
        • contains()
        • insert()
        • erase_nocheck()
        • erase()
        • SparseSet()
        • SparseSet()
        • SparseSet()
        • SparseSet()
        • SparseSet()
        • SparseSet()
        • SparseSet()
        • SparseSet()
        • operator=()
        • operator=()
        • operator==()
        • consistent()
        • operator[]()
        • insert()
        • insert()
        • insert()
        • erase()
        • erase()
        • erase()
        • intersects_with()
        • complement()
        • filter()
        • sort()
        • rename()
        • max()
        • truncate()
        • dense
        • sparse
        • size_
        • domain_size_
        • are_disjoint
• File strings.hh
  • mata
    • 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()
          • WordLength
          • LengthWordsPair
          • insert_initial_lengths()
          • compute()
          • compute_for_state()
          • map_default_shortest_words()
          • shortest_words_map
          • processed
          • fifo_queue
          • reversed_automaton
          • update_current_words()
        • 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()
            • end_marker_dfa()
            • marker_nft()
            • generic_marker_dfa()
            • generic_marker_dfa()
            • begin_marker_nfa()
            • begin_marker_nfa()
            • begin_marker_nft()
            • end_marker_dft()
            • reluctant_nfa_with_marker()
            • reluctant_leftmost_nft()
            • reluctant_leftmost_nft()
            • replace_literal_nft()
        • 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
            • EpsilonDepthTransitions
            • EpsilonDepthTransitionMap
            • Segmentation()
            • get_epsilon_depths()
            • get_epsilon_depth_trans_map()
            • get_segments()
            • get_untrimmed_segments()
            • get_visited_eps()
            • compute_epsilon_depths()
            • split_aut_into_segments()
            • update_next_segment()
            • update_current_segment()
            • initialize_visited_map()
            • initialize_worklist()
            • process_state_depth_pair()
            • add_transitions_to_worklist()
            • handle_epsilon_transitions()
            • remove_inner_initial_and_final_states()
            • epsilons
            • automaton
            • epsilon_depth_transitions
            • eps_depth_trans_map
            • segments
            • segments_raw
            • visited_eps
            • mata::applications::strings::seg_nfa::Segmentation::StateDepthTuple
              • state
              • depth
              • eps
          • mata::applications::strings::seg_nfa::TransducerNoodleElement
            • TransducerNoodleElement()
            • transducer
            • input_aut
            • input_index
            • output_aut
            • output_index
• File synchronized-iterator.hh
  • mata
    • mata::utils
      • push_back()
      • mata::utils::SynchronizedExistentialIterator
        • get_current_minimum()
        • is_synchronized()
        • advance()
        • get_current()
        • push_back()
        • SynchronizedExistentialIterator()
        • reset()
        • reserve()
        • currently_synchronized
        • next_minimum
        • positions
        • ends
      • mata::utils::SynchronizedIterator
        • SynchronizedIterator()
        • push_back()
        • reset()
        • reserve()
        • advance()
        • get_current()
        • ~SynchronizedIterator()
        • positions
        • ends
      • mata::utils::SynchronizedUniversalIterator
        • advance()
        • get_current()
        • SynchronizedUniversalIterator()
        • reset()
        • push_back()
        • reserve()
        • synchronized_at_current_minimum
        • positions
        • ends
• File two-dimensional-map.hh
  • mata
    • mata::utils
      • mata::utils::TwoDimensionalMap
        • Map
        • MatrixStorage
        • VecMapStorage
        • InvertedStorage
        • TwoDimensionalMap()
        • get()
        • insert()
        • get_first_inverted()
        • get_second_inverted()
        • is_large
        • first_dim_size
        • second_dim_size
        • matrix_storage
        • vec_map_storage
        • first_dim_inverted
        • second_dim_inverted
• File utils.hh
  • PRINT_VERBOSE_LVL
  • PRINT_VERBOSE_LVL_LN
  • DEBUG_PRINT
  • DEBUG_PRINT_LN
  • DEBUG_VM_HIGH_PRINT
  • DEBUG_VM_HIGH_PRINT_LN
  • DEBUG_VM_LOW_PRINT
  • DEBUG_VM_LOW_PRINT_LN
  • WARN_PRINT
  • mata
    • LOG_VERBOSITY
    • g_GIT_SHA1
    • mata::BoolVector
      • BoolVector()
      • BoolVector()
      • BoolVector()
      • BoolVector()
      • BoolVector()
      • BoolVector()
      • operator=()
      • operator=()
      • count()
      • get_elements()
      • get_elements()
    • mata::utils
      • 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::TuplePrinter
        • print()
      • mata::utils::TuplePrinter< Tuple, 1 >
        • print()
  • std
    • 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< std::pair< A, B > >
      • operator()()
    • std::hash< std::set< A > >
      • operator()()
    • std::hash< std::vector< A > >
      • operator()()