Package | Description |
---|---|
de.up.ling.irtg |
This package contains the core classes for Alto, which represent Interpreted
Regular tree grammars.
|
de.up.ling.irtg.automata |
Classes for tree automata of various types.
|
de.up.ling.irtg.automata.coarse_to_fine |
Classes used to implement coarse-to-fine parsing.
|
de.up.ling.irtg.automata.condensed |
Classes for "condensed" tree automata.
|
de.up.ling.irtg.siblingfinder |
This contains class for sibling finder based intersection, which is used to
speed up intersection.
|
de.up.ling.irtg.util |
Various utilities.
|
Modifier and Type | Method and Description |
---|---|
Homomorphism |
Interpretation.getHomomorphism()
Obtains the homomorphism used by the interpretation.
|
Constructor and Description |
---|
Interpretation(Algebra<E> algebra,
Homomorphism hom)
Constructs new instance with the given algebra and homomorphism.
|
Modifier and Type | Method and Description |
---|---|
TreeAutomaton |
TreeAutomaton.homomorphism(Homomorphism hom)
Computes the image of this automaton under a homomorphism.
|
CondensedTreeAutomaton |
TreeAutomaton.inverseCondensedHomomorphism(Homomorphism hom) |
TreeAutomaton |
TreeAutomaton.inverseHomomorphism(Homomorphism hom)
Computes the pre-image of this automaton under a homomorphism.
|
Constructor and Description |
---|
InverseHomAutomaton(TreeAutomaton<State> rhsAutomaton,
Homomorphism hom) |
NondeletingInverseHomAutomaton(TreeAutomaton<State> rhsAutomaton,
Homomorphism hom) |
Constructor and Description |
---|
SiblingFinderCoarserstParser(RuleRefinementTree rrt,
Homomorphism origHom,
TreeAutomaton decomp) |
Modifier and Type | Method and Description |
---|---|
static CondensedTreeAutomaton |
PMFactoryRestrictive.invhomWithNewFactory(TreeAutomaton rhs,
Homomorphism hom) |
Constructor and Description |
---|
CondensedNondeletingInverseHomAutomaton(TreeAutomaton<State> rhsAutomaton,
Homomorphism hom) |
PatternMatchingInvhomAutomatonFactory(Homomorphism hom)
Initializes a new
PatternMatchingInvhomAutomatonFactory with
respect to the homomorphism hom . |
PMFactoryRestrictive(Homomorphism hom) |
Constructor and Description |
---|
SiblingFinderInvhom(TreeAutomaton<State> decompositionAutomaton,
Homomorphism hom) |
Modifier and Type | Method and Description |
---|---|
static Homomorphism |
TestingTools.hom(Map<String,String> mappings) |
static Homomorphism |
TestingTools.hom(Map<String,String> mappings,
Signature sourceSignature) |
static Homomorphism |
TestingTools.hom(Map<String,String> mappings,
Signature sourceSignature,
Signature targetSignature) |
Copyright © 2017. All rights reserved.