|
154 | 154 | (:GraphIsTree, "a *tree*", [], ug), |
155 | 155 | (:GraphIsPseudoforest, "a *pseudoforest*", [], ug), |
156 | 156 | (:GraphisPseudotree, "a *pseudotree*", [], ug), |
157 | | - (:GraphIsPolyforest, "a *polyforest*", ["a *directed forest*", "an *oriented forest*"], dg), |
158 | | - (:GraphIsPolytree, "a *polytree*", ["a *directed tree*", "an *oriented tree*"], dg), |
| 157 | + (:DigraphIsPolyforest, "a *polyforest*", ["a *directed forest*", "an *oriented forest*"], dg), |
| 158 | + (:DigraphIsPolytree, "a *polytree*", ["a *directed tree*", "an *oriented tree*"], dg), |
159 | 159 | (:DigraphIsOutTree, "an *out-tree*", ["an *arborescence*", "a *directed rooted tree*"], dg), |
160 | 160 | (:DigraphIsInTree, "an *in-tree*", ["an *anti-arborescence*"], dg), |
161 | 161 | (:DigraphIsOutForest, "an *out-forest*", ["a *branching*"], dg), |
|
0 commit comments