Class PARTLY-ANY-ORDER-PLAN

Subclass-Of: Partly-concurrent-plan

Axioms:

(=> (Partly-Any-Order-Plan ?Self)
    (Exists (?A)
            (And (Plan-Direct-Successor ?Self ?A)
                 (Sequential-Plan ?A))))

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