From efcaa0d1e5417d7b0549d215705f478de09452e3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Mar 2006 19:47:11 +0000
Subject: [PATCH] Added some missing switches to -help display.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@16 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 777c8b62..928772e1 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1428,6 +1428,11 @@ public class PrismCL
 		mainLog.println("-transient <x> (or -tr <x>) .... Compute transient probabilities for time <x> (CTMCs only)");
 		mainLog.println();
 		mainLog.println("-importpepa .................... Model description is in PEPA, not the PRISM language");
+		mainLog.println("-importtrans <file> ............ Import the transition matrix directly from a text file");
+		mainLog.println("-importstates <file>............ Import the list of states directly from a text file");
+		mainLog.println("-dtmc .......................... Force imported/built model to be a DTMC");
+		mainLog.println("-ctmc .......................... Force imported/built model to be a CTMC");
+		mainLog.println("-mdp ........................... Force imported/built model to be an MDP");
 		mainLog.println();
 		mainLog.println("-exportresults <file> .......... Export the results of model checking to a file");
 		mainLog.println("-exporttrans <file> ............ Export the transition matrix to a file");
@@ -1470,6 +1475,7 @@ public class PrismCL
 		mainLog.println("-nofair ........................ Don't use fairness (when model checking PCTL on MDPs) [default]");
 		mainLog.println("-fixdl ......................... Automatically put self-loops in deadlock states");
 		mainLog.println("-nocompact ..................... Switch off \"compact\" sparse storage schemes");
+		mainLog.println("-noprobchecks .................. Disable checks on model probabilities/rates");
 		mainLog.println();
 		mainLog.println("-sbmax <n> ..................... Set memory limit (KB) (for hybrid engine) [default 1024]");
 		mainLog.println("-sbl <n> ....................... Set number of levels (for hybrid engine) [default -1]");