Go to the first, previous, next, last section, table of contents.

Variable Index

a

  • ag_only_search
  • autoexec

    • c

  • check_trans
  • conj_part_threshold

    • e

  • enable_reorder

    • f

  • filec
  • forward_search

    • h

  • history_char, history_char

    • i

  • image_cluster_size, image_W{1,2,3,4}
  • image_verbosity
  • input_file
  • input_order_file

    • n

  • NuSMV_LIBRARY_PATH, NuSMV_LIBRARY_PATH, NuSMV_LIBRARY_PATH
  • nusmv_stderr
  • nusmv_stdin
  • nusmv_stdout

    • o

  • open_path
  • output_order_file

    • p

  • partition_method

    • r

  • reorder_method

    • s

  • shell_char, shell_char
  • showed_states

    • v

  • verbose_level


    • NuSMV <nusmv@irst.itc.it>