Relation DIAGRAM-PREDECESSOR

To be understood as 'diagram element x has predecessor y'. This is transitive.

Arity: 2

Domain: Flow-chart-component

Range: Flow-chart-component

Axioms:

(= (Inverse Diagram-Successor) Diagram-Predecessor)

(<=> (Diagram-Predecessor ?A ?B)
     (And (Flow-Chart-Component ?A) (Flow-Chart-Component ?B)))

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