Machine Updating
Machine Updating
Investigations
Investigations
In[]:=
ResourceFunction["EnumerateWolframModelRules"][{{1,2}}->{{1,2}}]//Quiet
Out[]=
{{{1,1}}{{1,1}},{{1,1}}{{1,2}},{{1,1}}{{2,1}},{{1,2}}{{1,1}},{{1,2}}{{1,2}},{{1,2}}{{2,1}},{{1,2}}{{2,2}},{{1,2}}{{1,3}},{{1,2}}{{2,3}},{{1,2}}{{3,1}},{{1,2}}{{3,2}}}
In[]:=
ResourceFunction["TokenEventGraph"][{u_,v_}:>Join[Values[substitutionLemmasWM[u,PrepWMRule@v,"Identity"->True,"Uniquify"->True,"Canonicalize"->True]],Values[substitutionLemmasWM[v,PrepWMRule@u,"Identity"->True,"Uniquify"->True,"Canonicalize"->True]]],#,1,"TokenMultiplicity"->Automatic,"TokenLabeling"->True,"EventDeduplication"->True,"TokenRenderingFunction"->Map[ResourceFunction["WolframModelPlot"][#,ImageSize->32]&],GraphLayout->"LayeredDigraphEmbedding"]&/@(TwoWayRule@@@{{{1,1}}{{1,1}},{{1,1}}{{1,2}},{{1,1}}{{2,1}},{{1,2}}{{1,1}},{{1,2}}{{1,2}},{{1,2}}{{2,1}},{{1,2}}{{2,2}},{{1,2}}{{1,3}},{{1,2}}{{2,3}},{{1,2}}{{3,1}},{{1,2}}{{3,2}}})
Out[]=
,
,
,
,
,
,
,
,
,
,
In[]:=
VertexList
Out[]=
{{{1,2}}{{2,3}},{{1,2}}{{1,3}},{{1,2}}{{3,2}},{{1,2}}{{3,4}},{Event,1,1}}
In[]:=
ResourceFunction["TokenEventGraph"][{u_,v_}:>Join[Values[substitutionLemmasWM[u,PrepWMRule@v,"Identity"->True,"Uniquify"->True,"Canonicalize"->True]],Values[substitutionLemmasWM[v,PrepWMRule@u,"Identity"->True,"Uniquify"->True,"Canonicalize"->True]]],#,2,"TokenMultiplicity"->Automatic,"TokenLabeling"->True,"EventDeduplication"->True,"TokenRenderingFunction"->Map[ResourceFunction["WolframModelPlot"][#,ImageSize->32]&],GraphLayout->"LayeredDigraphEmbedding"]&/@(TwoWayRule@@@{{{1,1}}{{1,1}},{{1,1}}{{1,2}},{{1,1}}{{2,1}},{{1,2}}{{1,1}},{{1,2}}{{1,2}},{{1,2}}{{2,1}},{{1,2}}{{2,2}},{{1,2}}{{1,3}},{{1,2}}{{2,3}},{{1,2}}{{3,1}},{{1,2}}{{3,2}}})
Out[]=
,
,
,
,
,
,
,
,
,
,