cleanup code

LearnLib · Apr 29, 2024 · fb9d076 · fb9d076
1 parent acf5feb
commit fb9d076
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 9 deletions.
diff --git a/src/main/java/de/learnlib/ralib/tools/ClassAnalyzer.java b/src/main/java/de/learnlib/ralib/tools/ClassAnalyzer.java
@@ -180,8 +180,6 @@ public void setup(Configuration config) throws ConfigurationException {
             actList.add(SpecialSymbols.DEPTH);
             ParameterizedSymbol[] actions = actList.toArray(new ParameterizedSymbol[]{});
 
-//            final Constants consts = new Constants();
-
             String cstString = OPTION_CONSTANTS.parse(config);
             if (cstString != null) {
             	final SymbolicDataValueGenerator.ConstantGenerator cgen = new SymbolicDataValueGenerator.ConstantGenerator();
@@ -246,8 +244,6 @@ public TreeOracle createTreeOracle(RegisterAutomaton hyp) {
                 }
             };
 
-            //this.rastar = new RaStar(mto, hypFactory, mlo, consts, true, actions);
-
             switch (this.learner) {
                 case AbstractToolWithRandomWalk.LEARNER_SLSTAR:
                     this.rastar = new RaStar(mto, hypFactory, mlo, consts, true, actions);
@@ -376,9 +372,6 @@ public void run() throws RaLibToolException {
         }
 
         System.out.println("=============================== STOP ===============================");
-        System.out.println("FINAL HYP:------------------------------------------");
-        System.out.println(hyp);
-        System.out.println("----------------------------------------------------");
         SimpleProfiler.logResults();
 
         System.out.println("ce lengths (original): "

diff --git a/src/main/java/de/learnlib/ralib/tools/classanalyzer/ClasssAnalyzerDataWordSUL.java b/src/main/java/de/learnlib/ralib/tools/classanalyzer/ClasssAnalyzerDataWordSUL.java
@@ -159,9 +159,13 @@ private Object resolve(DataValue d) {
     }
 
     private boolean isFresh(DataType t, Object id) {
-        Map<DataValue, Object> map = this.buckets.get(t);
-        if (consts.values().stream().filter(d -> d.getType().equals(t) && d.getId().equals(id)).findAny().isPresent())
+        if (consts.values()
+        		.stream()
+        		.filter(d -> d.getType().equals(t) && d.getId().equals(id))
+        		.findAny()
+        		.isPresent())
         	return false;
+        Map<DataValue, Object> map = this.buckets.get(t);
         return map == null || !map.containsValue(id);
     }