&&
Constraint ConstraintCompanion
+
AdjacencyListGraph GraphLike
+#
AdjacencyListGraph
++
GraphLike
++=
GraphLike
+=
PreCheckResults
-
AdjacencyListGraph
-!#
AdjacencyListGraph
-#
AdjacencyListGraph
--
GraphLike
--=
GraphLike
-?
AdjacencyListGraph
||
Constraint ConstraintCompanion