@Override public void addDifferent(final ATermAppl i1, final ATermAppl i2) { if (null == i1 || null == i2) return; // set addition flag _changes.add(ChangeType.ABOX_ADD); // if we can use incremental consistency checking then add to // pseudomodel if (canUseIncConsistency()) { // TODO: refactor the access to the updatedIndividuals and // newIndividuals - add get method _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i1)); _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i2)); // add to pseudomodel - note _branch must be temporarily set to 0 to // ensure that asssertion // will not be restored during backtracking final int branch = _abox.getBranchIndex(); _abox.setBranchIndex(0); _abox.addDifferent(i1, i2); _abox.setBranchIndex(branch); } _abox.addDifferent(i1, i2); _logger.finer(() -> "diff " + i1 + " " + i2); }
@Override public void addDifferent(final ATermAppl i1, final ATermAppl i2) { if (null == i1 || null == i2) return; // set addition flag _changes.add(ChangeType.ABOX_ADD); // if we can use incremental consistency checking then add to // pseudomodel if (canUseIncConsistency()) { // TODO: refactor the access to the updatedIndividuals and // newIndividuals - add get method _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i1)); _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i2)); // add to pseudomodel - note _branch must be temporarily set to 0 to // ensure that asssertion // will not be restored during backtracking final int branch = _abox.getBranchIndex(); _abox.setBranchIndex(0); _abox.addDifferent(i1, i2); _abox.setBranchIndex(branch); } _abox.addDifferent(i1, i2); _logger.finer(() -> "diff " + i1 + " " + i2); }