isReachable

fun isReachable(from: Int, to: Int): Boolean(source)

Whether to can be reached from from in zero or more transitions. A state is always reachable from itself; see canReturnTo for reachability in one or more.