Merge commit '0a5803fab4296d489beec559e2c33118320bccca' into dev
This commit is contained in:
commit
c723bd9305
|
@ -1,5 +1,5 @@
|
|||
dfa(name, startState, states, edges, rankdir, decisionRanks, useBox) ::= <<
|
||||
digraph <name> {
|
||||
digraph <name> {
|
||||
<if(rankdir)>rankdir=<rankdir>;<endif>
|
||||
<decisionRanks; separator="\n">
|
||||
<states; separator="\n">
|
||||
|
|
Loading…
Reference in New Issue