shop-planner / shop3

SHOP3 Git repository
https://shop-planner.github.io
144 stars 14 forks source link

Some tweaks to debugging.lisp, towards making more tracing work #164

Open ko56 opened 6 months ago

ko56 commented 6 months ago
  1. Behavior of master:

a) Global tracing of :methods, :tasks, :operators, :axioms works fine. b) (shop-trace (:method )) also works, but needs what in the manual is denoted [nm] or [n1], [n2] etc. This could be made clearer in the manual. (shop-trace (:operator )) results in an error. (shop-trace (:task )) works, causes a break. (shop-trace (:axiom )) doesn't do anything.

  1. Behavior of this branch/pull: now (shop-trace (:operator )) is accepted, but no tracing happens.

  2. I see that planning-engine/task-reductions.lisp has to be modified now to handle operators and axioms.