public final class SccAnalyser<S>
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static <S> java.util.List<java.util.Set<S>> |
computeSccs(java.util.Set<S> states,
java.util.function.Function<S,java.lang.Iterable<S>> successorFunction) |