* @param localP
   * @return Iterator
   */
  public static Iterator allPropositions(Module module, boolean localP) {
    { AllPurposeIterator self000 = AllPurposeIterator.newAllPurposeIterator();

      self000.iteratorObject = (localP ? List.list(Stella.NIL) : Cons.copyConsList(Module.visibleModules(module).rest).reverse().listify());
      self000.iteratorNestedIterator = Logic.locallyConceivedPropositions(module).allocateIterator();
      self000.iteratorNextCode = Native.find_java_method("edu.isi.powerloom.logic.Logic", "allPropositionsNextP", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.AllPurposeIterator")});
      { AllPurposeIterator value000 = self000;

        return (value000);
      }
    }
  }