/doc/report/graphs/state.dot

http://github.com/hhughes/ocaml-frui · DOT · 39 lines · 32 code · 7 blank · 0 comment · 0 complexity · 1436c17f6263d7485161fb2dfc7126e6 MD5 · raw file 

    

  1. digraph state {
    2. 

  2. S1 [label="Started"]
    3. 

  3. S2 [label="Running"]
    4. 

  4. S3 [label="FunEnter"]
    5. 

  5. S4 [label="FunExit"]
    6. 

  6. S5 [label="Msg"]
    7. 

  7. S6 [label="Finished"]
    8. 

  8. S7 [label="Stop"]
    9. 

  9. 

  10. S1->S2 [label="0.8"]
    11. 

  11. S1->S3 [label="0.1"]
    12. 

  12. S1->S5 [label="0.1"]
    13. 

  13. 

  14. S2->S2 [label="0.4"]
    15. 

  15. S2->S3 [label="0.2 (!f)"]
    16. 

  16. S2->S4 [label="0.2 (f)"]
    17. 

  17. S2->S5 [label="0.3"]
    18. 

  18. S2->S4 [label="0.1 (f)"]
    19. 

  19. S2->S6 [label="0.1 (!f)"]
    20. 

  20. 

  21. S3->S2 [label="0.5"]
    22. 

  22. S3->S4 [label="0.2"]
    23. 

  23. S3->S5 [label="0.3"]
    24. 

  24. 

  25. S4->S2 [label="0.4"]
    26. 

  26. S4->S3 [label="0.1"]
    27. 

  27. S4->S5 [label="0.3"]
    28. 

  28. S4->S6 [label="0.1"]
    29. 

  29. 

  30. S5->S2 [label="0.6"]
    31. 

  31. S5->S3 [label="0.2 (!f)"]
    32. 

  32. S5->S4 [label="0.2 (f)"]
    33. 

  33. S5->S5 [label="0.1"]
    34. 

  34. S5->S4 [label="0.1 (f)"]
    35. 

  35. S5->S6 [label="0.1 (!f)"]
    36. 

  36. 

  37. S6->S7
    38. 

  38. 

  39. }
    40.