public static class ISyntacticSequencerPDAProvider.SynAbsorberNfaAdapter extends java.lang.Object implements Nfa<ISyntacticSequencerPDAProvider.ISynAbsorberState>
Modifier and Type | Field and Description |
---|---|
protected ISyntacticSequencerPDAProvider.ISynAbsorberState |
start |
protected ISyntacticSequencerPDAProvider.ISynAbsorberState |
stop |
Constructor and Description |
---|
ISyntacticSequencerPDAProvider.SynAbsorberNfaAdapter(ISyntacticSequencerPDAProvider.ISynAbsorberState start) |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynAbsorberState> |
getFollowers(ISyntacticSequencerPDAProvider.ISynAbsorberState node) |
ISyntacticSequencerPDAProvider.ISynAbsorberState |
getStart() |
ISyntacticSequencerPDAProvider.ISynAbsorberState |
getStop() |
protected ISyntacticSequencerPDAProvider.ISynAbsorberState start
protected ISyntacticSequencerPDAProvider.ISynAbsorberState stop
public ISyntacticSequencerPDAProvider.SynAbsorberNfaAdapter(ISyntacticSequencerPDAProvider.ISynAbsorberState start)
public java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynAbsorberState> getFollowers(ISyntacticSequencerPDAProvider.ISynAbsorberState node)
getFollowers
in interface DirectedGraph<ISyntacticSequencerPDAProvider.ISynAbsorberState>
public ISyntacticSequencerPDAProvider.ISynAbsorberState getStart()
getStart
in interface Nfa<ISyntacticSequencerPDAProvider.ISynAbsorberState>
public ISyntacticSequencerPDAProvider.ISynAbsorberState getStop()
getStop
in interface Nfa<ISyntacticSequencerPDAProvider.ISynAbsorberState>