code: public static void initCompleteDeterministic(PaigeTarjan pt,
                                                   UniversalDeterministicAutomaton.FullIntAbstraction<?, ?, ?> absAutomaton,
                                                   AutomatonInitialPartitioning ip,
                                                   boolean pruneUnreachable) {
          initCompleteDeterministic(pt, absAutomaton, ip.initialClassifier(absAutomaton), pruneUnreachable);
      }
docs: Initializes the partition refinement data structure from a given abstracted deterministic automaton, using a
  predefined initial partitioning mode.
  
  @param pt
  the partition refinement data structure
  @param absAutomaton
  the abstraction of the input automaton
  @param ip
  the initial partitioning mode
  @param pruneUnreachable
  whether or not to prune unreachable states during initialization