Use trace refinement and siphon trap analysis now only available for CTL

TAPAAL · Jan 24, 2024 · 76e9cf2 · 76e9cf2
1 parent 3895112
commit 76e9cf2
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/main/java/net/tapaal/gui/petrinet/dialog/QueryDialog.java b/src/main/java/net/tapaal/gui/petrinet/dialog/QueryDialog.java
@@ -2909,8 +2909,8 @@ private void showCTLButtons(boolean isVisible) {
         existsUntil.setVisible(isVisible);
     }
 
-    private void updateSiphonTrap(boolean isLTL) {
-        useSiphonTrap.setEnabled(!isLTL);
+    private void updateSiphonTrap(boolean isCTL) {
+        useSiphonTrap.setEnabled(isCTL);
     }
 
     private void addPropertyToQuery(TCTLAbstractPathProperty property) {
@@ -4700,8 +4700,8 @@ protected void setEnabledOptionsAccordingToCurrentReduction() {
             useColoredReduction.setEnabled(false);
         }
 
-        wasLTLType = queryType.getSelectedIndex() == 1;
-        updateSiphonTrap(wasLTLType);
+        wasCTLType = queryType.getSelectedIndex() == 0;
+        updateSiphonTrap(wasCTLType);
 
         updateSearchStrategies();
 		refreshExportButtonText();
@@ -4745,7 +4745,7 @@ private void updateRawVerificationOptions() {
 	private void refreshTraceRefinement() {
 	    ReductionOption reduction = getReductionOption();
 
-        if (queryType.getSelectedIndex() != 1 && !lens.isGame() &&
+        if (queryType.getSelectedIndex() == 0 && !lens.isGame() &&
             reduction != null && reduction.equals(ReductionOption.VerifyPN) &&
             (newProperty.toString().startsWith("AG") || newProperty.toString().startsWith("EF")) &&
             !hasInhibitorArcs && !newProperty.hasNestedPathQuantifiers()) {