| Package | Description |
|---|---|
| me.jaimegarza.syntax.model.graph |
| Modifier and Type | Method and Description |
|---|---|
protected DfaNode |
Dfa.findNodeByClosure(Set<NfaNode> closure)
Locate a node in the dfa by examining each node's ε-closure
|
DfaNode |
Dfa.getStart()
Get the starting node
|
DfaNode |
Dfa.newNode(Set<NfaNode> closure)
Create a dfa node with the given ε-closure.
|
Copyright © 2017. All rights reserved.