Commit b09d246f authored by Maximilien Colange's avatar Maximilien Colange

Duplicate a transition to get rid of a conditional update.

parent 807077ac
......@@ -78,6 +78,14 @@ cost' == (dc+vuc)</label>
<label kind="invariant" x="416" y="40">cost' == 0</label>
</location>
<init ref="id0"/>
<transition>
<source ref="id3"/>
<target ref="id4"/>
<label kind="guard" x="25" y="-59">c == busy[id] &amp;&amp; carcap[id] &gt;= 150</label>
<label kind="assignment" x="152" y="-33">busy[id] = 0,
c = 0</label>
<nail x="237" y="-24"/>
</transition>
<transition>
<source ref="id0"/>
<target ref="id1"/>
......@@ -106,8 +114,8 @@ c = 0</label>
<transition>
<source ref="id3"/>
<target ref="id4"/>
<label kind="guard" x="408" y="-56">c == busy[id]</label>
<label kind="assignment" x="408" y="-24">busy[id] = ((carcap[id] &lt; 150)? (150-carcap[id]) : 0),
<label kind="guard" x="408" y="-56">c == busy[id] &amp;&amp; carcap[id] &lt; 150</label>
<label kind="assignment" x="408" y="-24">busy[id] = 150-carcap[id],
c = 0</label>
</transition>
</template>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment