C# (CSharp) Microsoft.Automata Пространство имен

Пространства имен

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

Классы

Имя Описание
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.