From e8fd6aea7cd836709496a14afb37b944ece9283a Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Sat, 27 Jul 2019 12:38:18 +0100 Subject: [PATCH] doc/concepts.tex: Fix directed-graph terminology. Vertex/edge are for undirected graphs; node/arc are for directed ones. --- doc/concepts.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/concepts.tex b/doc/concepts.tex index b452f3c..528a551 100644 --- a/doc/concepts.tex +++ b/doc/concepts.tex @@ -123,10 +123,10 @@ If an object is a direct instance of class~$C$ then the object is also an (indirect) instance of every superclass of $C$. If $C$ has a proper superclass $B$, then $B$ must not have $C$ as a direct -superclass. In different terms, if we construct a graph, whose vertices are -classes, and draw an edge from each class to each of its direct superclasses, -then this graph must be acyclic. In yet other terms, the `is a superclass -of' relation is a partial order on classes. +superclass. In different terms, if we construct a directed graph, whose +nodes are classes, and draw an arc from each class to each of its direct +superclasses, then this graph must be acyclic. In yet other terms, the `is a +superclass of' relation is a partial order on classes. \subsubsection{The class precedence list} This partial order is not quite sufficient for our purposes. For each class -- 2.11.0