|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Nfa<STATE>
Method Summary | |
---|---|
STATE |
getStart()
|
STATE |
getStop()
|
Methods inherited from interface org.eclipse.xtext.util.formallang.DirectedGraph |
---|
getFollowers |
Method Detail |
---|
STATE getStop()
STATE getStart()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |