private boolean process(ProofNode<OWLAxiom> node) { Collection<? extends ProofStep<OWLAxiom>> steps = node.getInferences(); if (steps.size() > 1) { // don't expand multiple inferences return false; } for (ProofStep<OWLAxiom> step : steps) { // just one step if (canConvertStep(step) != null) { process(step); return true; } } // else return false; }
private boolean process(ProofNode<OWLAxiom> node) { Collection<? extends ProofStep<OWLAxiom>> steps = node.getInferences(); if (steps.size() > 1) { // don't expand multiple inferences return false; } for (ProofStep<OWLAxiom> step : steps) { // just one step if (canConvert(step)) { process(step); return true; } } // else return false; }
ProofNode<OWLAxiom> lastPremise = premises.get(premises.size() - 1); Collection<? extends ProofStep<OWLAxiom>> lastPremiseSteps = lastPremise .getInferences(); if (lastPremiseSteps.size() != 1) { return null;