Add some more options to LTL2DA program

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10543 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/automata/LTL2DA.java

@@ -327,7 +327,15 @@ public class LTL2DA extends PrismComponent
 			// * ... 'X p1' - hoa 
 			// * ... 'X p1' - txt 
 			
-			// Convert to Expression
+			// Convert to Expression (from PRISM format)
+			/*String pltl = "P=?[" + ltl + "]";
+			PropertiesFile pf = Prism.getPrismParser().parsePropertiesFile(new ModulesFile(), new ByteArrayInputStream(pltl.getBytes()));
+			Prism.releasePrismParser();
+			Expression expr = pf.getProperty(0);
+			expr = ((ExpressionProb) expr).getExpression();
+			System.out.println("LTL: " + expr);*/
+			
+			// Convert to Expression (from LBT format)
 			String ltl = args[0];
 			SimpleLTL sltl = SimpleLTL.parseFormulaLBT(args[0]);
 			Expression expr = Expression.createFromJltl2ba(sltl);