de.up.ling.irtg.automata

Class LeafToStateSubstitution<State,Label>

java.lang.Object

de.up.ling.irtg.automata.LeafToStateSubstitution<State,Label>

public class LeafToStateSubstitution<State,Label>
extends Object

Author:

koller

Constructor Summary

Constructors

Constructor and Description
LeafToStateSubstitution()

Method Summary

Modifier and Type	Method and Description
boolean	isSubstituted(Label x)
State	substitute(Label x)

Methods inherited from class java.lang.Object

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

Constructor Detail

LeafToStateSubstitution

public LeafToStateSubstitution()

Method Detail

isSubstituted

public boolean isSubstituted(Label x)

substitute

public State substitute(Label x)