final MultiListIterator listIt = new MultiListIterator(EMPTY_LIST); final Iterator<ATermAppl> i = new PairIterator<>(conjuncts.iterator(), listIt); while (i.hasNext())
final MultiListIterator listIt = new MultiListIterator(EMPTY_LIST); final Iterator<ATermAppl> i = new PairIterator<>(conjuncts.iterator(), listIt); while (i.hasNext())
public Iterator<ATermAppl> getNominals(final ATermAppl term) { if (isOneOf(term)) { final ATermList list = (ATermList) term.getArgument(0); return new MultiListIterator(list); } else if (isNominal(term)) return IteratorUtils.singletonIterator(term); return IteratorUtils.emptyIterator(); }
public Iterator<ATermAppl> getNominals(final ATermAppl term) { if (isOneOf(term)) { final ATermList list = (ATermList) term.getArgument(0); return new MultiListIterator(list); } else if (isNominal(term)) return IteratorUtils.singletonIterator(term); return IteratorUtils.emptyIterator(); }
for (final MultiListIterator i = new MultiListIterator(conjuncts); i.hasNext();)
final MultiListIterator i = new MultiListIterator(conjuncts); while (i.hasNext())
for (final MultiListIterator i = new MultiListIterator(conjuncts); i.hasNext();)
final MultiListIterator i = new MultiListIterator(conjuncts); while (i.hasNext())
final MultiListIterator i = new MultiListIterator(rootConjuncts); while (i.hasNext()) final MultiListIterator i = new MultiListIterator(disjuncts); final List<ATermAppl> args = new ArrayList<>(); while (i.hasNext())
final MultiListIterator i = new MultiListIterator(rootConjuncts); while (i.hasNext()) final MultiListIterator i = new MultiListIterator(disjuncts); final List<ATermAppl> args = new ArrayList<>(); while (i.hasNext())
new MultiListIterator((ATermList) term.getArgument(0)) : // Collections.singleton(term).iterator(); Bool knownType = Bool.TRUE;
new MultiListIterator((ATermList) term.getArgument(0)) : // Collections.singleton(term).iterator(); Bool knownType = Bool.TRUE;