ng the course of a plan. All fluents have the implicit
type <i>real</i>. Fluent property names must be unique to each object
sort.
<h4>Transition Manipulating Fluents</h4>
Transitions are allowed both to test the value of fluents belonging to
the object sort for which the transition is defined and to update them.
Right clicking on a transition node will give the option to define <b><i>Fluent
Constraints</i></b> which if selected will bring up the following
dialog box:<br>
<img src="plusFluents1.jpg" alt="" 