de.up.ling.irtg.siblingfinder

Class SiblingFinderInvhom<State>

java.lang.Object

de.up.ling.irtg.siblingfinder.SiblingFinderInvhom<State>

Type Parameters:

State -

All Implemented Interfaces:

Intersectable<State>

public class SiblingFinderInvhom<State>
extends Object
implements Intersectable<State>

Author:

groschwitz

Constructor Summary

Constructors

Constructor and Description
SiblingFinderInvhom(TreeAutomaton<State> decompositionAutomaton, Homomorphism hom)

Method Summary

Modifier and Type	Method and Description
Iterable<Rule>	getConstantBottomUp(int label)
IntSet	getFinalStates()
Iterable<Rule>	getRulesBottomUp(int childState, int pos, int label) Returns all rules with label 'label' and child childState at position pos.
State	getStateForId(int id)
ConcreteTreeAutomaton<State>	seenRulesAsAutomaton()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SiblingFinderInvhom

public SiblingFinderInvhom(TreeAutomaton<State> decompositionAutomaton,
                           Homomorphism hom)

Method Detail

getRulesBottomUp

public Iterable<Rule> getRulesBottomUp(int childState,
                                       int pos,
                                       int label)

Returns all rules with label 'label' and child childState at position pos. The rules are then explicitly stored. The returned iterable is the same object as is stored, so do not modify it.

Parameters:

childState -

pos -

label -

Returns:

getConstantBottomUp

public Iterable<Rule> getConstantBottomUp(int label)

seenRulesAsAutomaton

public ConcreteTreeAutomaton<State> seenRulesAsAutomaton()

toString

public String toString()

Overrides:

toString in class Object

getStateForId

public State getStateForId(int id)

getFinalStates

public IntSet getFinalStates()