General RelationsPlot property

[maxitg]

The problem

There are many different graph types that can be constructed for Wolfram models. Each of them has its own separate property, which at some point will be hard to keep track of.

Instead, we can have a single super-property, which would be able to plot any graph|hypergraph simply by specifying some of its parameters.

Possible solution

The parameters we need are:

• Vertex type (atom, expression, event, etc.)
• Edge type (atom, expression, event, separation, causal future/past, etc.)
• Selection function (which vertices/edges to select, i.e., final state, all evolution, etc.)

It will then generate the correct type of graph automatically, correctly colored, etc.

For example, "FinalStatePlot" would have:

• Atoms as vertices
• Expressions as edges
• Last state as selection function.

"CausalGraph" would have:

• Events as vertices
• Expressions as edges
• All evolution as selection function.