Move classes

ftsrg · Nov 20, 2024 · 225286a · 225286a
1 parent f54c953
commit 225286a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/...ombined/XstsCombinedExprTraceChecker.java → ...s/timed/XstsCombinedExprTraceChecker.java b/...ombined/XstsCombinedExprTraceChecker.java → ...s/timed/XstsCombinedExprTraceChecker.java
@@ -1,4 +1,4 @@
-package hu.bme.mit.theta.xsts.analysis.config.combined;
+package hu.bme.mit.theta.xsts.analysis.timed;
 
 import hu.bme.mit.theta.analysis.Trace;
 import hu.bme.mit.theta.analysis.algorithm.lazy.LazyState;

diff --git a/...fig/combined/XstsCombinedPrecRefiner.java → ...alysis/timed/XstsCombinedPrecRefiner.java b/...fig/combined/XstsCombinedPrecRefiner.java → ...alysis/timed/XstsCombinedPrecRefiner.java
@@ -1,4 +1,4 @@
-package hu.bme.mit.theta.xsts.analysis.config.combined;
+package hu.bme.mit.theta.xsts.analysis.timed;
 
 import hu.bme.mit.theta.analysis.Prec;
 import hu.bme.mit.theta.analysis.State;
@@ -21,7 +21,7 @@ public final class XstsCombinedPrecRefiner
 
     private final RefutationToPrec<DPrec, R> refToPrec;
 
-    XstsCombinedPrecRefiner(final RefutationToPrec<DPrec, R> refToPrec) {
+    public XstsCombinedPrecRefiner(final RefutationToPrec<DPrec, R> refToPrec) {
         this.refToPrec = refToPrec;
     }
 

diff --git a/...is/config/combined/XstsLazyLensUtils.java → ...sts/analysis/timed/XstsLazyLensUtils.java b/...is/config/combined/XstsLazyLensUtils.java → ...sts/analysis/timed/XstsLazyLensUtils.java
@@ -1,4 +1,4 @@
-package hu.bme.mit.theta.xsts.analysis.config.combined;
+package hu.bme.mit.theta.xsts.analysis.timed;
 
 import hu.bme.mit.theta.analysis.State;
 import hu.bme.mit.theta.analysis.algorithm.lazy.LazyState;