public DependencySet check(final Individual node1, final Node node2) { final EdgeList list = node1.getRNeighborEdges(_role); for (int i = 0, n = list.size(); i < n; i++) { final Edge edge = list.get(i); if (edge.getNeighbor(node1).equals(node2)) return edge.getDepends(); } return null; }
@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 Individual addFreshIndividual(final Individual parent, final DependencySet ds) { final boolean isNominal = parent == null; final ATermAppl name = createUniqueName(isNominal); final Individual ind = addIndividual(name, parent, ds); if (isNominal) ind.setNominalLevel(1); return ind; }
protected void addOutEdge(final Edge edge) { setChanged(ALL); setChanged(MAX); _applyNext[MAX] = 0; if (edge.getRole().isBottom()) _abox.setClash(Clash.bottomProperty(edge.getFrom(), edge.getDepends(), edge.getRole().getName())); else _outEdges.add(edge); }
@Override protected void addInEdge(final Edge edge) { setChanged(ALL); setChanged(MAX); _applyNext[MAX] = 0; _inEdges.add(edge); }
@Override public EdgeList getInEdges(final ATerm x) { return getNode(x).getInEdges(); }
@Override public void unprune(final int branch) { super.unprune(branch); checkClash(); }
public DependencySet check(final Individual node1, final Node node2) { final EdgeList list = node1.getRNeighborEdges(_role); for (int i = 0, n = list.size(); i < n; i++) { final Edge edge = list.get(i); if (edge.getNeighbor(node1).equals(node2)) return edge.getDepends(); } return null; }
protected void addOutEdge(final Edge edge) { setChanged(ALL); setChanged(MAX); _applyNext[MAX] = 0; if (edge.getRole().isBottom()) _abox.setClash(Clash.bottomProperty(edge.getFrom(), edge.getDepends(), edge.getRole().getName())); else _outEdges.add(edge); }
@Override public EdgeList getOutEdges(final ATerm x) { final Node node = getNode(x); if (node instanceof Literal) return new EdgeList(); return ((Individual) node).getOutEdges(); }
@Override protected void addInEdge(final Edge edge) { setChanged(ALL); setChanged(MAX); _applyNext[MAX] = 0; _inEdges.add(edge); }
@Override public EdgeList getInEdges(final ATerm x) { return getNode(x).getInEdges(); }