C# (CSharp) Microsoft.Automata Namespace

Nested Namespaces

Microsoft.Automata.Grammars
Microsoft.Automata.Internal
Microsoft.Automata.MSO
Microsoft.Automata.Rex
Microsoft.Automata.Tests
Microsoft.Automata.Z3

Сlasses

Name Description
AutomataException Exeption thrown by the automata constructions
BDD Represents a Binary Decision Diagram.
CharacterEncodingTool Provides functionality for character encodings.
Chooser Random number chooser.
EditDistance
RegexToSMTConverter
StringUtility Provides some character escaping routines for strings.