From 3d1ee7a66ffc6e2d550d8a43639d92086fc16b36 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 29 Aug 2016 10:47:45 +0000
Subject: [PATCH] LTL2DA.convertLTLFormulaToDAWithExternalTool: honor
 PRISM_NO_DA_SIMPLIFY setting

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

diff --git a/prism/src/automata/LTL2DA.java b/prism/src/automata/LTL2DA.java
index e06882fe..a0f6cd70 100644
--- a/prism/src/automata/LTL2DA.java
+++ b/prism/src/automata/LTL2DA.java
@@ -278,6 +278,10 @@ public class LTL2DA extends PrismComponent
 			throw new PrismException(e.getMessage());
 		}
 
+		if (!getSettings().getBoolean(PrismSettings.PRISM_NO_DA_SIMPLIFY)) {
+			result = DASimplifyAcceptance.simplifyAcceptance(this, result, allowedAcceptance);
+		}
+
 		AcceptanceOmega acceptance = result.getAcceptance();
 		if (AcceptanceType.contains(allowedAcceptance, acceptance.getType())) {
 			return result;