public boolean isRoot() { return _isRoot || isNominal(); }
public boolean isRootNominal() { return _isRoot && isNominal(); }
public boolean isRoot() { return _isRoot || isNominal(); }
public boolean isRootNominal() { return _isRoot && isNominal(); }
if (y.isNominal()) pairs.add(new NodeMerge(x, y));
if (y.isNominal()) pairs.add(new NodeMerge(x, y));
/** * Prune the given _node by removing all links going to nominal _nodes and recurse through all successors. No need to remove incoming edges because either * the _node is the first one being pruned so the merge function already handled it or this is a successor _node and its successor is also being pruned * * @param ds */ @Override public void prune(final DependencySet ds) { // add to effected list if (_abox.getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), getName()); _pruned = ds; for (int i = 0; i < _outEdges.size(); i++) { final Edge edge = _outEdges.get(i); final Node succ = edge.getTo(); if (succ.isPruned()) continue; else if (succ.isNominal()) succ.removeInEdge(edge); else succ.prune(ds); } }
/** * Prune the given _node by removing all links going to nominal _nodes and recurse through all successors. No need to remove incoming edges because either * the _node is the first one being pruned so the merge function already handled it or this is a successor _node and its successor is also being pruned * * @param ds */ @Override public void prune(final DependencySet ds) { // add to effected list if (_abox.getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), getName()); _pruned = ds; for (int i = 0; i < _outEdges.size(); i++) { final Edge edge = _outEdges.get(i); final Node succ = edge.getTo(); if (succ.isPruned()) continue; else if (succ.isNominal()) succ.removeInEdge(edge); else succ.prune(ds); } }
final Node z = edge.getTo(); if (z.isNominal() && !y.equals(z))
final Node z = edge.getTo(); if (z.isNominal() && !y.equals(z))
if (next.getNominalLevel() < head.getNominalLevel() || !head.isNominal() && next.hasSuccessor(x))
if (subj.isBlockable() && obj.isNominal() && !obj.isLiteral() && pred.isInverseFunctional())
if (subj.isBlockable() && obj.isNominal() && !obj.isLiteral() && pred.isInverseFunctional())
if (next.getNominalLevel() < head.getNominalLevel() || !head.isNominal() && next.hasSuccessor(x))