add missing changes

LearnLib · Jan 3, 2024 · fab657f · fab657f
1 parent e61e2a4
commit fab657f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/test/java/de/learnlib/ralib/learning/ralambda/TestUnknownMemorable.java b/src/test/java/de/learnlib/ralib/learning/ralambda/TestUnknownMemorable.java
@@ -361,7 +361,7 @@ public void testSkippingMemorable2() {
         Assert.assertTrue(true);
 	}
 
-	private Deque<DefaultQuery<PSymbolInstance, Boolean>> buildSIPCEs(String[] ceStrings, ParameterizedSymbol[] actionSymbols) {
+	public static Deque<DefaultQuery<PSymbolInstance, Boolean>> buildSIPCEs(String[] ceStrings, ParameterizedSymbol[] actionSymbols) {
 		Deque<DefaultQuery<PSymbolInstance, Boolean>> ces = new LinkedList<>();
 
 		for (String ceString : ceStrings) {
@@ -400,7 +400,7 @@ private Deque<DefaultQuery<PSymbolInstance, Boolean>> buildSIPCEs(String[] ceStr
 		return ces;
 	}
 
-	private DefaultQuery<PSymbolInstance, Boolean> buildSIPCounterExample(String[] actions, int[] dv, boolean outcome, ParameterizedSymbol[] actionSymbols) {
+	private static DefaultQuery<PSymbolInstance, Boolean> buildSIPCounterExample(String[] actions, int[] dv, boolean outcome, ParameterizedSymbol[] actionSymbols) {
 		Word<PSymbolInstance> ce = Word.epsilon();
 		for (int i = 0; i < actions.length; i++) {
 			String action = actions[i];
@@ -416,7 +416,7 @@ private DefaultQuery<PSymbolInstance, Boolean> buildSIPCounterExample(String[] a
 		return new DefaultQuery<PSymbolInstance, Boolean>(ce, outcome);
 	}
 
-	private int findMatchingSymbol(String action, ParameterizedSymbol[] actionSymbols) {
+	private static int findMatchingSymbol(String action, ParameterizedSymbol[] actionSymbols) {
 		for (int i = 0; i < actionSymbols.length; i++ ) {
 			if (actionSymbols[i].getName().contains(action))
 				return i;