 
 (defn- oplus
   ""
-  [object-count attribute-count incidence-matrix #^BitSet A i]
-  (let [#^BitSet A-short (.clone A)
-	#^BitSet B (BitSet.)
+  [object-count, attribute-count, incidence-matrix, #^BitSet A, i]
+  (let [#^BitSet A-short (.clone A),
+	#^BitSet B (BitSet.),
 	i (int i)]
     (.set A-short i true)
     (.set A-short (inc i) (int attribute-count) false)


(defn- next-closed-set
  ""
  [object-count attribute-count incidence-matrix #^BitSet A]
  (loop [i (dec (int attribute-count))]
    (cond
      (== -1 i)

	 (persistent! Bs))))


;; Close-by-One?, Nourine-Raynaud?, Bordat?, Lindig?, Berry? Some other fancy stuff?

nil
