@Override public Node copyTo(final ABoxImpl abox) { return new Individual(this, abox); }
@Override public Node copyTo(final ABoxImpl abox) { return new Individual(this, abox); }
private Individual addIndividual(final ATermAppl x, final Individual parent, final DependencySet ds) { if (_nodes.containsKey(x)) throw new InternalReasonerException("adding a _node twice " + x); setChanged(true); final Individual n = new Individual(x, this, parent); _nodes.put(x, n); _nodeList.add(x); if (n.getDepth() > _stats._treeDepth) { _stats._treeDepth = n.getDepth(); if (_logger.isLoggable(Level.FINER)) _logger.finer("Depth: " + _stats._treeDepth + " Size: " + size()); } //this must be performed after the _nodeList is updated as this call will update the completion queues n.addType(ATermUtils.TOP, ds); if (getBranchIndex() > 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), n.getName()); return n; }
private Individual addIndividual(final ATermAppl x, final Individual parent, final DependencySet ds) { if (_nodes.containsKey(x)) throw new InternalReasonerException("adding a _node twice " + x); setChanged(true); final Individual n = new Individual(x, this, parent); _nodes.put(x, n); _nodeList.add(x); if (n.getDepth() > _stats._treeDepth) { _stats._treeDepth = n.getDepth(); if (_logger.isLoggable(Level.FINER)) _logger.finer("Depth: " + _stats._treeDepth + " Size: " + size()); } //this must be performed after the _nodeList is updated as this call will update the completion queues n.addType(ATermUtils.TOP, ds); if (getBranchIndex() > 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), n.getName()); return n; }
final Individual n = new Individual(extraIndividual, this, null); n.setNominalLevel(Node.BLOCKABLE); n.setConceptRoot(true);
final Individual n = new Individual(extraIndividual, this, null); n.setNominalLevel(Node.BLOCKABLE); n.setConceptRoot(true);