$SetReplaceTypeGraph gives the Graph showing
types and properties defined in SetReplace
(including internal ones) and possible computation paths between them:
In[] := $SetReplaceTypeGraph![Out[] = Graph[...
AtomicStateSystem v0 -> MultisetSubstitutionSystem v0,
MultisetSubstitutionSystem v0 -> WolframModelEvolutionObject v2
...]](/maxitg/SetReplace/blob/87a92210f27ee7957b64f479e694711e84da8f06/Documentation/Images/$SetReplaceTypeGraph.png)
It is a Graph representation of a directed hypergraph with
types and properties as vertices and implementations of translations and properties as edges.
Vertex heads are either SetReplaceType, SetReplaceProperty or
SetReplaceMethodImplementation.