Relation
DIAGRAM-DIRECT-SUCCESSOR
The fc component X has a direct successor Y. Obviously it is not transitive.
Arity
:
2
Domain
:
Flow-chart-component
Range
:
Flow-chart-component
Subrelation-Of
:
Diagram-successor
Defined in theory:
Diagrams
Source code:
Diagrams.lisp