/** * Add all the non-local axioms from given axiom-set AxSet. * * @param axSet axiom set * @param noCheck check or not */ void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { addNonLocal(q, noCheck); } } }
/** * Add all the non-local axioms from given axiom-set AxSet. * * @param axSet axiom set * @param noCheck check or not */ void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { addNonLocal(q, noCheck); } } }
/** * add all the non-local axioms from given axiom-set AxSet * * @param axSet collection of axioms * @param noCheck true if locality check is not to be performed */ private void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { this.addNonLocal(q, noCheck); } } }
/** * add all the non-local axioms from given axiom-set AxSet * * @param axSet collection of axioms * @param noCheck true if locality check is not to be performed */ private void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { this.addNonLocal(q, noCheck); } } }
/** * add all the non-local axioms from given axiom-set AxSet * * @param axSet collection of axioms * @param noCheck true if locality check is not to be performed */ private void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { this.addNonLocal(q, noCheck); } } }
/** * Add all the non-local axioms from given axiom-set AxSet. * * @param axSet axiom set * @param noCheck check or not */ void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { addNonLocal(q, noCheck); } } }
/** * Add all the non-local axioms from given axiom-set AxSet. * * @param axSet axiom set * @param noCheck check or not */ void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { addNonLocal(q, noCheck); } } }
/** * add all the non-local axioms from given axiom-set AxSet * * @param axSet collection of axioms * @param noCheck true if locality check is not to be performed */ private void addNonLocal(Collection<AxiomWrapper> axSet, boolean noCheck) { for (AxiomWrapper q : axSet) { if (!q.isInModule() && q.isInSearchSpace()) { this.addNonLocal(q, noCheck); } } }