@Override public Individual addIndividual(final ATermAppl x, final DependencySet ds) { final Individual ind = addIndividual(x, null, ds); // update affected inds for this _branch if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), ind.getName()); return ind; }
@Override public Individual addIndividual(final ATermAppl x, final DependencySet ds) { final Individual ind = addIndividual(x, null, ds); // update affected inds for this _branch if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), ind.getName()); return ind; }
/** * Add a new literal to the ABox. Literal will be assigned a fresh unique name. * * @param dataValue A literal ATerm which should be constructed with one of ATermUtils.makeXXXLiteral functions * @return Literal object that has been created */ @Override public Literal addLiteral(final ATermAppl dataValue) { final int remember = getBranchIndex(); setBranchIndex(DependencySet.NO_BRANCH); final Literal lit = addLiteral(dataValue, DependencySet.INDEPENDENT); setBranchIndex(remember); return lit; }
/** * Add a new literal to the ABox. Literal will be assigned a fresh unique name. * * @param dataValue A literal ATerm which should be constructed with one of ATermUtils.makeXXXLiteral functions * @return Literal object that has been created */ @Override public Literal addLiteral(final ATermAppl dataValue) { final int remember = getBranchIndex(); setBranchIndex(DependencySet.NO_BRANCH); final Literal lit = addLiteral(dataValue, DependencySet.INDEPENDENT); setBranchIndex(remember); return lit; }
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; }
if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), node.getName()); if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), lit.getName());
if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), node.getName()); if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), lit.getName());