I believe that the always_false guard in this example should return false instead of true. This change does not end up impacting the output of the program, but prevents transitions from occuring potentially when using the always_false guard. Based on the documentation this example is referrenced in, always_false and always_true should be mutually exclusive guards in the visualization of the example. I believe that is not the case when both return true.
…ld return true instead of false
I believe that the
always_falseguard in this example should returnfalseinstead oftrue. This change does not end up impacting the output of the program, but prevents transitions from occuring potentially when using thealways_falseguard. Based on the documentation this example is referrenced in,always_falseandalways_trueshould be mutually exclusive guards in the visualization of the example. I believe that is not the case when both returntrue.