/** * Create a list of terms. * * @param args elements of thre list * @return an ATermList with given elements in the given _order */ public static ATermList list(final ATermAppl... args) { return ATermUtils.makeList(args); }
/** * Create a list of terms. * * @param args elements of thre list * @return an ATermList with given elements in the given _order */ public static ATermList list(final ATermAppl... args) { return ATermUtils.makeList(args); }
final static public ATermList makeList(final ATerm[] aTerms) { return makeList(aTerms, 0); }
public static ATermAppl and(final ATermAppl... c) { if (c.length == 1) return c[0]; return ATermUtils.makeAnd(ATermUtils.makeList(c)); }
public static ATermAppl or(final ATermAppl... c) { if (c.length == 1) return c[0]; return ATermUtils.makeOr(ATermUtils.makeList(c)); }
public static ATermAppl makeBuiltinAtom(final ATermAppl[] args) { return factory.makeAppl(BUILTINFUN, makeList(args)); } }
public static ATermAppl and(final ATermAppl... c) { if (c.length == 1) return c[0]; return ATermUtils.makeAnd(ATermUtils.makeList(c)); }
public static ATermAppl makeBuiltinAtom(final ATermAppl[] args) { return factory.makeAppl(BUILTINFUN, makeList(args)); } }
public static ATermAppl or(final ATermAppl... c) { if (c.length == 1) return c[0]; return ATermUtils.makeOr(ATermUtils.makeList(c)); }
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; }
protected ATermList createList(final RDFListIterator i) { if (!i.hasNext()) return ATermUtils.EMPTY_LIST; final Node node = i.next(); if (node == null) return ATermUtils.EMPTY_LIST; final ATermAppl first = node2term(node); final ATermList rest = createList(i); final ATermList list = ATermUtils.makeList(first, rest); return list; }
default void addTransitiveProperty(final ATermAppl p) { if (null == p) return; getChanges().add(ChangeType.RBOX_ADD); final Role r = getRBox().getDefinedRole(p); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeTransitive(p)) : DependencySet.INDEPENDENT; // r.setTransitive(true); r.addSubRoleChain(ATermUtils.makeList(new ATerm[] { p, p }), ds); getLogger().finer(() -> "trans-prop " + p); }
default void addTransitiveProperty(final ATermAppl p) { if (null == p) return; getChanges().add(ChangeType.RBOX_ADD); final Role r = getRBox().getDefinedRole(p); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeTransitive(p)) : DependencySet.INDEPENDENT; // r.setTransitive(true); r.addSubRoleChain(ATermUtils.makeList(new ATerm[] { p, p }), ds); getLogger().finer(() -> "trans-prop " + p); }
protected ATermList createList(final RDFListIterator i) { if (!i.hasNext()) return ATermUtils.EMPTY_LIST; final Node node = i.next(); if (node == null) return ATermUtils.EMPTY_LIST; final ATermAppl first = node2term(node); final ATermList rest = createList(i); final ATermList list = ATermUtils.makeList(first, rest); return list; }
protected ATermList createList(final RDFListIterator i) { if (!i.hasNext()) return ATermUtils.EMPTY_LIST; final Node node = i.next(); if (node == null) return ATermUtils.EMPTY_LIST; final ATermAppl first = node2term(node); final ATermList rest = createList(i); final ATermList list = ATermUtils.makeList(first, rest); return list; }
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; }