compute - Performs computation of quantitative characteristics


compute [-h] [-m | -o output-file] [compute-expression]

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.

Command options:

-m
Pipes the output generated by the command in processing COMPUTEs to the program specified by the PAGER shell variable if defined, else through the UNIX "more" command.
-o output-file
Writes the output generated by the command in processing COMPUTEs to the file output-file.
compute-expression
A quantitative characteristic to be computed.

Last updated on 990908 16h51