Skip to content

Commit

Permalink
Fix errors from rebasing.
Browse files Browse the repository at this point in the history
  • Loading branch information
rpgoldman committed Oct 19, 2023
1 parent a8e94a7 commit f83dc52
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 2 deletions.
1 change: 1 addition & 0 deletions shop3/decls.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@
(defvar *operator-tasks*) ; record of the task atom for operators
(declaim (type hash-table *operator-tasks* *task-operator*))
(defvar *task-operator*) ; inverse of *operator-tasks*
(defvar *reduction-labels*) ; support recording method labels in plan tree
(defparameter *optimize-cost* nil) ; whether to optimize with branch and bound
(defparameter *optimal-plan* 'fail) ; optimal plan found so far
(defparameter *optimal-cost* 0) ; cost of *optimal-plan*
Expand Down
4 changes: 2 additions & 2 deletions shop3/planning-tree/tree-reductions.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -70,11 +70,11 @@
(let ((all-subtasks (extract-subtasks reduction)))
(iter (for subtask in all-subtasks)
(setf (gethash subtask *subtask-parents*)
task1)))
task1))
(when method-label
(alexandria:nconcf *reduction-labels*
(mapcar #'(lambda (subtask) (cons subtask method-label))
all-subtasks))))
all-subtasks)))))

(defun extract-subtasks (reduction)
(cond
Expand Down
1 change: 1 addition & 0 deletions shop3/shop3.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -168,6 +168,7 @@ MPL/GPL/LGPL triple license. For details, see the software source file.")
;; [mpelican:20090226.1825CST] obsolete, please use state-type arg or default-state-type slot in domain class
(*state-encoding* :obsolete-state-encoding-variable)
(*plan-tree* plan-tree)
(*reduction-labels* nil)
(*collect-state* (or collect-state plan-tree))
(*subtask-parents* (make-subtask-parents-table))
(*operator-tasks* (make-operator-task-table))
Expand Down

0 comments on commit f83dc52

Please sign in to comment.