/** * Print the ABox as a completion tree (child nodes are indented). * * @param stream is where to print */ @Override public void printTree(final PrintStream stream) { if (!OpenlletOptions.PRINT_ABOX) return; stream.println("PRINTING... " + DependencySet.INDEPENDENT); final Iterator<Node> n = _nodes.values().iterator(); while (n.hasNext()) { final Node node = n.next(); if (!node.isRoot() || node instanceof Literal) continue; printNode(stream, (Individual) node, new HashSet<Individual>(), " "); } }
/** * Print the ABox as a completion tree (child nodes are indented). * * @param stream is where to print */ @Override public void printTree(final PrintStream stream) { if (!OpenlletOptions.PRINT_ABOX) return; stream.println("PRINTING... " + DependencySet.INDEPENDENT); final Iterator<Node> n = _nodes.values().iterator(); while (n.hasNext()) { final Node node = n.next(); if (!node.isRoot() || node instanceof Literal) continue; printNode(stream, (Individual) node, new HashSet<Individual>(), " "); } }
/** * Sets the _blocker to the specified child of the _current _blocker and returns if the new _blocker candidate is allowed to block. The child is not allowed * to block if it is a literal, or a root, or pruned/merged, or is _blocked itself. * * @param child child of the _current _blocker * @return <code>true</code> if the new _blocker candidate is allowed to block */ public boolean moveBlockerDown(final Node child) { if (child.isLiteral() || child.isRoot() || child.isPruned() || child.isMerged() || ((Individual) child).isBlocked() || child.equals(_blocker)) return false; _blocker = (Individual) child; _rolesToBlocked = null; return true; }
/** * Sets the _blocker to the specified child of the _current _blocker and returns if the new _blocker candidate is allowed to block. The child is not allowed * to block if it is a literal, or a root, or pruned/merged, or is _blocked itself. * * @param child child of the _current _blocker * @return <code>true</code> if the new _blocker candidate is allowed to block */ public boolean moveBlockerDown(final Node child) { if (child.isLiteral() || child.isRoot() || child.isPruned() || child.isMerged() || ((Individual) child).isBlocked() || child.equals(_blocker)) return false; _blocker = (Individual) child; _rolesToBlocked = null; return true; }