Next: User command index, Previous: Configuration file option index, Up: Top
--abbreviatedoperators: LTL formula options--andpriority: LTL formula options--beforepriority: LTL formula options--comparisontest: Global options--configfile: Special options--consistencytest: Global options--defaultoperatorpriority: LTL formula options--disable: Global options--edgeprobability: State space options--enable: Global options--enumeratedpath: State space options--equivalencepriority: LTL formula options--falsepriority: LTL formula options--finallypriority: LTL formula options--formulachangeinterval: LTL formula options--formulafile: Special options--formulageneratemode: LTL formula options--formulaoutputmode: LTL formula options--formulapropositions: LTL formula options--formularandomseed: LTL formula options--formulasize: LTL formula options--generatennf: LTL formula options--globallypriority: LTL formula options--globalmodelcheck: Global options--help: Special options--implicationpriority: LTL formula options--interactive: Global options--intersectiontest: Global options--localmodelcheck: Global options--logfile: Special options--modelcheck: Global options--nextpriority: LTL formula options--noabbreviatedoperators: LTL formula options--nocomparisontest: Global options--noconsistencytest: Global options--nogeneratennf: LTL formula options--nointersectiontest: Global options--nooutputnnf: LTL formula options--notpriority: LTL formula options--orpriority: LTL formula options--outputnnf: LTL formula options--pause: Global options--profile: Special options--propositionpriority: LTL formula options--quiet: Special options--randomconnectedgraph: State space options--randomgraph: State space options--randompath: State space options--releasepriority: LTL formula options--rounds: Global options--showconfig: Special options--showoperatordistribution: Special options--silent: Special options--skip: Special options--statespacechangeinterval: State space options--statespacegeneratemode: State space options--statespacerandomseed: State space options--statespacesize: State space options--strongreleasepriority: LTL formula options--translatortimeout: Global options--truepriority: LTL formula options--truthprobability: State space options--untilpriority: LTL formula options--verbosity: Global options--version: Special options--weakuntilpriority: LTL formula options--xorpriority: LTL formula options-h: Special options-V: Special options