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.