/** * get a set of axioms that corresponds to the module of the atom with the id INDEX * * @param index index * @return module at index */ Collection<AxiomWrapper> getAtomModule(int index) { return decomposer.getAOS().get(index).getModule(); }
/** * get a set of axioms that corresponds to the module of the atom with the id INDEX * * @param index index * @return module at index */ Collection<AxiomWrapper> getAtomModule(int index) { return decomposer.getAOS().get(index).getModule(); }
/** * get a set of axioms that corresponds to the module of the atom with the id INDEX * * @param index index * @return module at index */ Collection<AxiomWrapper> getAtomModule(int index) { return decomposer.getAOS().get(index).getModule(); }
/** * get a set of axioms that corresponds to the module of the atom with the id INDEX * * @param index index * @return module at index */ Collection<AxiomWrapper> getAtomModule(int index) { return decomposer.getAOS().get(index).getModule(); }
/** * Build a module for given axiom AX; use parent atom's module as a base for * the module search. * * @param sig signature * @param parent parent atom * @return module atom */ Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module OntologyAtom atom = aos.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * @param sig signature * @param parent parent atom * @return module for given axiom AX; use parent atom's module as a base for the module search */ private Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module assert atomList != null; OntologyAtom atom = atomList.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * @param sig signature * @param parent parent atom * @return module for given axiom AX; use parent atom's module as a base for the module search */ private Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module assert atomList != null; OntologyAtom atom = atomList.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * @param sig signature * @param parent parent atom * @return module for given axiom AX; use parent atom's module as a base for the module search */ private Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module assert atomList != null; OntologyAtom atom = atomList.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * @param sig signature * @param parent parent atom * @return module for given axiom AX; use parent atom's module as a base for the module search */ private Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module assert atomList != null; OntologyAtom atom = atomList.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * Build a module for given axiom AX; use parent atom's module as a base for * the module search. * * @param sig signature * @param parent parent atom * @return module atom */ Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module OntologyAtom atom = aos.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * Build a module for given axiom AX; use parent atom's module as a base for * the module search. * * @param sig signature * @param parent parent atom * @return module atom */ Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module OntologyAtom atom = aos.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * Build a module for given axiom AX; use parent atom's module as a base for * the module search. * * @param sig signature * @param parent parent atom * @return module atom */ Optional<OntologyAtom> buildModule(Signature sig, OntologyAtom parent) { // build a module for a given signature modularizer.extract(parent.getModule(), sig, type); Collection<AxiomWrapper> module = modularizer.getModule(); // if module is empty (empty bottom atom) -- do nothing if (module.isEmpty()) { return Optional.empty(); } // check if the module corresponds to a PARENT one; modules are the same // iff their sizes are the same if (parent != rootAtom && module.size() == parent.getModule().size()) { return Optional.of(parent); } // create new atom with that module OntologyAtom atom = aos.newAtom(); atom.setModule(module); return Optional.of(atom); }
/** * get a set of axioms that corresponds to the module of the atom with the * id INDEX * * @param index * index * @return module for atom */ @PortedFrom(file = "Kernel.h", name = "getAtomModule") public List<AxiomWrapper> getAtomModule(int index) { return ad.getAtomList().get(index).getModule(); }
/** * add an axiom if it is non-local (or in noCheck is true) * * @param ax axiom to add * @param noCheck check or not */ void addNonLocal(AxiomWrapper ax, boolean noCheck) { if (noCheck || isNonLocal(ax)) { addAxiomToModule(ax); if (noAtomsProcessing && ax.getAtom().isPresent()) { noAtomsProcessing = false; addNonLocal(ax.getAtom().get().getModule(), true); noAtomsProcessing = true; } } }
/** * add an axiom if it is non-local (or in noCheck is true) * * @param ax axiom to add * @param noCheck check or not */ void addNonLocal(AxiomWrapper ax, boolean noCheck) { if (noCheck || isNonLocal(ax)) { addAxiomToModule(ax); if (noAtomsProcessing && ax.getAtom().isPresent()) { noAtomsProcessing = false; addNonLocal(ax.getAtom().get().getModule(), true); noAtomsProcessing = true; } } }
/** * add an axiom if it is non-local (or in noCheck is true) * * @param ax axiom to add * @param noCheck check or not */ void addNonLocal(AxiomWrapper ax, boolean noCheck) { if (noCheck || isNonLocal(ax)) { addAxiomToModule(ax); if (noAtomsProcessing && ax.getAtom().isPresent()) { noAtomsProcessing = false; addNonLocal(ax.getAtom().get().getModule(), true); noAtomsProcessing = true; } } }
/** * add an axiom if it is non-local (or in noCheck is true) * * @param ax axiom to add * @param noCheck check or not */ void addNonLocal(AxiomWrapper ax, boolean noCheck) { if (noCheck || isNonLocal(ax)) { addAxiomToModule(ax); if (noAtomsProcessing && ax.getAtom().isPresent()) { noAtomsProcessing = false; addNonLocal(ax.getAtom().get().getModule(), true); noAtomsProcessing = true; } } }
for (AxiomWrapper q : atom.get().getModule()) {
for (AxiomWrapper q : atom.get().getModule()) {
for (AxiomWrapper q : atom.get().getModule()) { if (q != ax) { atom.get().addDepAtom(createAtom(q, atom.get()));