 
 
 
-(declare make-fs-seq-stub make-atomic-stub)
+(declare make-fs-seq-stub get-atomic-stub)
 
 (defn- make-atomic-subproblem [stub function-set subsuming-sp out-set reward status]
   (let [inp-set  (input-set stub)
-        ri-fn    (fn [s ri] (make-atomic-stub s ri function-set))]
+        ri-fn    (fn [s ri] (get-atomic-stub s ri function-set))]
     (cond (not (= status :live))
           (make-simple-subproblem
            stub subsuming-sp out-set true

#_ (def  ^{:private true} cache-trait summaries/uncached-summarizer-node)
  (def ^{:private true} cache-trait summaries/eager-cached-summarizer-node)
#_ (def ^{:private true} cache-trait summaries/less-eager-cached-summarizer-node)
#_ (def ^{:private true} cache-trait summaries/lazy-cached-summarizer-node)
#_ (def ^{:private true} cache-trait summaries/pseudo-cached-summarizer-node)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;       Utilities      ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (connect-subsuming! ret subsuming-sp)
    ret))

;; TODO: do something more with subsuming?
(defn- get-atomic-stub [subsuming-sp inp-set function-set]
  (let [name [:Atomic (fs/fs-name function-set) inp-set]]
   (if *decompose-cache*
     (util/cache-with ^HashMap *decompose-cache* name
       (make-atomic-stub name subsuming-sp inp-set function-set))
     (make-atomic-stub name subsuming-sp inp-set function-set))))



