From b7c9dbb22bed1ccf20dd6e35b55f325f5e7c5e3c Mon Sep 17 00:00:00 2001 From: Falk Howar Date: Wed, 26 Feb 2025 09:41:17 +0100 Subject: [PATCH] spotless --- src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java | 2 +- src/main/java/de/learnlib/ralib/dt/DT.java | 4 ++-- src/main/java/de/learnlib/ralib/dt/DTLeaf.java | 1 - .../de/learnlib/ralib/learning/CounterexampleAnalysis.java | 2 +- .../java/de/learnlib/ralib/learning/ralambda/RaLambda.java | 3 +-- src/main/java/de/learnlib/ralib/learning/rastar/Cell.java | 2 +- .../java/de/learnlib/ralib/learning/rastar/Component.java | 2 +- src/main/java/de/learnlib/ralib/learning/rastar/Row.java | 2 +- src/main/java/de/learnlib/ralib/oracles/TreeOracle.java | 2 +- .../ralib/oracles/mto/MultiTheorySDTLogicOracle.java | 3 +-- .../de/learnlib/ralib/oracles/mto/MultiTheoryTreeOracle.java | 5 ++--- .../de/learnlib/ralib/theory/equality/EqualityTheory.java | 4 ++-- .../learnlib/ralib/theory/equality/UniqueEqualityTheory.java | 2 +- .../ralib/theory/inequality/InequalityTheoryWithEq.java | 4 ++-- .../java/de/learnlib/ralib/dt/RegisterConsistencyTest.java | 5 ++--- .../java/de/learnlib/ralib/example/sdts/LoginExampleSDT.java | 2 +- .../learnlib/ralib/example/sdts/LoginExampleTreeOracle.java | 2 +- .../de/learnlib/ralib/learning/rastar/LoggingOracle.java | 2 +- .../oracles/mto/OptimizedSymbolicSuffixBuilderTest.java | 2 +- .../learnlib/ralib/oracles/mto/SecondSDTBranchingTest.java | 2 +- .../de/learnlib/ralib/oracles/mto/UntypedBranchingTest.java | 2 +- 21 files changed, 25 insertions(+), 30 deletions(-) diff --git a/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java b/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java index 5382f0a5..a8a897f2 100644 --- a/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java +++ b/src/main/java/de/learnlib/ralib/ceanalysis/PrefixFinder.java @@ -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; @@ -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; diff --git a/src/main/java/de/learnlib/ralib/dt/DT.java b/src/main/java/de/learnlib/ralib/dt/DT.java index 318c2be3..961b8b3a 100644 --- a/src/main/java/de/learnlib/ralib/dt/DT.java +++ b/src/main/java/de/learnlib/ralib/dt/DT.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/dt/DTLeaf.java b/src/main/java/de/learnlib/ralib/dt/DTLeaf.java index 21bc3903..87d6a321 100644 --- a/src/main/java/de/learnlib/ralib/dt/DTLeaf.java +++ b/src/main/java/de/learnlib/ralib/dt/DTLeaf.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/learning/CounterexampleAnalysis.java b/src/main/java/de/learnlib/ralib/learning/CounterexampleAnalysis.java index f16f5bdc..c5291936 100644 --- a/src/main/java/de/learnlib/ralib/learning/CounterexampleAnalysis.java +++ b/src/main/java/de/learnlib/ralib/learning/CounterexampleAnalysis.java @@ -18,7 +18,6 @@ import java.util.Map; -import de.learnlib.ralib.theory.SDT; import org.slf4j.Logger; import org.slf4j.LoggerFactory; @@ -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; diff --git a/src/main/java/de/learnlib/ralib/learning/ralambda/RaLambda.java b/src/main/java/de/learnlib/ralib/learning/ralambda/RaLambda.java index 4ba4120e..e90c0e63 100644 --- a/src/main/java/de/learnlib/ralib/learning/ralambda/RaLambda.java +++ b/src/main/java/de/learnlib/ralib/learning/ralambda/RaLambda.java @@ -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; @@ -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; diff --git a/src/main/java/de/learnlib/ralib/learning/rastar/Cell.java b/src/main/java/de/learnlib/ralib/learning/rastar/Cell.java index fda06ca9..1d76dd77 100644 --- a/src/main/java/de/learnlib/ralib/learning/rastar/Cell.java +++ b/src/main/java/de/learnlib/ralib/learning/rastar/Cell.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/learning/rastar/Component.java b/src/main/java/de/learnlib/ralib/learning/rastar/Component.java index 017289b9..605c3e18 100644 --- a/src/main/java/de/learnlib/ralib/learning/rastar/Component.java +++ b/src/main/java/de/learnlib/ralib/learning/rastar/Component.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/learning/rastar/Row.java b/src/main/java/de/learnlib/ralib/learning/rastar/Row.java index b996fd01..9b5fdcdb 100644 --- a/src/main/java/de/learnlib/ralib/learning/rastar/Row.java +++ b/src/main/java/de/learnlib/ralib/learning/rastar/Row.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/oracles/TreeOracle.java b/src/main/java/de/learnlib/ralib/oracles/TreeOracle.java index 9e5b0f07..01984f44 100644 --- a/src/main/java/de/learnlib/ralib/oracles/TreeOracle.java +++ b/src/main/java/de/learnlib/ralib/oracles/TreeOracle.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheorySDTLogicOracle.java b/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheorySDTLogicOracle.java index e7097ce5..9c3d10ac 100644 --- a/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheorySDTLogicOracle.java +++ b/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheorySDTLogicOracle.java @@ -18,7 +18,6 @@ import java.util.Map; -import de.learnlib.ralib.theory.SDT; import org.slf4j.Logger; import org.slf4j.LoggerFactory; @@ -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; diff --git a/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheoryTreeOracle.java b/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheoryTreeOracle.java index 503edfa1..3eb42623 100644 --- a/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheoryTreeOracle.java +++ b/src/main/java/de/learnlib/ralib/oracles/mto/MultiTheoryTreeOracle.java @@ -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; @@ -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; @@ -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; diff --git a/src/main/java/de/learnlib/ralib/theory/equality/EqualityTheory.java b/src/main/java/de/learnlib/ralib/theory/equality/EqualityTheory.java index cb07f977..3a6fc26f 100644 --- a/src/main/java/de/learnlib/ralib/theory/equality/EqualityTheory.java +++ b/src/main/java/de/learnlib/ralib/theory/equality/EqualityTheory.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/theory/equality/UniqueEqualityTheory.java b/src/main/java/de/learnlib/ralib/theory/equality/UniqueEqualityTheory.java index a7ca5773..87d5ec51 100644 --- a/src/main/java/de/learnlib/ralib/theory/equality/UniqueEqualityTheory.java +++ b/src/main/java/de/learnlib/ralib/theory/equality/UniqueEqualityTheory.java @@ -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; diff --git a/src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java b/src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java index ed820eac..3706db60 100644 --- a/src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java +++ b/src/main/java/de/learnlib/ralib/theory/inequality/InequalityTheoryWithEq.java @@ -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; diff --git a/src/test/java/de/learnlib/ralib/dt/RegisterConsistencyTest.java b/src/test/java/de/learnlib/ralib/dt/RegisterConsistencyTest.java index 1e674d2f..fd47d28d 100644 --- a/src/test/java/de/learnlib/ralib/dt/RegisterConsistencyTest.java +++ b/src/test/java/de/learnlib/ralib/dt/RegisterConsistencyTest.java @@ -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; diff --git a/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleSDT.java b/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleSDT.java index 7fd53479..c98bbe27 100644 --- a/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleSDT.java +++ b/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleSDT.java @@ -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; /** diff --git a/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleTreeOracle.java b/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleTreeOracle.java index b18fae07..25543ca8 100644 --- a/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleTreeOracle.java +++ b/src/test/java/de/learnlib/ralib/example/sdts/LoginExampleTreeOracle.java @@ -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; diff --git a/src/test/java/de/learnlib/ralib/learning/rastar/LoggingOracle.java b/src/test/java/de/learnlib/ralib/learning/rastar/LoggingOracle.java index 25c660ea..50a50276 100644 --- a/src/test/java/de/learnlib/ralib/learning/rastar/LoggingOracle.java +++ b/src/test/java/de/learnlib/ralib/learning/rastar/LoggingOracle.java @@ -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; diff --git a/src/test/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilderTest.java b/src/test/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilderTest.java index a329786a..e1f78ed9 100644 --- a/src/test/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilderTest.java +++ b/src/test/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilderTest.java @@ -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; @@ -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; diff --git a/src/test/java/de/learnlib/ralib/oracles/mto/SecondSDTBranchingTest.java b/src/test/java/de/learnlib/ralib/oracles/mto/SecondSDTBranchingTest.java index b3fcb6aa..f48f6bda 100644 --- a/src/test/java/de/learnlib/ralib/oracles/mto/SecondSDTBranchingTest.java +++ b/src/test/java/de/learnlib/ralib/oracles/mto/SecondSDTBranchingTest.java @@ -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; diff --git a/src/test/java/de/learnlib/ralib/oracles/mto/UntypedBranchingTest.java b/src/test/java/de/learnlib/ralib/oracles/mto/UntypedBranchingTest.java index c256f2da..0eff04d2 100644 --- a/src/test/java/de/learnlib/ralib/oracles/mto/UntypedBranchingTest.java +++ b/src/test/java/de/learnlib/ralib/oracles/mto/UntypedBranchingTest.java @@ -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;