print_fsm_stats - Prints out information about the fsm and clustering.


print_fsm_stats [-h] | [-m] | [-o output-file]

This command prints out information regarding the fsm and each cluster. In particular for each cluster it prints out the cluster number, the size of the cluster (in BDD nodes), the variables occurring in it, the size of the cube that has to be quantified out relative to the cluster and the variables to be quantified out.

Command options:

-m
Pipes the output generated by the command through the program specified by the PAGER shell variable if defined, or through the UNIX utility "more".
-o output-file
Redirects the generated output to the file output-file.

Last updated on 2009/03/04 13h:34