@Override public boolean isNode(final ATerm x) { return getNode(x) != null; }
@Override public boolean isNode(final ATerm x) { return getNode(x) != null; }
@Override public EdgeList getInEdges(final ATerm x) { return getNode(x).getInEdges(); }
@Override public EdgeList getInEdges(final ATerm x) { return getNode(x).getInEdges(); }
@Override public EdgeList getOutEdges(final ATerm x) { final Node node = getNode(x); if (node instanceof Literal) return new EdgeList(); return ((Individual) node).getOutEdges(); }
@Override public EdgeList getOutEdges(final ATerm x) { final Node node = getNode(x); if (node instanceof Literal) return new EdgeList(); return ((Individual) node).getOutEdges(); }
@Override public void removeType(final ATermAppl x, final ATermAppl c) { getNode(x).removeType(ATermUtils.normalize(c)); }
@Override public void removeType(final ATermAppl x, final ATermAppl c) { getNode(x).removeType(ATermUtils.normalize(c)); }
if (s == null) throw new NullPointerException(); final Node o = target.getNode(se.getTo().getName()); if (o == null) throw new NullPointerException(); final Node n = target.getNode(e.getKey().getName()); if (n == null) throw new NullPointerException(); if (s == null) throw new NullPointerException(); final Node o = target.getNode(se.getTo().getName()); if (o == null) throw new NullPointerException(); final Node tn = target.getNode(sn.getName()); if (tn == null) throw new NullPointerException();
if (s == null) throw new NullPointerException(); final Node o = target.getNode(se.getTo().getName()); if (o == null) throw new NullPointerException(); final Node n = target.getNode(e.getKey().getName()); if (n == null) throw new NullPointerException(); if (s == null) throw new NullPointerException(); final Node o = target.getNode(se.getTo().getName()); if (o == null) throw new NullPointerException(); final Node tn = target.getNode(sn.getName()); if (tn == null) throw new NullPointerException();
break; case NOMINAL: resolved = !node.isSame(getNode(term)); break; case INVALID_LITERAL:
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }
break; case NOMINAL: resolved = !node.isSame(getNode(term)); break; case INVALID_LITERAL:
final Node node = abox.getNode(x); final Node copy = node.copyTo(this);
final Node node = abox.getNode(x); final Node copy = node.copyTo(this);
final Node node = getNode(name); if (node != null) if (node instanceof Literal)
final Node node = getNode(name); if (node != null) if (node instanceof Literal)
Node obj = getNode(o);
Node obj = getNode(o);