maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems
MIT License
219 stars 45 forks source link

NodeNamingFunction renames atoms instead of vertices #174

Closed maxitg closed 4 years ago

maxitg commented 4 years ago

Describe the bug "NodeNamingFunction" should rename vertices instead of atoms. I.e., the following

In[] := WolframModel[<|
  "PatternRules" -> {{a_}, {b_}} :> {{f[
       x]}}|>, {{10}, {11}}, "FinalState", 
 "NodeNamingFunction" -> All]
Out[] = {{f[3]}}

should instead produce {{3}}.

Version (please complete the following information):

daneelsan commented 4 years ago

Is this outdated? I don't see "NodeNamingFunction" anywhere in the code.

maxitg commented 4 years ago

Yes, the option is now called "VertexNamingFunction" and works correctly:

In[] := WolframModel[<|
  "PatternRules" -> {{a_}, {b_}} :> {{f[
       x]}}|>, {{10}, {11}}, "FinalState", 
 "VertexNamingFunction" -> All]
Out[] = {{3}}