compute [-h] [-m | -o output-file] [-n number | -p "compute-expr [IN context]" | -P "name"]
This command deals with the computation of quantitative characteristics of real time systems. It is able to compute the length of the shortest (longest) path from two given set of states.
MAX [ alpha , beta ]
MIN [ alpha , beta ]
Properties of the above form can be specified in the input file via
the keyword COMPUTE
or directly at command line,
using option -p.
Option -n can be used for computing a particular expression in the model. If neither -n nor -p nor -P are used, all the COMPUTE specifications are computed.
Command options: