| Package | Description |
|---|---|
| de.up.ling.irtg.algebra |
Classes representing a number of useful algebras.
|
| de.up.ling.irtg.algebra.graph |
The algebra of s-graphs, together with supporting classes.
|
| de.up.ling.irtg.automata |
Classes for tree automata of various types.
|
| de.up.ling.irtg.automata.condensed |
Classes for "condensed" tree automata.
|
| de.up.ling.irtg.automata.index |
Index data structures for tree automata.
|
| de.up.ling.irtg.binarization |
Classes for binarizing IRTGs.
|
| de.up.ling.irtg.hom |
Classes for working with tree homomorphisms.
|
| de.up.ling.irtg.signature |
Signatures and other classes for mapping between human-readable
representations of states and symbols and internal numeric representations.
|
| de.up.ling.irtg.util |
Various utilities.
|
| Class and Description |
|---|
| Signature
A ranked signature of symbols.
|
| Class and Description |
|---|
| Signature
A ranked signature of symbols.
|
| Class and Description |
|---|
| Interner
A class that maps back and forth between objects and int
representations of these objects.
|
| Signature
A ranked signature of symbols.
|
| SignatureMapper
A mapping between the symbol IDs of two interners.
|
| Class and Description |
|---|
| Signature
A ranked signature of symbols.
|
| SignatureMapper
A mapping between the symbol IDs of two interners.
|
| Class and Description |
|---|
| SignatureMapper
A mapping between the symbol IDs of two interners.
|
| Class and Description |
|---|
| Signature
A ranked signature of symbols.
|
| Class and Description |
|---|
| Signature
A ranked signature of symbols.
|
| SignatureMapper
A mapping between the symbol IDs of two interners.
|
| Class and Description |
|---|
| Interner
A class that maps back and forth between objects and int
representations of these objects.
|
| Signature
A ranked signature of symbols.
|
| SignatureMapper
A mapping between the symbol IDs of two interners.
|
| Class and Description |
|---|
| Signature
A ranked signature of symbols.
|
Copyright © 2017. All rights reserved.