In[]:=
Graph[Rule@@@#,GraphLayout"SpringElectricalEmbedding"]&/@WolframModel[{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},5,"UpdatedStatesList"]
Out[]=
In[]:=
WolframModel[{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},3,"UpdatedStatesList"]
Out[]=
In[]:=
WolframModel[{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},3,"AllExpressions"]
Out[]=
In[]:=
WolframModel[{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},3,"CreatorEvents"]
Out[]=
{0,0,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,6,6,6,6}
In[]:=
WolframModel[{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},3,"EventGenerations"]
Out[]=
{1,2,2,3,3,3}
In[]:=
HighlightUpdates[wm_]:=TakeList[MapThread[HypergraphPlot[#,GraphHighlight#2]&,{wm["UpdatedStatesList"],Prepend[HighlightedEdges[wm],{}]}],Prepend[Length/@Split[wm["EventGenerations"]],1]]
In[]:=
HighlightedEdges[wmeo_]:=wmeo["AllExpressions"][[First/@Position[wmeo["CreatorEvents"],#]]]&/@Range[wmeo["EventsCount"]]
In[]:=
wm=WolframModel[{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},5]
Out[]=
In[]:=
HighlightUpdates[wm]
Out[]=
In[]:=
HypergraphPlot/@wm["StatesList"]
Out[]=
In[]:=
wm["UpdatedStatesList"]
Out[]=
HypergraphPlot[#,
Position[
In[]:=
HighlightUpdates[WolframModel[{{x,y}}{{x,y},{y,z}},{{0,0},{0,0}},4]]
Out[]=