From 76e9cf2cd4d4e5511a1b946f94f4c16d1175cb61 Mon Sep 17 00:00:00 2001 From: mtygesen Date: Wed, 24 Jan 2024 17:02:34 +0100 Subject: [PATCH] Use trace refinement and siphon trap analysis now only available for CTL --- .../net/tapaal/gui/petrinet/dialog/QueryDialog.java | 10 +++++----- 1 file changed, 5 insertions(+), 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 index a3c87ed54..f1d00580d 100644 --- 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()) {