static public boolean isSet(final ATermList list) { if (list.isEmpty()) return true; ATerm curr = list.getFirst(); for (final ATerm term : list) { if (Comparators.termComparator.compare(curr, term) >= 0) return false; curr = term; } return true; }
private static void addToList(final ATermAppl term, final boolean flatten, final List<ATermAppl> result) { if (flatten) for (ATermList l = (ATermList) term.getArgument(0); !l.isEmpty(); l = l.getNext()) result.add((ATermAppl) l.getFirst()); else result.add(term); }
private static void addToList(final ATermAppl term, final boolean flatten, final List<ATermAppl> result) { if (flatten) for (ATermList l = (ATermList) term.getArgument(0); !l.isEmpty(); l = l.getNext()) result.add((ATermAppl) l.getFirst()); else result.add(term); }
@Override public ATerm getLast() { ATermList cur; cur = this; while (!cur.getNext().isEmpty()) cur = cur.getNext(); return cur.getFirst(); }
@Override public SList<ATerm> concat(final SList<ATerm> rhs) { if (isEmpty()) return rhs; if (_next.isEmpty()) return rhs.insert(_first); return _next.concat(rhs).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 ATermList concat(final ATermList rhs) { if (isEmpty()) return rhs; if (_next.isEmpty()) return rhs.insert(_first); return _next.concat(rhs).insert(_first); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }
static public ATermList negate(final ATermList list) { if (list.isEmpty()) return list; ATermAppl a = (ATermAppl) list.getFirst(); a = isNot(a) ? (ATermAppl) a.getArgument(0) : makeNot(a); final ATermList result = makeList(a, negate(list.getNext())); return result; }
static public ATermList negate(final ATermList list) { if (list.isEmpty()) return list; ATermAppl a = (ATermAppl) list.getFirst(); a = isNot(a) ? (ATermAppl) a.getArgument(0) : makeNot(a); final ATermList result = makeList(a, negate(list.getNext())); return result; }
private boolean containedIn(final Object value, final ATermAppl dconjunction) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { if (ATermUtils.isAnd(dconjunction)) { for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) if (!getDataRange((ATermAppl) l.getFirst()).contains(value)) return false; return true; } else return getDataRange(dconjunction).contains(value); }
private boolean containedIn(final Object value, final ATermAppl dconjunction) throws InvalidConstrainingFacetException, InvalidLiteralException, UnrecognizedDatatypeException { if (ATermUtils.isAnd(dconjunction)) { for (ATermList l = (ATermList) dconjunction.getArgument(0); !l.isEmpty(); l = l.getNext()) if (!getDataRange((ATermAppl) l.getFirst()).contains(value)) return false; return true; } else return getDataRange(dconjunction).contains(value); }