Class STATE-TRANSITION-DIAGRAM

Subclass-Of: Diagram

Axioms:

(=> (State-Transition-Diagram ?Self)
    (Exists (?A)
            (And (Strictly-Depends-On ?Self ?A) (Graph-Theory ?A))))

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