| Microsoft.Automata.Z3.Internal |
| Microsoft.Automata.Z3.Tests |
| Name | Description |
|---|---|
| AcceptorBase | The acceptor base of a tree rule. |
| RankedAlphabet | Represents a definition of a datatype over a given set of ranked symbols and a given node sort. |
| TreeRule | Describes a symbolic tree transduction rule. |
