de.up.ling.irtg.siblingfinder

Class SiblingFinderIntersection<LeftState,RightState>

java.lang.Object

de.up.ling.irtg.siblingfinder.SiblingFinderIntersection<LeftState,RightState>

Type Parameters:

LeftState -

RightState -

public class SiblingFinderIntersection<LeftState,RightState>
extends Object

Author:

groschwitz

Constructor Summary

Constructors

Constructor and Description
SiblingFinderIntersection(TreeAutomaton<LeftState> leftAutomaton, SiblingFinderInvhom<RightState> rightAutomaton)

Method Summary

Modifier and Type	Method and Description
int	getRhsState4IntersectState(int intersectState)
Iterable<Rule>	getRulesBottomUp(int childState)
void	makeAllRulesExplicit(Consumer<Rule> consumer)
static ConcreteTreeAutomaton	makeVeryLazyExplicit(SiblingFinderIntersection veryLazyAuto)
ConcreteTreeAutomaton<Pair<LeftState,RightState>>	seenRulesAsAutomaton()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SiblingFinderIntersection

public SiblingFinderIntersection(TreeAutomaton<LeftState> leftAutomaton,
                                 SiblingFinderInvhom<RightState> rightAutomaton)

Method Detail

getRhsState4IntersectState

public int getRhsState4IntersectState(int intersectState)

getRulesBottomUp

public Iterable<Rule> getRulesBottomUp(int childState)

seenRulesAsAutomaton

public ConcreteTreeAutomaton<Pair<LeftState,RightState>> seenRulesAsAutomaton()

toString

public String toString()

Overrides:

toString in class Object

makeAllRulesExplicit

public void makeAllRulesExplicit(Consumer<Rule> consumer)

makeVeryLazyExplicit

public static ConcreteTreeAutomaton makeVeryLazyExplicit(SiblingFinderIntersection veryLazyAuto)