C# (CSharp) Microsoft.Automata.MSO Namespace

Nested Namespaces

Microsoft.Automata.MSO.Mona

Classes

Name	Description
Variable	First-order or second-order variable