| 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. |