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.