@Override public Iterator<Unfolding> unfold(final ATermAppl c) { final MultiIterator<Unfolding> result = new MultiIterator<>(_Tu.unfold(c).iterator()); if (c.equals(TOP) && !_Tg.getUC().isEmpty()) result.append(_Tg.getUC().iterator()); return result; }
public void print(final Appendable out) { try { out.append("Tu: [\n"); for (final ATermAppl c : _unfoldingMap.keySet()) { final List<Unfolding> unfoldedList = unfold(c); if (!unfoldedList.isEmpty()) { out.append(ATermUtils.toString(c)).append(" -> "); for (final Unfolding unf : unfoldedList) out.append(ATermUtils.toString(unf.getResult())).append(", "); out.append("\n"); } } out.append("]\n"); } catch (final IOException e) { e.printStackTrace(); } }
@Override public Iterator<Unfolding> unfold(final ATermAppl c) { final MultiIterator<Unfolding> result = new MultiIterator<>(_Tu.unfold(c).iterator()); if (c.equals(TOP) && !_Tg.getUC().isEmpty()) result.append(_Tg.getUC().iterator()); return result; }
public void print(final Appendable out) { try { out.append("Tu: [\n"); for (final ATermAppl c : _unfoldingMap.keySet()) { final List<Unfolding> unfoldedList = unfold(c); if (!unfoldedList.isEmpty()) { out.append(ATermUtils.toString(c)).append(" -> "); for (final Unfolding unf : unfoldedList) out.append(ATermUtils.toString(unf.getResult())).append(", "); out.append("\n"); } } out.append("]\n"); } catch (final IOException e) { e.printStackTrace(); } }