
  check_trans - Checks the transition relation for totality.
     _________________________________________________________________
   
   check_trans [-h] [-m | -o output-file]
   
   Checks if the transition relation is total. If the transition relation
   is not total then a potential deadlock state is shown out.
   
   Command options:
   
   -m
          Pipes the output generated by the command 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 to the file
          output-file.
          
   The reachable states are computed before in order to guarantee that
   deadlock states are actually reachable.
     _________________________________________________________________
   
   Last updated on 990119 20h08
