/** {@inheritDoc} */ public final void printSimonTree() { System.out.println(SimonUtils.simonTreeString(manager.getRootSimon())); }