 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;; Types, Protocols, Setup ;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(deftype ASPlan-Hierarchy 
-  [sas-problem])
 
 (defn goal-action [dtgs]
   (-> dtgs

   (cycle-level-           [s] nil))



(defn can-use-next? [hierarchy use-var use-val user-var user-val]
  (contains? (get-in (:possible-next-map hierarchy) [user-var user-val use-var]) use-val))


   (actions-fn    [] :no-actions-fn)
   (goal-fn       [] (env/goal-fn sas-problem))))

(defn make-asplan-flat-henv [sas-problem] 
  (let [dtgs (sas-analysis/domain-transition-graphs sas-problem)
        env  (make-asplan-env sas-problem dtgs)]
    (hierarchy/SimpleHierarchicalEnv 
     env
     [(make-flat-asplan-hla (make-asplan-flat-hierarchy sas-problem dtgs) 
                            (env/current-context (env/initial-state env)))])))

(defn asplan-solution-name [sol]
