protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
private void performSlowPruning() throws OWLException { // Simply remove axioms one at a time. If the class // being debugged turns satisfiable then we know we have // an SOS axoiom. Set<OWLAxiom> axiomsCopy = new HashSet<OWLAxiom>(debuggingAxioms); for (OWLAxiom ax : axiomsCopy) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } } }
debuggingAxioms.remove(currentAxiom); if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow); fragmentIndex++; if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow);
debuggingAxioms.remove(currentAxiom); if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow); fragmentIndex++; if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow);
debuggingAxioms.remove(currentAxiom); if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow); fragmentIndex++; if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow);
debuggingAxioms.remove(currentAxiom); if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow); fragmentIndex++; if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow);
debuggingAxioms.remove(currentAxiom); if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow); fragmentIndex++; if (isSatisfiable()) { debuggingAxioms.addAll(axiomWindow);
int totalAdded = 0; int expansionCount = 0; while (isSatisfiable()) { LOGGER.info("Expanding axioms (expansion {})", Integer.valueOf(expansionCount)); expansionCount++;
int totalAdded = 0; int expansionCount = 0; while (isSatisfiable()) { LOGGER.info("Expanding axioms (expansion {})", Integer.valueOf(expansionCount)); expansionCount++;
int totalAdded = 0; int expansionCount = 0; while (isSatisfiable()) { LOGGER.info("Expanding axioms (expansion {})", Integer.valueOf(expansionCount)); expansionCount++;
int totalAdded = 0; int expansionCount = 0; while (isSatisfiable()) { LOGGER.info("Expanding axioms (expansion {})", Integer.valueOf(expansionCount)); expansionCount++;