_abox.getClash().getDepends().remove(lastBranch); if (_logger.isLoggable(Level.FINE)) _logger.fine("FAIL: " + lastBranch);
_abox.getClash().getDepends().remove(lastBranch); if (_logger.isLoggable(Level.FINE)) _logger.fine("FAIL: " + lastBranch);
private void updateBranchesOfABox(final AddBranchDependency branch, final ABox abox) { final List<Branch> branches = abox.getBranches(); // decrease branch id for each branch after the branch we're removing // also need to change the dependency set for each label for (int i = branch.getBranch().getBranchIndexInABox(); i < branches.size(); i++) { final Branch br = branches.get(i); // cast for ease DependencySet termDepends = br.getTermDepends(); // update the term depends in the branch if (termDepends.getBranch() > branch.getBranch().getBranchIndexInABox()) termDepends = termDepends.copy(termDepends.getBranch() - 1); for (int j = branch.getBranch().getBranchIndexInABox(); j < _kb.getABox().getBranches().size(); j++) if (termDepends.contains(j)) { termDepends.remove(j); termDepends.add(j - 1); break; } br.setTermDepends(termDepends); } branches.remove(branch.getBranch()); // remove the actual branch }
private void updateBranchesOfABox(final AddBranchDependency branch, final ABox abox) { final List<Branch> branches = abox.getBranches(); // decrease branch id for each branch after the branch we're removing // also need to change the dependency set for each label for (int i = branch.getBranch().getBranchIndexInABox(); i < branches.size(); i++) { final Branch br = branches.get(i); // cast for ease DependencySet termDepends = br.getTermDepends(); // update the term depends in the branch if (termDepends.getBranch() > branch.getBranch().getBranchIndexInABox()) termDepends = termDepends.copy(termDepends.getBranch() - 1); for (int j = branch.getBranch().getBranchIndexInABox(); j < _kb.getABox().getBranches().size(); j++) if (termDepends.contains(j)) { termDepends.remove(j); termDepends.add(j - 1); break; } br.setTermDepends(termDepends); } branches.remove(branch.getBranch()); // remove the actual branch }
_abox.getClash().getDepends().remove(candidatLastBranch); candidatLastBranch = _abox.getClash().getDepends().max(); _logger.severe("Used the improved backupjump.");
_abox.getClash().getDepends().remove(candidatLastBranch); candidatLastBranch = _abox.getClash().getDepends().max(); _logger.severe("Used the improved backupjump.");
public boolean tryNext() { // nothing more to try, update the clash dependency if (getTryNext() == getTryCount()) if (!_abox.isClosed()) _abox.setClash(Clash.unexplained(getNode(), _termDepends)); else _abox.getClash().setDepends(getCombinedClash()); // if there is no clash try next possibility if (!_abox.isClosed()) tryBranch(); // there is a clash so there is no point in trying this // _branch again. remove this _branch from clash dependency if (_abox.isClosed()) if (!OpenlletOptions.USE_INCREMENTAL_DELETION) _abox.getClash().getDepends().remove(getBranchIndexInABox()); return !_abox.isClosed(); }
public boolean tryNext() { // nothing more to try, update the clash dependency if (getTryNext() == getTryCount()) if (!_abox.isClosed()) _abox.setClash(Clash.unexplained(getNode(), _termDepends)); else _abox.getClash().setDepends(getCombinedClash()); // if there is no clash try next possibility if (!_abox.isClosed()) tryBranch(); // there is a clash so there is no point in trying this // _branch again. remove this _branch from clash dependency if (_abox.isClosed()) if (!OpenlletOptions.USE_INCREMENTAL_DELETION) _abox.getClash().getDepends().remove(getBranchIndexInABox()); return !_abox.isClosed(); }
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox());
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox());
ds.remove(getBranchIndexInABox());
ds.remove(getBranchIndexInABox());
ds.remove(getBranchIndexInABox());
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox());
ds.setExplain(getTermDepends().getExplain()); else ds.remove(getBranchIndexInABox());
ds.remove(getBranchIndexInABox());