/** * allow the checker to preprocess an ontology if necessary * * @param axioms list of wrapped axioms */ public void preprocessOntology(Collection<AxiomWrapper> axioms) { checker.preprocessOntology(axioms); sigIndex.clear(); sigIndex.preprocessOntology(axioms); workQueue = new ArrayDeque<>(axioms.size()); nChecks += 2 * axioms.size(); }
/** * allow the checker to preprocess an ontology if necessary * * @param axioms list of wrapped axioms */ public void preprocessOntology(Collection<AxiomWrapper> axioms) { checker.preprocessOntology(axioms); sigIndex.clear(); sigIndex.preprocessOntology(axioms); workQueue = new ArrayDeque<>(axioms.size()); nChecks += 2 * axioms.size(); }
/** * allow the checker to preprocess an ontology if necessary * * @param axioms list of wrapped axioms */ public void preprocessOntology(Collection<AxiomWrapper> axioms) { checker.preprocessOntology(axioms); sigIndex.clear(); sigIndex.preprocessOntology(axioms); workQueue = new ArrayDeque<>(axioms.size()); nChecks += 2 * axioms.size(); }
/** * allow the checker to preprocess an ontology if necessary * * @param axioms list of wrapped axioms */ public void preprocessOntology(Collection<AxiomWrapper> axioms) { checker.preprocessOntology(axioms); sigIndex.clear(); sigIndex.preprocessOntology(axioms); workQueue = new ArrayDeque<>(axioms.size()); nChecks += 2 * axioms.size(); }