de.up.ling.irtg.automata.index

Class BottomUpRuleIndex

java.lang.Object

de.up.ling.irtg.automata.index.BottomUpRuleIndex

Direct Known Subclasses:

BinaryBottomUpRuleIndex, TrieBottomUpRuleIndex

public abstract class BottomUpRuleIndex
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor and Description
BottomUpRuleIndex()

Method Summary

Modifier and Type	Method and Description
boolean	add(Rule rule) Returns false if adding this rule makes the automaton bottom-up nondeterministic.
abstract void	foreachRuleForSets(IntSet labelIds, List<IntSet> childStateSets, SignatureMapper signatureMapper, Consumer<Rule> fn)
abstract Collection<Rule>	get(int labelId, int[] childStates)
abstract Iterable<Rule>	getAllRules()
void	printStatistics()
abstract void	setRules(Collection<Rule> rules, int labelId, int[] childStates)

Methods inherited from class java.lang.Object

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

Constructor Detail

BottomUpRuleIndex

public BottomUpRuleIndex()

Method Detail

setRules

public abstract void setRules(Collection<Rule> rules,
                              int labelId,
                              int[] childStates)

get

public abstract Collection<Rule> get(int labelId,
                                     int[] childStates)

getAllRules

public abstract Iterable<Rule> getAllRules()

add

public boolean add(Rule rule)

Returns false if adding this rule makes the automaton bottom-up nondeterministic. That is: when q -> f(q1,...,qn) is added, the method returns true; when subsequently q' -> f(q1,...,qn) is added, with q != q', the method returns false. (However, adding q -> f(q1,...,qn) for a second time does not actually change the set of rules; in this case, the method returns true.)

Parameters:

rule -

Returns:

printStatistics

public void printStatistics()

foreachRuleForSets

public abstract void foreachRuleForSets(IntSet labelIds,
                                        List<IntSet> childStateSets,
                                        SignatureMapper signatureMapper,
                                        Consumer<Rule> fn)