31 lines
455 B
Modula-2
31 lines
455 B
Modula-2
|
|256
|
||
|
|
%
|
||
|
|
|
|
||
|
|
(Bool c 8.520833333333334 4.0 (@c
|
||
|
|
u Bool_0
|
||
|
|
))
|
||
|
|
(Bool_0 c 9.1875 4.0 (@c
|
||
|
|
{isTrue,isFalse}
|
||
|
|
))
|
||
|
|
(Process c 8.520833333333334 4.333333333333333 (@c
|
||
|
|
u Process_0
|
||
|
|
))
|
||
|
|
(Process_0 c 9.1875 4.333333333333333 (@c
|
||
|
|
{P,Q}
|
||
|
|
))
|
||
|
|
(Turn c 8.635416666666666 3.6666666666666665 (@c
|
||
|
|
u Turn_0
|
||
|
|
))
|
||
|
|
(Turn_0 c 9.302083333333334 3.6666666666666665 (@c
|
||
|
|
{t1,t2}
|
||
|
|
))
|
||
|
|
(m_0 m 10.0 2.0 (@m
|
||
|
|
<P>+<Q>
|
||
|
|
))
|
||
|
|
(m_1 m 10.0 3.0 (@m
|
||
|
|
<t1>
|
||
|
|
))
|
||
|
|
(m_2 m 10.0 4.0 (@m
|
||
|
|
<P, isFalse> + <Q,isFalse>
|
||
|
|
))
|