From d791bce62f4e780c26152f11032ffc32ef8613e5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 20 Aug 2015 12:53:58 +0000
Subject: [PATCH] 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 | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/prism/src/automata/LTL2DA.java b/prism/src/automata/LTL2DA.java
index b630b57e..4775d7b0 100644
--- a/prism/src/automata/LTL2DA.java
+++ b/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);