Mata automata library

Contents:

• Introduction
  • Mata: The Automata Library
• Benchmarking
  • Guidelines for Profiling, Performance, and Integration Testing of the Mata library
  • Repositories
  • Benchmarking in VeriFIT/mata
• Automata Format
  • The Mata file format for automata (.mata format)
• Contributing
  • Contributing guidelines
• Nondeterministic Finite automata
  • Types
  • NFA
  • Delta
  • Builder
  • Algorithms
  • Plumbing
• Nondeterministic Finite Transducers
  • Types
  • NFT
  • Delta
  • Builder
  • Algorithms
  • Plumbing
• Alphabet
  • mata
  • std
• Utils
  • Closed Set
  • Sparse Set
  • OrdVector
  • Synchronized Iterator
  • Two Dimensional Map
  • Other Utils
• Strings
  • mata
• Namespace list
  • Namespace mata
  • Namespace mata::applications
  • Namespace mata::applications::strings
  • Namespace mata::applications::strings::replace
  • Namespace mata::applications::strings::seg_nfa
  • Namespace mata::nfa
  • Namespace mata::nfa::algorithms
  • Namespace mata::nfa::builder
  • Namespace mata::nfa::plumbing
  • Namespace mata::nft
  • Namespace mata::nft::algorithms
  • Namespace mata::nft::builder
  • Namespace mata::nft::plumbing
  • Namespace mata::parser
  • Namespace mata::utils
  • Namespace std
• Class list
  • Class mata::Alphabet
  • Class mata::BoolVector
  • Class mata::EnumAlphabet
  • Class mata::FormulaGraph
  • Class mata::FormulaNode
  • Class mata::IntAlphabet
  • Class mata::IntAlphabet::IntAlphabetSingleton
  • Class mata::IntermediateAut
  • Class mata::Mintermization
  • Class mata::OnTheFlyAlphabet
  • Class mata::applications::strings::ShortestWordsMap
  • Class mata::applications::strings::replace::ReluctantReplace
  • Class mata::applications::strings::seg_nfa::Segmentation
  • Class mata::nfa::Delta
  • Class mata::nfa::Delta::Transitions
  • Class mata::nfa::Delta::Transitions::const_iterator
  • Class mata::nfa::Move
  • Class mata::nfa::Nfa
  • Class mata::nfa::StatePost
  • Class mata::nfa::StatePost::Moves
  • Class mata::nfa::StatePost::Moves::const_iterator
  • Class mata::nfa::SymbolPost
  • Class mata::nfa::SynchronizedExistentialSymbolPostIterator
  • Class mata::nft::Levels
  • Class mata::nft::Levels::Ordering
  • Class mata::nft::Nft
  • Class mata::utils::OrdVector
  • Class mata::utils::SparseSet
  • Class mata::utils::SynchronizedExistentialIterator
  • Class mata::utils::SynchronizedIterator
  • Class mata::utils::SynchronizedUniversalIterator
  • Class mata::utils::TwoDimensionalMap
• File list
  • File alphabet.hh
  • File closed-set.hh
  • File inter-aut.hh
  • File mintermization.hh
  • File algorithms.hh
  • File builder.hh
  • File delta.hh
  • File plumbing.hh
  • File types.hh
  • File nfa.hh
  • File algorithms.hh
  • File builder.hh
  • File delta.hh
  • File plumbing.hh
  • File types.hh
  • File nft.hh
  • File ord-vector.hh
  • File parser.hh
  • File re2parser.hh
  • File sparse-set.hh
  • File strings.hh
  • File synchronized-iterator.hh
  • File two-dimensional-map.hh
  • File utils.hh
• Struct list
  • Struct mata::ClosedSet
  • Struct mata::Mintermization::OptionalBdd
  • Struct mata::applications::strings::seg_nfa::Segmentation::StateDepthTuple
  • Struct mata::applications::strings::seg_nfa::TransducerNoodleElement
  • Struct mata::nfa::Limits
  • Struct mata::nfa::Nfa::TarjanDiscoverCallback
  • Struct mata::nfa::Run
  • Struct mata::nfa::Transition
  • Struct mata::nfa::bool_pack
  • Struct mata::nft::BoolPack
  • Struct mata::parser::ParsedSection
  • Struct mata::utils::TuplePrinter
  • Struct mata::utils::TuplePrinter< Tuple, 1 >
  • Struct std::hash< mata::nfa::Transition >
  • Struct std::hash< mata::utils::OrdVector< Key > >
  • Struct std::hash< std::pair< A, B > >
  • Struct std::hash< std::set< A > >
  • Struct std::hash< std::vector< A > >

Indices and tables

• Index

• Search Page