@Override public void visit(final ATermAppl term) { super.visit(term); }
visitTerm(OWL_THING); else if (term.equals(ATermUtils.BOTTOM)) visitTerm(OWL_NOTHING); else if (af.getArity() == 0) visitTerm(term); else if (af.equals(ATermUtils.BNODE_FUN)) visitTerm(term); else if (af.equals(ATermUtils.ANDFUN)) visitAnd(term); else if (af.equals(ATermUtils.ORFUN)) visitOneOf(term); else visitOr(term); visitNot(term); else if (af.equals(ATermUtils.ALLFUN)) visitAll(term); else if (af.equals(ATermUtils.SOMEFUN)) visitHasValue(term); else
visitTerm(OWL_THING); else if (term.equals(ATermUtils.BOTTOM)) visitTerm(OWL_NOTHING); else if (af.getArity() == 0) visitTerm(term); else if (af.equals(ATermUtils.BNODE_FUN)) visitTerm(term); else if (af.equals(ATermUtils.ANDFUN)) visitAnd(term); else if (af.equals(ATermUtils.ORFUN)) visitOneOf(term); else visitOr(term); visitNot(term); else if (af.equals(ATermUtils.ALLFUN)) visitAll(term); else if (af.equals(ATermUtils.SOMEFUN)) visitHasValue(term); else
@Override public void visitList(final ATermList list) { for (final ATerm term : list) visit((ATermAppl) term); } }
@Override public void visitList(final ATermList list) { for (final ATerm term : list) visit((ATermAppl) term); } }
@Override public void visit(final ATermAppl term) { super.visit(term); }
@Override public void visit(final ATermAppl term) { if (term.equals(ATermUtils.TOP) || term.equals(ATermUtils.BOTTOM) || term.equals(ATermUtils.TOP_LIT) || term.equals(ATermUtils.BOTTOM_LIT)) return; super.visit(term); }
@Override public void visit(final ATermAppl term) { if (term.equals(ATermUtils.TOP) || term.equals(ATermUtils.BOTTOM) || term.equals(ATermUtils.TOP_LIT) || term.equals(ATermUtils.BOTTOM_LIT)) return; super.visit(term); }