04-simple-boolean-with-reset.dot

digraph "04-simple-boolean-with-reset" {
  splines = polyline;
  rankdir = LR;
  node [
    shape = circle
    fontname = "Roboto"
    fontsize = 11
    width = 1.35
    margin = 0
  ];
  edge [
    fontname = "Roboto"
    fontsize = 11
  ];

  off [
    label = "encrypted = false,\nbutton raised"
  ];
  on [
    label = "encrypted = true,\nbutton pressed"
  ];

  subgraph { rank = same; on_confused; off; };
  subgraph { rank = same; off_confused; on; };

  off_confused [
    label = "encrypted = true,\nbutton raised"
    shape = square
  ];
  on_confused [
    label = "encrypted = false,\nbutton pressed"
    shape = square
  ];

  off:e -> off_confused [
    label = "click 2\np = 0.1"
    color = grey90
    weight = 1
  ];
  off:e -> on [
    label = "click 2\np = 0.9"
    color = grey10
    weight = 9
  ];

  on:w -> on_confused [
    label = "click 1\np = 0.1"
    color = grey90
    weight = 1
  ];
  on:w -> off [
    label = "click 1\np = 0.9"
    color = grey10
    weight = 9
  ];

  off_confused:s -> off:s [
    color = red
    weight = 1
  ];
  on_confused:s -> off:s [
    color = red
    weight = 1
  ];
  on:s -> off:s [
    color = red
    weight = 1
  ];
}