SPA: use repeated + bin. fwd. CE analysis in KV adapter

mtf90 · mtf90 · commit 426dd1a16af6 · 2022-08-01T17:21:14.000+02:00
diff --git a/algorithms/active/spa/src/main/java/de/learnlib/algorithms/spa/adapter/KearnsVaziraniAdapter.java b/algorithms/active/spa/src/main/java/de/learnlib/algorithms/spa/adapter/KearnsVaziraniAdapter.java
@@ -34,7 +34,7 @@
 public class KearnsVaziraniAdapter<I> extends KearnsVaziraniDFA<I> implements AccessSequenceTransformer<I> {
 
     public KearnsVaziraniAdapter(Alphabet<I> alphabet, MembershipOracle<I, Boolean> oracle) {
-        super(alphabet, oracle, false, AcexAnalyzers.LINEAR_FWD);
+        super(alphabet, oracle, true, AcexAnalyzers.BINARY_SEARCH_FWD);
     }
 
     @Override

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@`
`34`	`34`	`public class KearnsVaziraniAdapter<I> extends KearnsVaziraniDFA<I> implements AccessSequenceTransformer<I> {`
`35`	`35`
`36`	`36`	`public KearnsVaziraniAdapter(Alphabet<I> alphabet, MembershipOracle<I, Boolean> oracle) {`
`37`		`- super(alphabet, oracle, false, AcexAnalyzers.LINEAR_FWD);`
	`37`	`+ super(alphabet, oracle, true, AcexAnalyzers.BINARY_SEARCH_FWD);`
`38`	`38`	`}`
`39`	`39`
`40`	`40`	`@Override`