Comment out two unused methods

LearnLib · Oct 6, 2023 · e0f8a84 · e0f8a84
1 parent 158c436
commit e0f8a84
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 32 deletions.
diff --git a/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java b/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java
@@ -5,9 +5,6 @@
 import java.util.Map;
 import java.util.Set;
 
-import org.apache.commons.lang3.tuple.ImmutablePair;
-import org.apache.commons.lang3.tuple.Pair;
-
 import de.learnlib.api.logging.LearnLogger;
 import de.learnlib.api.query.DefaultQuery;
 import de.learnlib.ralib.automata.TransitionGuard;
@@ -153,24 +150,24 @@ private int findIndex(Word<PSymbolInstance> ce) {
 		throw new RuntimeException("should not reach here");
 	}
 
-    private Pair<TreeQueryResult, TreeQueryResult> checkForCE(Word<PSymbolInstance> prefix, SymbolicSuffix suffix, Word<PSymbolInstance> transition) {
-    	SymbolicWord symWord = new SymbolicWord(prefix, suffix);
-    	TreeQueryResult resHyp = hypOracle.treeQuery(prefix, suffix);
-    	TreeQueryResult resSul;
-    	if (storedQueries.containsKey(symWord))
-    		resSul = storedQueries.get(symWord);
-    	else {
-    		resSul = sulOracle.treeQuery(prefix, suffix);
-    		storedQueries.put(symWord, resSul);
-    	}
-
-        boolean hasCE = sdtOracle.hasCounterexample(prefix,
-                resHyp.getSdt(), resHyp.getPiv(),
-                resSul.getSdt(), resSul.getPiv(),
-                new TransitionGuard(), transition);
-
-        return hasCE ? new ImmutablePair<TreeQueryResult, TreeQueryResult>(resHyp, resSul) : null;
-    }
+//    private Pair<TreeQueryResult, TreeQueryResult> checkForCE(Word<PSymbolInstance> prefix, SymbolicSuffix suffix, Word<PSymbolInstance> transition) {
+//    	SymbolicWord symWord = new SymbolicWord(prefix, suffix);
+//    	TreeQueryResult resHyp = hypOracle.treeQuery(prefix, suffix);
+//    	TreeQueryResult resSul;
+//    	if (storedQueries.containsKey(symWord))
+//    		resSul = storedQueries.get(symWord);
+//    	else {
+//    		resSul = sulOracle.treeQuery(prefix, suffix);
+//    		storedQueries.put(symWord, resSul);
+//    	}
+//
+//        boolean hasCE = sdtOracle.hasCounterexample(prefix,
+//                resHyp.getSdt(), resHyp.getPiv(),
+//                resSul.getSdt(), resSul.getPiv(),
+//                new TransitionGuard(), transition);
+//
+//        return hasCE ? new ImmutablePair<TreeQueryResult, TreeQueryResult>(resHyp, resSul) : null;
+//    }
 
     private boolean transitionHasCE(Word<PSymbolInstance> ce, int idx) {
     	if (idx+1 >= ce.length())

diff --git a/src/main/java/de/learnlib/ralib/theory/inequality/IntervalGuard.java b/src/main/java/de/learnlib/ralib/theory/inequality/IntervalGuard.java
@@ -32,7 +32,6 @@
 import de.learnlib.ralib.data.SymbolicDataValue.SuffixValue;
 import de.learnlib.ralib.data.VarMapping;
 import de.learnlib.ralib.theory.SDTGuard;
-import de.learnlib.ralib.theory.SDTOrGuard;
 import de.learnlib.ralib.theory.equality.DisequalityGuard;
 import de.learnlib.ralib.theory.equality.EqualityGuard;
 
@@ -252,16 +251,16 @@ private Set<SDTGuard> mergeIntervals(IntervalGuard other) {
 
     }
 
-    private Set<SDTGuard> mergeWithEquality(EqualityGuard other) {
-        Set<SDTGuard> guards = new LinkedHashSet<>();
-        if (!(other.getRegister().equals(this.leftLimit) || other.getRegister().equals(this.rightLimit))) {
-            guards.add(this);
-            guards.add(other);
-        } else {
-            guards.add(new SDTOrGuard(this.parameter, this, other));
-        }
-        return guards;
-    }
+//    private Set<SDTGuard> mergeWithEquality(EqualityGuard other) {
+//        Set<SDTGuard> guards = new LinkedHashSet<>();
+//        if (!(other.getRegister().equals(this.leftLimit) || other.getRegister().equals(this.rightLimit))) {
+//            guards.add(this);
+//            guards.add(other);
+//        } else {
+//            guards.add(new SDTOrGuard(this.parameter, this, other));
+//        }
+//        return guards;
+//    }
 
     @Override
     public Set<SDTGuard> mergeWith(SDTGuard other, List<SymbolicDataValue> regPotential) {