public DependencyEntry(final DependencyEntry that) { _types.addAll(that._types); //TODO:may need to perform a deep copy here _merges.addAll(that._merges); //TODO:may need to perform a deep copy here for (final Edge next : that._edges) //copy edge depenedencies _edges.add(new DefaultEdge(next.getRole(), next.getFrom(), next.getTo(), next.getDepends())); _branchAdds.addAll(that._branchAdds); //TODO:may need to perform a deep copy here _branchCloses.addAll(that._branchCloses); //TODO:may need to perform a deep copy here _clash = that._clash; //TODO:may need to perform a deep copy here }
/** * {@inheritDoc} */ @Override public ATermAppl getFromName() { return getFrom().getName(); }
/** * {@inheritDoc} */ @Override public ATermAppl getToName() { return getTo().getName(); }
public DependencyEntry(final DependencyEntry that) { _types.addAll(that._types); //TODO:may need to perform a deep copy here _merges.addAll(that._merges); //TODO:may need to perform a deep copy here for (final Edge next : that._edges) //copy edge depenedencies _edges.add(new DefaultEdge(next.getRole(), next.getFrom(), next.getTo(), next.getDepends())); _branchAdds.addAll(that._branchAdds); //TODO:may need to perform a deep copy here _branchCloses.addAll(that._branchCloses); //TODO:may need to perform a deep copy here _clash = that._clash; //TODO:may need to perform a deep copy here }
/** * {@inheritDoc} */ @Override public ATermAppl getFromName() { return getFrom().getName(); }
/** * {@inheritDoc} */ @Override public ATermAppl getToName() { return getTo().getName(); }
throw new NullPointerException(); _newEdges.add(new DefaultEdge(se.getRole(), s, o, se.getDepends())); throw new NullPointerException(); _newEdges.add(new DefaultEdge(se.getRole(), s, o, se.getDepends()));
throw new NullPointerException(); _newEdges.add(new DefaultEdge(se.getRole(), s, o, se.getDepends())); throw new NullPointerException(); _newEdges.add(new DefaultEdge(se.getRole(), s, o, se.getDepends()));
final Edge newEdge = new DefaultEdge(edge.getRole(), from, this, edge.getDepends());
final Edge newEdge = new DefaultEdge(edge.getRole(), from, this, edge.getDepends());
protected WME createEdge(final Edge edge, final EdgeDirection dir) { if (_doExplanation) { final DependencySet ds = dir == EdgeDirection.FORWARD ? _role.getExplainSub(edge.getRole().getName()) : _role.getInverse().getExplainSub(edge.getRole().getName()); if (!ds.getExplain().isEmpty()) return WME.createEdge(new DefaultEdge(edge.getRole(), edge.getFrom(), edge.getTo(), edge.getDepends().union(ds, _doExplanation)), dir); } return WME.createEdge(edge, dir); }
protected WME createEdge(final Edge edge, final EdgeDirection dir) { if (_doExplanation) { final DependencySet ds = dir == EdgeDirection.FORWARD ? _role.getExplainSub(edge.getRole().getName()) : _role.getInverse().getExplainSub(edge.getRole().getName()); if (!ds.getExplain().isEmpty()) return WME.createEdge(new DefaultEdge(edge.getRole(), edge.getFrom(), edge.getTo(), edge.getDepends().union(ds, _doExplanation)), dir); } return WME.createEdge(edge, dir); }
@Override protected void updateNodeReferences() { super.updateNodeReferences(); if (_parent != null) _parent = _abox.getIndividual(_parent.getName()); if (isPruned()) { final EdgeList oldEdges = _outEdges; _outEdges = new EdgeList(oldEdges.size()); for (int i = 0; i < oldEdges.size(); i++) { final Edge edge = oldEdges.get(i); final Node to = _abox.getNode(edge.getTo().getName()); final Edge newEdge = new DefaultEdge(edge.getRole(), this, to, edge.getDepends()); _outEdges.add(newEdge); } } }
@Override protected void updateNodeReferences() { super.updateNodeReferences(); if (_parent != null) _parent = _abox.getIndividual(_parent.getName()); if (isPruned()) { final EdgeList oldEdges = _outEdges; _outEdges = new EdgeList(oldEdges.size()); for (int i = 0; i < oldEdges.size(); i++) { final Edge edge = oldEdges.get(i); final Node to = _abox.getNode(edge.getTo().getName()); final Edge newEdge = new DefaultEdge(edge.getRole(), this, to, edge.getDepends()); _outEdges.add(newEdge); } } }
obj.addInEdge(new DefaultEdge(role, subj, obj, ds)); ds = ds.union(obj.getMergeDependency(true), true); ds = ds.copy(ds.max() + 1); Edge edge = new DefaultEdge(role, subj, obj, ds); final Edge existingEdge = subj.getOutEdges().getExactEdge(subj, role, obj); if (existingEdge == null) ds = ds.copy(ds.max() + 1); subj = subj.getSame(); edge = new DefaultEdge(role, subj, obj, ds);
obj.addInEdge(new DefaultEdge(role, subj, obj, ds)); ds = ds.union(obj.getMergeDependency(true), true); ds = ds.copy(ds.max() + 1); Edge edge = new DefaultEdge(role, subj, obj, ds); final Edge existingEdge = subj.getOutEdges().getExactEdge(subj, role, obj); if (existingEdge == null) ds = ds.copy(ds.max() + 1); subj = subj.getSame(); edge = new DefaultEdge(role, subj, obj, ds);
final Edge edge = new DefaultEdge(r, this, x, ds);
final Edge edge = new DefaultEdge(r, this, x, ds);
edges.addAll(findAllValues(ind, (Individual) to, removedTypes, new DefaultEdge(inv, (Individual) to, ind, e.getDepends())));
edges.addAll(findAllValues(ind, (Individual) to, removedTypes, new DefaultEdge(inv, (Individual) to, ind, e.getDepends())));