Relation DIAGRAM-DIRECT-PREDECESSOR

The fc component X has a direct predecessor Y. Obviously it is not transitive.

Arity: 2

Domain: Flow-chart-component

Range: Flow-chart-component

Axioms:

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

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

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