public <S, P> boolean canReach(Pda<S, P> pda, S state, Iterator<P> stack, Predicate<S> matches, Predicate<S> canPass) { return distanceTo(pda, Collections.singleton(state), stack, matches, canPass) != UNREACHABLE; }
public <S, P> boolean canReach(Pda<S, P> pda, S state, Iterator<P> stack, Predicate<S> matches, Predicate<S> canPass) { return distanceTo(pda, Collections.singleton(state), stack, matches, canPass) != UNREACHABLE; }