Skip to content

Commit

Permalink
spotless
Browse files Browse the repository at this point in the history
  • Loading branch information
@fhowar
fhowar committed Feb 26, 2025
1 parent 2ed7ee1 commit b7c9dbb
Show file tree
Hide file tree
Showing 21 changed files with 25 additions and 30 deletions.
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,6 @@
import java.util.Map;
import java.util.Set;

import de.learnlib.ralib.theory.SDT;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

Expand All @@ -31,6 +30,7 @@
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.smt.SMTUtil;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
Expand Down
4 changes: 2 additions & 2 deletions src/main/java/de/learnlib/ralib/dt/DT.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,10 @@
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.oracles.mto.OptimizedSymbolicSuffixBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTGuard;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.words.OutputSymbol;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
Expand Down
1 change: 0 additions & 1 deletion src/main/java/de/learnlib/ralib/dt/DTLeaf.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,6 @@
import de.learnlib.ralib.data.util.PIVRemappingIterator;
import de.learnlib.ralib.learning.LocationComponent;
import de.learnlib.ralib.learning.PrefixContainer;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.learning.ralambda.DiscriminationTree;
import de.learnlib.ralib.learning.rastar.RaStar;
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/learning/CounterexampleAnalysis.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,6 @@

import java.util.Map;

import de.learnlib.ralib.theory.SDT;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

Expand All @@ -31,6 +30,7 @@
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
import gov.nasa.jpf.constraints.api.Expression;
Expand Down
3 changes: 1 addition & 2 deletions src/main/java/de/learnlib/ralib/learning/ralambda/RaLambda.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,6 @@
import de.learnlib.ralib.learning.QueryStatistics;
import de.learnlib.ralib.learning.RaLearningAlgorithm;
import de.learnlib.ralib.learning.RaLearningAlgorithmName;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.learning.rastar.CEAnalysisResult;
import de.learnlib.ralib.oracles.Branching;
Expand All @@ -43,9 +42,9 @@
import de.learnlib.ralib.oracles.TreeOracleFactory;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.oracles.mto.OptimizedSymbolicSuffixBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.smt.ConstraintSolver;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
import gov.nasa.jpf.constraints.api.Expression;
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/learning/rastar/Cell.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,10 +21,10 @@
import de.learnlib.ralib.data.PIV;
import de.learnlib.ralib.data.SymbolicDataValue.Parameter;
import de.learnlib.ralib.data.VarMapping;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.PSymbolInstance;
import net.automatalib.word.Word;
//import org.slf4j.Logger;
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/learning/rastar/Component.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,11 +36,11 @@
import de.learnlib.ralib.data.util.PIVRemappingIterator;
import de.learnlib.ralib.learning.LocationComponent;
import de.learnlib.ralib.learning.PrefixContainer;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.InputSymbol;
import de.learnlib.ralib.words.PSymbolInstance;
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/learning/rastar/Row.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,9 +32,9 @@
import de.learnlib.ralib.data.VarMapping;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.RegisterGenerator;
import de.learnlib.ralib.learning.PrefixContainer;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.InputSymbol;
import de.learnlib.ralib.words.OutputSymbol;
import de.learnlib.ralib.words.PSymbolInstance;
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/oracles/TreeOracle.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,9 @@
import java.util.Map;

import de.learnlib.ralib.data.PIV;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
import net.automatalib.word.Word;
Expand Down
3 changes: 1 addition & 2 deletions src/main/java/de/learnlib/ralib/oracles/mto/MultiTheorySDTLogicOracle.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,6 @@

import java.util.Map;

import de.learnlib.ralib.theory.SDT;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

Expand All @@ -31,10 +30,10 @@
import de.learnlib.ralib.data.SymbolicDataValue.Register;
import de.learnlib.ralib.data.SymbolicDataValue.SuffixValue;
import de.learnlib.ralib.data.VarMapping;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.oracles.SDTLogicOracle;
import de.learnlib.ralib.smt.ConstraintSolver;
import de.learnlib.ralib.smt.SMTUtil;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTGuard;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.PSymbolInstance;
Expand Down
5 changes: 2 additions & 3 deletions src/main/java/de/learnlib/ralib/oracles/mto/MultiTheoryTreeOracle.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,6 @@

import com.google.common.collect.Sets;

import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTLeaf;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

