Options Menu


Display warning messages
LTSA displays a warning message when an undefined state is mapped to the ERROR state during compilation. Default is set.

Treat warnings as errors
Halts compilation with an error message when an undefined state is found. Default is not set.

Minimise during Composition
If set, composite processes are minimised by default during compilation (ie. Composite processes which are components of the target). Default is not set.

Partial Order Reduction
If set, enables partial order reduction during Composition and Safety, Progress and Supertrace analysis. Default is not set.

Preserve OE for POR composition
If set, ensures that Observational Equivalence is preserved when Partial Order Reduction is used for composition. Default is set.

Enable incremental composition
Enables an incremental minimization strategy for composite processes with greater than 100 states. Essentially, instead of hiding all labels at once, one label at a time is hidden until the size is less than 100 states. This seems to reduce minimization time by an order of magnitude if the expected reduction in statespace is large i.e. 1000->10 and many labels are hidden. The strategy is only applied when labels are hidden and when minimization is indicated by the keyword minimal. Default is not set.

Set Supertrace parameters
Set depth bound (ie maximum stack depth) for Supertrace search. Set hash table size for Supertrace in kilobytes.


Use big fonts
Use large font in all windows. Useful for demonstrations and presentations. Default is not set.

Display name when drawing LTS
Displays the process name for an LTS in the Draw Pane. Default is set.

Use V2.0 label format when drawing LTS
If not set, labels are displayed with "." as in a.1 rather than a[1]. In addition, in V2.0, sets and ranges are combined. Default is set.

Multiple LTS in Draw window
Changes Draw Pane to multiple LTS display mode. Default is not set.


Autorun actions in Animator
Enables Run and Step buttons in Animator window. Actions are selected until an action in the menu set is enabled. Default is not set.