Managed expression ID in evolution objects - Githubissues

maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems

MIT License

219 stars 44 forks source link

Managed expression ID in evolution objects #598

Closed maxitg closed 3 years ago

maxitg commented 3 years ago

Changes

WolframModelEvolutionObject version is changed 2 -> 3.
It now stores the managed expression ID in the evolution object.
TODO: Changes the documentation to use the new versions for the evolution objects.

Comments

This results in the evolution objects using more memory as the Set instances in libSetReplace are no longer immediately deallocated.
However, it enables developing features which require interaction between the C++ and the WL code such as #436.
It allows for the properties to be implemented in C++, which is especially useful for #443 which requires low-level GPU implementation.

Examples

Check the new values in the evolution objects:

In[] := KeyTake[WolframModel[{{1, 2}} -> {{1, 3}, {1, 3}, {3, 2}}, {{1, 1}}, 4][[1]],
                {"Version", "LibSetReplaceSet"}]
Out[] = <|"Version" -> 3, "LibSetReplaceSet" -> LibSetReplaceSet[1]|>

This change is

maxitg commented 3 years ago

Closing this in favor of the future design from Project Yellowstone.