Package | Description |
---|---|
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.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.
|
Modifier and Type | Method and Description |
---|---|
void |
TreeAutomaton.foreachRuleBottomUpForSets(IntSet labelIds,
List<IntSet> childStateSets,
SignatureMapper signatureMapper,
Consumer<Rule> fn) |
void |
ConcreteTreeAutomaton.foreachRuleBottomUpForSets(IntSet labelIds,
List<IntSet> childStateSets,
SignatureMapper signatureMapper,
Consumer<Rule> fn) |
<OtherState> |
TreeAutomaton.intersect(TreeAutomaton<OtherState> other,
SignatureMapper mapper) |
<OtherState> |
TreeAutomaton.intersectCondensed(CondensedTreeAutomaton<OtherState> other,
SignatureMapper signatureMapper) |
<OtherState> |
TreeAutomaton.intersectCondensedBottomUp(CondensedTreeAutomaton<OtherState> other,
SignatureMapper signatureMapper) |
<OtherState> |
TreeAutomaton.intersectViterbi(CondensedTreeAutomaton<OtherState> other,
SignatureMapper signatureMapper) |
Modifier and Type | Method and Description |
---|---|
void |
RuleStore.foreachRuleBottomUpForSets(IntSet labelIds,
List<IntSet> childStateSets,
SignatureMapper signatureMapper,
Consumer<Rule> fn) |
abstract void |
BottomUpRuleIndex.foreachRuleForSets(IntSet labelIds,
List<IntSet> childStateSets,
SignatureMapper signatureMapper,
Consumer<Rule> fn) |
void |
TrieBottomUpRuleIndex.foreachRuleForSets(IntSet labelIds,
List<IntSet> childStateSets,
SignatureMapper signatureMapper,
Consumer<Rule> fn) |
void |
BinaryBottomUpRuleIndex.foreachRuleForSets(IntSet labelIds,
List<IntSet> childStateSets,
SignatureMapper signatureMapper,
Consumer<Rule> fn) |
Modifier and Type | Method and Description |
---|---|
SignatureMapper |
Homomorphism.getSignatureMapper()
Returns a mapper that translates symbols of the source signature into
symbols of the target signature (and back).
|
Modifier and Type | Method and Description |
---|---|
static ToIntFunction<HomomorphismSymbol> |
HomomorphismSymbol.getRemappingSymbolToIntFunction(SignatureMapper mapper)
This is for running an automaton on the RHS of a homomorphism.
|
Modifier and Type | Class and Description |
---|---|
class |
IdentitySignatureMapper
This is a special mapper for a single interner, which always maps a symbol
to itself.
|
Modifier and Type | Method and Description |
---|---|
SignatureMapper |
Signature.getIdentityMapper()
Obtains an identity mapper for this signature (every id is mapped to itself).
|
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.
|
SignatureMapper |
Signature.getMapperTo(Signature other)
Obtains a signature mapper between this signature on the given other
signature.
|
Copyright © 2017. All rights reserved.