> declaration in CCalc code is an abbreviation for a
<tt>simpleFluent</tt> declaration combined with an <tt>inertial</tt>
proposition.  For instance, the declaration

<pre>
:- constants
 c :: inertialFluent(0..n).
</pre>

has the same meaning as

<pre>
:- constants
 c :: simpleFluent(0..n).

inertial c.
</pre>

<address><a href="bullets.html">Forward</a>
to Section 2.3: Counting Bullets</address>

<address><a href="ysp.html">Back</a>
to Section 2.1: Basic Formulation</address>

<address><a href="toc.html">U