Add shop3/hddl system.

Translate SHOP plans into HDDL plans in IPC format.  Translate HDDL
problems into SHOP problems.

shop3/hddl/hddl-plan.lisp

@@ -1,16 +1,18 @@
 (in-package :hddl-translator)
 
 (defun hddl-plan (plan tree)
+  "Take a SHOP PLAN and TREE (really a forest) as input and produce an
+HDDL plan encoded as an s-expression."
   (multiple-value-bind (indexed-plan task-indices)
       (index-shop-plan (shop:remove-costs plan))
     (let ((next-index (1+ (caar (last indexed-plan))))
           (root-tasks (forest-roots tree))
           roots decompositions)
       (setf roots
-       (iter (for root in root-tasks)
-         (setf (gethash root task-indices) next-index)
-         (collecting next-index)
-         (incf next-index)))
+            (iter (for root in root-tasks)
+              (setf (gethash root task-indices) next-index)
+              (collecting next-index)
+              (incf next-index)))
 
       `(:hddl-plan
         :actions ,indexed-plan

shop3/hddl/package.lisp

@@ -1,4 +1,6 @@
 (in-package :common-lisp-user)
 
 (defpackage hddl-translator
+  (:nicknames #:shop-hddl #:hddl-shop)
+  (:export #:hddl-plan)
   (:use :common-lisp :alexandria :iterate))

shop3/shop3.asd

@@ -112,7 +112,7 @@
        (:module "looping-tasks"
                 :serial t
                 :components ((:file "loop-extensions")))
-       
+
 
        ;; this is for the original SHOP3 plan trees.
        (:module tree
@@ -193,7 +193,13 @@ minimal affected subtree."
                (:file "graph-plan-tree"))
   )
 
-
+(defsystem "shop3/hddl"
+    :depends-on ("shop3" "hddl-utils")
+  :pathname "hddl/"
+  :serial t
+  :components ((:file "package")
+               (:file "hddl-plan" :depends-on ("package"))
+               (:file "hddl-problem" :depends-on ("package"))))
 
 
 ;;;---------------------------------------------------------------------------
@@ -271,7 +277,7 @@ shop3."
     :components ((:module "shop-test-helper"
                           :pathname "tests/"
                           :components ((:file "common")))
-                          
+
                  (:file "silent-shop-test")
                  (:file "theorem-prover-tests"
                         :pathname "tests/theorem-prover-tests")
@@ -306,7 +312,7 @@ shop3."
                                (:file "plan-tree-tests"))
                   )
                  ;;; FIXME: put these tests in a separate package, instead of in SHOP3-USER [2012/09/05:rpg]
-                 (:module "shop-umt" 
+                 (:module "shop-umt"
                           :pathname "examples/UMT2/"
                           :components ((:file "UMT2")
                                        (:file "pfile1")