Uses of Class
de.up.ling.irtg.automata.condensed.CondensedTreeAutomaton

Packages that use CondensedTreeAutomaton

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.util	Various utilities.

Uses of CondensedTreeAutomaton in de.up.ling.irtg

Methods in de.up.ling.irtg that return CondensedTreeAutomaton

Modifier and Type	Method and Description
CondensedTreeAutomaton	Interpretation.parseToCondensed(E object) This method takes the given object and attempts to compute its inverse homomorphism automaton in the form of an condensed automaton.

Uses of CondensedTreeAutomaton in de.up.ling.irtg.automata

Methods in de.up.ling.irtg.automata that return CondensedTreeAutomaton

Modifier and Type	Method and Description
CondensedTreeAutomaton	TreeAutomaton.inverseCondensedHomomorphism(Homomorphism hom)

Methods in de.up.ling.irtg.automata with parameters of type CondensedTreeAutomaton

Modifier and Type	Method and Description
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectCondensed(CondensedTreeAutomaton<OtherState> other)
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectCondensed(CondensedTreeAutomaton<OtherState> other, PruningPolicy pp)
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectCondensed(CondensedTreeAutomaton<OtherState> other, SignatureMapper signatureMapper)
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectCondensedBottomUp(CondensedTreeAutomaton<OtherState> other)
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectCondensedBottomUp(CondensedTreeAutomaton<OtherState> other, SignatureMapper signatureMapper)
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectViterbi(CondensedTreeAutomaton<OtherState> other)
<OtherState> TreeAutomaton<Pair<State,OtherState>>	TreeAutomaton.intersectViterbi(CondensedTreeAutomaton<OtherState> other, SignatureMapper signatureMapper)

Uses of CondensedTreeAutomaton in de.up.ling.irtg.automata.coarse_to_fine

Constructors in de.up.ling.irtg.automata.coarse_to_fine with parameters of type CondensedTreeAutomaton

Constructor and Description
CondensedCoarsestParser(RuleRefinementTree coarseGrammar, CondensedTreeAutomaton<InvhomState> invhom)

Uses of CondensedTreeAutomaton in de.up.ling.irtg.automata.condensed

Subclasses of CondensedTreeAutomaton in de.up.ling.irtg.automata.condensed

Modifier and Type	Class and Description
class	ConcreteCondensedTreeAutomaton<State> This is an extension of CondensedTreeAutomaton for which all rules can and must be added externally and are then stored explicitly for quick access.
class	CondensedNondeletingInverseHomAutomaton<State> A tree automaton that describes the homomorphic pre-image of the language of another tree automaton.

Methods in de.up.ling.irtg.automata.condensed that return CondensedTreeAutomaton

Modifier and Type	Method and Description
CondensedTreeAutomaton<State>	PatternMatchingInvhomAutomatonFactory.invhom(TreeAutomaton<State> rhs) Computes the image under inverse homomorphism of the decomposition automaton rhs.
static CondensedTreeAutomaton	PMFactoryRestrictive.invhomWithNewFactory(TreeAutomaton rhs, Homomorphism hom)
static CondensedTreeAutomaton<String>	CondensedTreeAutomatonParser.parse(Reader reader)

Methods in de.up.ling.irtg.automata.condensed with parameters of type CondensedTreeAutomaton

Modifier and Type	Method and Description
IntSet	CondensedRule.getLabels(CondensedTreeAutomaton auto)
Collection<String>	CondensedRule.getLabelStrings(CondensedTreeAutomaton auto) Returns a Set of Strings for the labels of this rule.
TreeAutomaton	NonCondensedIntersectionAutomaton.IntersectionCall.intersect(TreeAutomaton left, CondensedTreeAutomaton right)
TreeAutomaton	GenericCondensedIntersectionAutomaton.IntersectionCall.intersect(TreeAutomaton left, CondensedTreeAutomaton right)
static NonCondensedIntersectionAutomaton	NonCondensedIntersectionAutomaton.intersectTopDownBottomUpNonCondensed(TreeAutomaton lhs, CondensedTreeAutomaton rhs)
String	CondensedRule.toString(CondensedTreeAutomaton auto)
String	CondensedRule.toString(CondensedTreeAutomaton auto, boolean parentIsFinal, Predicate<String> symbolFilter)
String	CondensedRule.toString(CondensedTreeAutomaton auto, Predicate<String> symbolFilter)

Constructors in de.up.ling.irtg.automata.condensed with parameters of type CondensedTreeAutomaton

Constructor and Description
CondensedBottomUpIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper)
CondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right) Assumes the signatures are identical.
CondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper)
CondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper, boolean debug)
CondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper, PruningPolicy pp)
CondensedViterbiIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper)
GenericCondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper)
GenericCondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper, PruningPolicy pp)
NonCondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right) Assumes the signatures are identical.
NonCondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper)
NonCondensedIntersectionAutomaton(TreeAutomaton<LeftState> left, CondensedTreeAutomaton<RightState> right, SignatureMapper sigMapper, boolean debug)

Uses of CondensedTreeAutomaton in de.up.ling.irtg.util

Methods in de.up.ling.irtg.util that return CondensedTreeAutomaton

Modifier and Type	Method and Description
static CondensedTreeAutomaton	TestingTools.pac(String s)