See: Description
| Interface | Description |
|---|---|
| TemplateInterpretedTreeAutomaton.Guard |
| Class | Description |
|---|---|
| Interpretation<E> |
This class represents an interpretation, a standard component of an IRTG which
maps a derivation tree to a value.
|
| InterpretedTreeAutomaton |
An interpreted regular tree grammar (IRTG).
|
| TemplateInterpretedTreeAutomaton |
A template IRTG.
|
| TemplateInterpretedTreeAutomaton.AtomicGuard | |
| TemplateInterpretedTreeAutomaton.ConjGuard | |
| TemplateInterpretedTreeAutomaton.TemplateRule |
This class represents a template for a rule, from which multiple concrete
rules can be instantiated.
|
| TemplateInterpretedTreeAutomaton.TopGuard |
Copyright © 2017. All rights reserved.