Package | Description |
---|---|
de.up.ling.irtg.automata |
Classes for tree automata of various types.
|
de.up.ling.irtg.signature |
Signatures and other classes for mapping between human-readable
representations of states and symbols and internal numeric representations.
|
Modifier and Type | Method and Description |
---|---|
Interner |
TreeAutomaton.getStateInterner()
Returns the state interner for this tree automaton.
|
Constructor and Description |
---|
ConcreteTreeAutomaton(Signature signature,
Interner<State> interner)
Constructs a new instance without any final states or rules, which
will use the given state interner to enumerate its states.
|
Modifier and Type | Class and Description |
---|---|
class |
IntSetInterner
A specialized interner for IntSets used for example to keep track of sets
of symbol ids.
|
Modifier and Type | Method and Description |
---|---|
SignatureMapper |
Interner.getMapperTo(Interner<E> other)
Creates an object that maps back and forth between the
numeric IDs in this interner and those in another interner.
|
int[] |
Interner.remap(Interner<E> other)
Returns an arrary x such that the symbol
i in this interner is the same as the symbol
x[i] in the other interner.
|
Constructor and Description |
---|
IdentitySignatureMapper(Interner interner)
Creates a new instance for the given interner.
|
SignatureMapper(Interner input,
Interner output)
Creates a new mapper for the two given interners.
|
SignatureMapper(Interner input,
Interner output)
Creates a new mapper for the two given interners.
|
Copyright © 2017. All rights reserved.