code: static <S, I, O> Optional<ADSNode<S, I, O>> compute(final MealyMachine<S, I, ?, O> automaton,
                                                          final Alphabet<I> input,
                                                          final SplitTree<S, I, O> node) {
          return compute(automaton, input, node, node.getPartition().size());
      }
docs: See {@link #compute(MealyMachine, Alphabet, Set)}. Internal version, that uses the {@link SplitTree}
  representation.