de.up.ling.irtg.automata.condensed

Class ConcreteCondensedTreeAutomaton<State>

java.lang.Object

de.up.ling.irtg.automata.TreeAutomaton<State>

de.up.ling.irtg.automata.condensed.CondensedTreeAutomaton<State>

de.up.ling.irtg.automata.condensed.ConcreteCondensedTreeAutomaton<State>

Type Parameters:

State -

All Implemented Interfaces:

Intersectable<State>, Serializable

public class ConcreteCondensedTreeAutomaton<State>
extends CondensedTreeAutomaton<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.

Author:

johannes

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.up.ling.irtg.automata.TreeAutomaton

TreeAutomaton.BottomUpStateVisitor

Field Summary

Fields inherited from class de.up.ling.irtg.automata.TreeAutomaton

D, DEBUG_STORE

Constructor Summary

Constructors

Constructor and Description
ConcreteCondensedTreeAutomaton() Creates a new instance which will have its own signature and contains no rules or final states.
ConcreteCondensedTreeAutomaton(Signature sig) Constructs a new instance which is backed by the given signature.

Method Summary

Modifier and Type	Method and Description
void	absorbTreeAutomaton(TreeAutomaton<State> auto) Copies all rules from a TreeAutomaton to this automaton.
void	addFinalState(int state)
void	addRule(CondensedRule rule)
int	addState(State state)
static <E> ConcreteCondensedTreeAutomaton<E>	fromTreeAutomaton(TreeAutomaton<E> origin) Creates a new CondensedTreeAutomaton based on the rules and final states of another TreeAutomaton.
Iterable<CondensedRule>	getCondensedRulesBottomUp(IntSet labelId, int[] childStates)
Set<CondensedRule>	getCondensedRulesTopDown(IntSet labelId, int parentState)
void	makeAllRulesCondensedExplicit() Stores all information about CondensedRules in the ruleTrie and topDownRules structures.

Methods inherited from class de.up.ling.irtg.automata.condensed.CondensedTreeAutomaton

addLabelSetID, addLabelSetID, createRule, createRule, createRule, createRule, createRuleRaw, getCondensedRulesBottomUpFromExplicit, getCondensedRulesByParentState, getCondensedRuleSet, getCondensedRulesForRhsState, getLabelsForID, getRulesBottomUp, getRulesTopDown, isBottomUpDeterministic, toString, toStringFull

Methods inherited from class de.up.ling.irtg.automata.TreeAutomaton

accepts, acceptsRaw, analyze, asConcreteTreeAutomaton, asConcreteTreeAutomatonBottomUp, asConcreteTreeAutomatonWithStringStates, countTrees, createRule, createRule, createRule, createRule, createRule, createRule, determinize, determinize, dumpToFile, equals, evaluateInSemiring, evaluateInSemiring, evaluateInSemiringTopDown, foreachRuleBottomUpForSets, foreachRuleTopDown, foreachStateInBottomUpOrder, getAllLabels, getAllRulesTopDown, getAllStates, getFinalStates, getIdForState, getLabelsTopDown, getNumberOfRules, getNumberOfSeenStates, getRandomRuleTree, getRandomRuleTreeFromInside, getRandomTree, getRandomTreeFromInside, getReachableStates, getRulesBottomUp, getRulesBottomUp, getRuleSet, getRulesForRhsState, getRulesTopDown, getRuleTree, getSignature, getStateForId, getStateInterner, getStatesInBottomUpOrder, getStoredConstantsForID, getWeight, getWeightRaw, hasRuleWithPrefix, hasStoredConstants, homomorphism, inside, intersect, intersect, intersectBottomUp, intersectCondensed, intersectCondensed, intersectCondensed, intersectCondensedBottomUp, intersectCondensedBottomUp, intersectEarley, intersectViterbi, intersectViterbi, inverseCondensedHomomorphism, inverseHomomorphism, isCyclic, isEmpty, isStoring, language, languageIterable, languageIterator, languageIteratorRaw, languageRaw, makeAllRulesExplicit, newSiblingFinder, normalizeRuleWeights, outside, processAllRulesBottomUp, processAllRulesTopDown, reduceTopDown, run, run, runRaw, setRulePrintingFilter, setSkipFail, setStoring, sortedLanguageIterator, supportsBottomUpQueries, supportsTopDownQueries, toStringBottomUp, useSiblingFinder, viterbi, viterbiRaw, write

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ConcreteCondensedTreeAutomaton

public ConcreteCondensedTreeAutomaton(Signature sig)

Constructs a new instance which is backed by the given signature. The automaton will contain no rules or final states. The automaton might add to the signature when it creates new rules.

Parameters:

sig -

ConcreteCondensedTreeAutomaton

public ConcreteCondensedTreeAutomaton()

Creates a new instance which will have its own signature and contains no rules or final states.

Method Detail

fromTreeAutomaton

public static <E> ConcreteCondensedTreeAutomaton<E> fromTreeAutomaton(TreeAutomaton<E> origin)

Creates a new CondensedTreeAutomaton based on the rules and final states of another TreeAutomaton. Rules in the original TreeAutomaton that have the same child states and the the same parent state, but differ in their label, will be merged to form a CondensedRule

Type Parameters:

E -

Parameters:

origin -

Returns:

addState

public int addState(State state)

Overrides:

addState in class CondensedTreeAutomaton<State>

addFinalState

public void addFinalState(int state)

addRule

public void addRule(CondensedRule rule)

getCondensedRulesBottomUp

public Iterable<CondensedRule> getCondensedRulesBottomUp(IntSet labelId,
                                                         int[] childStates)

Specified by:

getCondensedRulesBottomUp in class CondensedTreeAutomaton<State>

getCondensedRulesTopDown

public Set<CondensedRule> getCondensedRulesTopDown(IntSet labelId,
                                                   int parentState)

Specified by:

getCondensedRulesTopDown in class CondensedTreeAutomaton<State>

absorbTreeAutomaton

public void absorbTreeAutomaton(TreeAutomaton<State> auto)

Copies all rules from a TreeAutomaton to this automaton. Merges rules which can be condensed.

Parameters:

auto -

makeAllRulesCondensedExplicit

public void makeAllRulesCondensedExplicit()

Description copied from class: CondensedTreeAutomaton

Stores all information about CondensedRules in the ruleTrie and topDownRules structures. Should only be executed if the isCondensedExplicit variable is set false.

Specified by:

makeAllRulesCondensedExplicit in class CondensedTreeAutomaton<State>