  dump_fsm - Dumps (in DOT format) selected parts of the bdd fsm, with optional
  expression
     __________________________________________________________________

   dump_fsm [-h] -o filename [-i] [-I] [-t] [-f] [-r] [-e expression]

   Dumps selected parts of the bdd fsm, with optional expression, in DOT
   format. At least one among options [iIte] must be specified. Command
   Options:

   -o filename
   Dumps to the specified file name.

   -i
   Dumps the initial states of the FSM, among with other selected outputs.

   -I
   Dumps the invariant states of the FSM, among with other selected
   outputs.

   -t
   Dumps the (monolithic) transition relation of the FSM, among with other
   selected outputs.

   -F
   Dumps the (monolithic) fair states of the FSM, among with other
   selected outputs.

   -r
   Dumps the (monolithic) reachable states of the FSM, among with other
   selected outputs.

   -e
   Dumps the specified expression, among with other selected outputs (see
   also command dump_expr).
     __________________________________________________________________

   Last updated on 2011/10/28 14h:49
