drawing InitState as dot sync
authorVolker Birk <vb@pep-project.org>
Thu, 06 Jun 2019 13:03:45 +0200
branchsync
changeset 38116fbcc03677fc
parent 3810 ff9655d83074
child 3812 a77bbd89af6b
drawing InitState as dot
sync/gen_dot.ysl2
     1.1 --- a/sync/gen_dot.ysl2	Thu Jun 06 12:55:10 2019 +0200
     1.2 +++ b/sync/gen_dot.ysl2	Thu Jun 06 13:03:45 2019 +0200
     1.3 @@ -10,6 +10,8 @@
     1.4          rankdir=LR;
     1.5          node [shape = doublecircle];
     1.6          End;
     1.7 +        node [shape = point];
     1.8 +        InitState;
     1.9          node [shape = circle];
    1.10  
    1.11          `` apply "state" mode=do