de.up.ling.irtg.automata.index

Class MapTopDownIndex

java.lang.Object

de.up.ling.irtg.automata.index.MapTopDownIndex

All Implemented Interfaces:

TopDownRuleIndex, Serializable

public class MapTopDownIndex
extends Object
implements TopDownRuleIndex, Serializable

A top-down rule index that organizes the rules in a two-level hashmap.

Author:

koller

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MapTopDownIndex(TreeAutomaton auto)

Method Summary

Modifier and Type	Method and Description
void	add(Rule rule) Adds a rule to the index.
void	foreachRule(int parentState, Consumer<Rule> fn)
Iterable<Rule>	getAllRules()
IntIterable	getLabelsTopDown(int parentState) Retrieves the terminal symbols such that rules for the given parent state exist.
Iterable<Rule>	getRules(int parentState) Retrieves the rules for a given parent state.
Iterable<Rule>	getRules(int labelId, int parentState) Retrieves the rules for a given parent state and terminal symbol.
String	toString()
boolean	useCachedRule(int label, int parent) Checks whether top-down rules for this parent state and label should be looked up in this index.

Methods inherited from class java.lang.Object

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

Constructor Detail

MapTopDownIndex

public MapTopDownIndex(TreeAutomaton auto)

Method Detail

add

public void add(Rule rule)

Description copied from interface: TopDownRuleIndex

Adds a rule to the index.

Specified by:

add in interface TopDownRuleIndex

getRules

public Iterable<Rule> getRules(int parentState)

Description copied from interface: TopDownRuleIndex

Retrieves the rules for a given parent state. That is, if you pass the state q as the argument to this method, and there is a rule q -> f(q1,...,qn) for any terminal symbol f, then the returned iterable will contain this rule.

Specified by:

getRules in interface TopDownRuleIndex

Returns:

foreachRule

public void foreachRule(int parentState,
                        Consumer<Rule> fn)

Specified by:

foreachRule in interface TopDownRuleIndex

getLabelsTopDown

public IntIterable getLabelsTopDown(int parentState)

Description copied from interface: TopDownRuleIndex

Retrieves the terminal symbols such that rules for the given parent state exist. That is, if you pass the state q as the argument to this method, and there is a rule q -> f(q1,...,qn) in the automaton, then the returned iterable will contain f.

Specified by:

getLabelsTopDown in interface TopDownRuleIndex

Returns:

getRules

public Iterable<Rule> getRules(int labelId,
                               int parentState)

Description copied from interface: TopDownRuleIndex

Retrieves the rules for a given parent state and terminal symbol. That is, if you pass the state q and the terminal symbol f, and there is a rule q -> f(q1,...,qn), then the returned iterable will contain that rule.

Specified by:

getRules in interface TopDownRuleIndex

Returns:

useCachedRule

public boolean useCachedRule(int label,
                             int parent)

Description copied from interface: TopDownRuleIndex

Checks whether top-down rules for this parent state and label should be looked up in this index. This is the case if the index was previously told about rules for the parent and label, or told that there are no rules for the parent and label. The method returns true if the index knows about this parent/label combination. Otherwise it returns false, and the automaton should recompute the rules (and add them to the index).

Specified by:

useCachedRule in interface TopDownRuleIndex

Returns:

toString

public String toString()

Overrides:

toString in class Object

getAllRules

public Iterable<Rule> getAllRules()

Specified by:

getAllRules in interface TopDownRuleIndex