public class CheckDeadPaths
extends java.lang.Object
Constructor and Description |
---|
CheckDeadPaths() |
Modifier and Type | Method and Description |
---|---|
static boolean |
hasDeathPaths(StochasticDeterministicFiniteAutomaton automaton) |
public static boolean hasDeathPaths(StochasticDeterministicFiniteAutomaton automaton)