
  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 990119 20h08
