Class COMPLEX-PLAN

Subclass-Of: Generic-plan

Subclass-Partition: {Sequential-plan, Cyclical-plan}

Axioms:

(<=> (Complex-Plan ?Self)
     (And (Generic-Plan ?Self)
          (Minimum-Slot-Cardinality ?Self Part 2)))

• Defined in theory: Planning
• Source code: Planning.lisp