@Override public final boolean updateOccurrenceNumbers(ModifiableOntologyIndex index, OccurrenceIncrement increment) { if (negativeOccurrenceNo == 0 && increment.negativeIncrement > 0) { // first negative occurrence of this expression if (!PropagationFromExistentialFillerRule.addRuleFor(this, index)) return false; } negativeOccurrenceNo += increment.negativeIncrement; if (negativeOccurrenceNo == 0 && increment.negativeIncrement < 0) { // no negative occurrences of this expression left if (!PropagationFromExistentialFillerRule .removeRuleFor(this, index)) { // revert the changes negativeOccurrenceNo -= increment.negativeIncrement; return false; } } positiveOccurrenceNo += increment.positiveIncrement; return true; }
@Override public final boolean updateOccurrenceNumbers(ModifiableOntologyIndex index, OccurrenceIncrement increment) { if (negativeOccurrenceNo == 0 && increment.negativeIncrement > 0) { // first negative occurrence of this expression if (!PropagationFromExistentialFillerRule.addRuleFor(this, index)) return false; } negativeOccurrenceNo += increment.negativeIncrement; if (negativeOccurrenceNo == 0 && increment.negativeIncrement < 0) { // no negative occurrences of this expression left if (!PropagationFromExistentialFillerRule .removeRuleFor(this, index)) { // revert the changes negativeOccurrenceNo -= increment.negativeIncrement; return false; } } positiveOccurrenceNo += increment.positiveIncrement; return true; }
@Override public final boolean updateOccurrenceNumbers(ModifiableOntologyIndex index, OccurrenceIncrement increment) { if (negativeOccurrenceNo == 0 && increment.negativeIncrement > 0) { // first negative occurrence of this expression if (!PropagationFromExistentialFillerRule.addRuleFor(this, index)) return false; } negativeOccurrenceNo += increment.negativeIncrement; if (negativeOccurrenceNo == 0 && increment.negativeIncrement < 0) { // no negative occurrences of this expression left if (!PropagationFromExistentialFillerRule .removeRuleFor(this, index)) { // revert the changes negativeOccurrenceNo -= increment.negativeIncrement; return false; } } positiveOccurrenceNo += increment.positiveIncrement; return true; }