Expand All @@ -54,7 +52,6 @@
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.ParameterGenerator;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.RegisterGenerator;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.SuffixValueGenerator;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.DataWordOracle;
Expand All @@ -63,7 +60,9 @@
import de.learnlib.ralib.oracles.mto.MultiTheoryBranching.Node;
import de.learnlib.ralib.smt.ConstraintSolver;
import de.learnlib.ralib.smt.SMTUtil;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTGuard;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.theory.Theory;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.PSymbolInstance;
Expand Down
4 changes: 2 additions & 2 deletions src/main/java/de/learnlib/ralib/theory/equality/EqualityTheory.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,10 +46,10 @@
import de.learnlib.ralib.data.WordValuation;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.io.IOOracle;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.oracles.mto.SDTConstructor;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.theory.*;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.OutputSymbol;
import de.learnlib.ralib.words.PSymbolInstance;
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/de/learnlib/ralib/theory/equality/UniqueEqualityTheory.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
import de.learnlib.ralib.data.*;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.io.IOOracle;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.oracles.mto.SDTConstructor;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTGuard;
import de.learnlib.ralib.theory.Theory;
import de.learnlib.ralib.words.DataWords;
Expand Down
4 changes: 2 additions & 2 deletions src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,10 +38,10 @@
import de.learnlib.ralib.data.SymbolicDataValue.SuffixValue;
import de.learnlib.ralib.data.WordValuation;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.oracles.mto.SDTConstructor;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.theory.*;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
Expand Down
5 changes: 2 additions & 3 deletions src/test/java/de/learnlib/ralib/dt/RegisterConsistencyTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,15 +18,14 @@
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.ParameterGenerator;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.RegisterGenerator;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.SuffixValueGenerator;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTGuard;
import de.learnlib.ralib.theory.SDTLeaf;
import de.learnlib.ralib.words.InputSymbol;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
Expand Down
2 changes: 1 addition & 1 deletion src/test/java/de/learnlib/ralib/example/sdts/LoginExampleSDT.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,8 @@
import de.learnlib.ralib.data.SymbolicDataValue;
import de.learnlib.ralib.data.SymbolicDataValue.Register;
import de.learnlib.ralib.data.VarMapping;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.SDTLeaf;

/**
Expand Down
2 changes: 1 addition & 1 deletion src/test/java/de/learnlib/ralib/example/sdts/LoginExampleTreeOracle.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,12 +35,12 @@
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.RegisterGenerator;
import de.learnlib.ralib.example.sdts.LoginExampleSDT.SDTClass;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.DataWords;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
Expand Down
2 changes: 1 addition & 1 deletion src/test/java/de/learnlib/ralib/learning/rastar/LoggingOracle.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,12 +20,12 @@

import de.learnlib.ralib.data.Constants;
import de.learnlib.ralib.data.PIV;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.TreeOracle;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.oracles.mto.SymbolicSuffixRestrictionBuilder;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.words.PSymbolInstance;
import de.learnlib.ralib.words.ParameterizedSymbol;
import net.automatalib.word.Word;
Expand Down
2 changes: 1 addition & 1 deletion src/test/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilderTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@
import java.util.Map;
import java.util.Set;

import de.learnlib.ralib.theory.*;
import org.testng.Assert;
import org.testng.annotations.Test;

Expand All @@ -36,6 +35,7 @@
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.smt.ConstraintSolver;
import de.learnlib.ralib.theory.*;
import de.learnlib.ralib.theory.equality.EqualRestriction;
import de.learnlib.ralib.tools.theories.IntegerEqualityTheory;
import de.learnlib.ralib.words.InputSymbol;
Expand Down
2 changes: 1 addition & 1 deletion src/test/java/de/learnlib/ralib/oracles/mto/SecondSDTBranchingTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,13 +36,13 @@
import de.learnlib.ralib.data.SymbolicDataValue.Register;
import de.learnlib.ralib.data.VarMapping;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.RegisterGenerator;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.smt.ConstraintSolver;
import de.learnlib.ralib.sul.DataWordSUL;
import de.learnlib.ralib.sul.SimulatorSUL;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.Theory;
import de.learnlib.ralib.tools.theories.IntegerEqualityTheory;
import de.learnlib.ralib.words.InputSymbol;
Expand Down
2 changes: 1 addition & 1 deletion src/test/java/de/learnlib/ralib/oracles/mto/UntypedBranchingTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,13 +56,13 @@
import de.learnlib.ralib.data.VarMapping;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.ParameterGenerator;
import de.learnlib.ralib.data.util.SymbolicDataValueGenerator.RegisterGenerator;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.learning.SymbolicSuffix;
import de.learnlib.ralib.oracles.Branching;
import de.learnlib.ralib.oracles.TreeQueryResult;
import de.learnlib.ralib.smt.ConstraintSolver;
import de.learnlib.ralib.sul.DataWordSUL;
import de.learnlib.ralib.sul.SimulatorSUL;
import de.learnlib.ralib.theory.SDT;
import de.learnlib.ralib.theory.Theory;
import de.learnlib.ralib.tools.theories.IntegerEqualityTheory;
import de.learnlib.ralib.words.InputSymbol;
Expand Down

0 comments on commit b7c9dbb

Please sign in to comment.