public static ATermList makeList(final Collection<ATermAppl> set) { ATermList list = EMPTY_LIST; for (final ATerm term : set) list = list.insert(term); return list; }
@Override public ATermList insertAt(final ATerm el, final int i) { if (0 > i || i > _length) throw new IllegalArgumentException(_illegalListIndex + i); if (i == 0) return insert(el); return _next.insertAt(el, i - 1).insert(_first); }
public static ATermList makeList(final Collection<ATermAppl> set) { ATermList list = EMPTY_LIST; for (final ATerm term : set) list = list.insert(term); return list; }
@Override public ATermList removeElementAt(final int index) { if (0 > index || index > _length) throw new IllegalArgumentException(_illegalListIndex + index); if (index == 0) return _next; return _next.removeElementAt(index - 1).insert(_first); }
@Override public ATermList remove(final ATerm el) { if (_first == el) return _next; final ATermList result = _next.remove(el); if (result == _next) return this; return result.insert(_first); }
@Override public ATermList removeAll(final ATerm el) { if (_first == el) return _next.removeAll(el); final ATermList result = _next.removeAll(el); if (result == _next) return this; return result.insert(_first); }
@Override public ATermList append(final ATerm el) { return concat(getEmpty().insert(el)); }
public static ATermAppl oneOf(final ATermAppl... terms) { ATermList list = ATermUtils.EMPTY_LIST; for (final ATermAppl term : terms) list = list.insert(value(term)); return ATermUtils.makeOr(list); }
public static ATermAppl oneOf(final ATermAppl... terms) { ATermList list = ATermUtils.EMPTY_LIST; for (final ATermAppl term : terms) list = list.insert(value(term)); return ATermUtils.makeOr(list); }
@Override public ATermList getArguments() { ATermList result = getPureFactory().getEmpty(); for (int i = _args.length - 1; i >= 0; i--) result = result.insert(_args[i]); return result; }
final static public ATermAppl makeOr(final ATermAppl c1, final ATermAppl c2) { return makeOr(makeList(c2).insert(c1)); }
final static public ATermAppl makeAnd(final ATerm c1, final ATerm c2) { return makeAnd(makeList(c2).insert(c1)); }
static public ATermList toSet(final ATerm[] a, final int size) { Arrays.sort(a, 0, size, Comparators.termComparator); ATermList set = makeList(a[size - 1]); for (int i = size - 2; i >= 0; i--) { final ATerm s = set.getFirst(); if (!s.equals(a[i])) set = set.insert(a[i]); } return set; }
static public ATermList toSet(final ATerm[] a, final int size) { Arrays.sort(a, 0, size, Comparators.termComparator); ATermList set = makeList(a[size - 1]); for (int i = size - 2; i >= 0; i--) { final ATerm s = set.getFirst(); if (!s.equals(a[i])) set = set.insert(a[i]); } return set; }
@Override public ATermList dictRemove(final ATerm key) { if (isEmpty()) return this; final ATermList pair = (ATermList) _first; if (key.equals(pair.getFirst())) return _next; return _next.dictRemove(key).insert(_first); }
@Override public ATermList reverse() { ATermList cur = this; ATermList reverse = getEmpty(); while (!cur.isEmpty()) { reverse = reverse.insert(cur.getFirst()); cur = cur.getNext(); } return reverse; }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }
@Override public void visit(final OWLDataOneOf enumeration) { ATermList ops = ATermUtils.EMPTY_LIST; for (final OWLLiteral value : asList(enumeration.values())) { value.accept(this); ops = ops.insert(ATermUtils.makeValue(result())); } _term = ATermUtils.makeOr(ops); }