Skip to content

Commit f1e6ee8

Browse files
committed
cleanup
1 parent a65b311 commit f1e6ee8

1 file changed

Lines changed: 2 additions & 7 deletions

File tree

commons/datastructures/src/main/java/de/learnlib/datastructure/discriminationtree/model/AbstractDiscriminationTree.java

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -23,13 +23,13 @@
2323
import java.util.List;
2424
import java.util.Map;
2525
import java.util.Map.Entry;
26-
import java.util.RandomAccess;
2726
import java.util.function.Predicate;
2827

2928
import de.learnlib.oracle.MembershipOracle;
3029
import de.learnlib.query.DefaultQuery;
3130
import net.automatalib.common.util.array.ArrayStorage;
3231
import net.automatalib.common.util.collection.BitSetIterator;
32+
import net.automatalib.common.util.collection.CollectionUtil;
3333
import net.automatalib.graph.Graph;
3434
import net.automatalib.visualization.DefaultVisualizationHelper;
3535
import net.automatalib.visualization.VisualizationHelper;
@@ -102,12 +102,7 @@ protected List<N> sift(List<N> starts, List<Word<I>> prefixes, Predicate<N> cont
102102
activeVector.set(i, continueExploring.test(result.get(i)));
103103
}
104104

105-
final List<Word<I>> prefixStorage;
106-
if (prefixes instanceof RandomAccess) {
107-
prefixStorage = prefixes;
108-
} else {
109-
prefixStorage = new ArrayStorage<>(prefixes);
110-
}
105+
final List<Word<I>> prefixStorage = CollectionUtil.randomAccessList(prefixes);
111106

112107
while (!activeVector.isEmpty()) {
113108

0 commit comments

Comments
 (0)