The basis of SetReplace is the type system used for Multihistory
objects describing evolutions of various computational systems.
Multihistory objects can be created with functions such as
GenerateMultihistory.
These functions take various computational systems such as
MultisetSubstitutionSystem as an argument.
We will also have properties implemented for some of these objects, e.g.,
TokenEventGraph. These properties can transparently convert objects to the type
required to evaluate them.
Most of the time, it is sufficient to rely on these automatic conversions. However, sometimes it might be useful to
convert an object to a different type manually for persistence or optimization, in which case one can use the
SetReplaceTypeConvert function.
SetReplaceObjectQ can be used to find out if an expression is a SetReplace object, and
SetReplaceObjectType can be used to determine its type.
- Enumeration:
$SetReplaceTypes$SetReplaceProperties$SetReplaceTypeGraph— a graph showing translations/property implementation paths- Vertex heads:
SetReplaceType,SetReplaceProperty,SetReplaceMethodImplementation
- Vertex heads:
- Introspection:
- Conversion:
SetReplaceTypeConvert— change an object from one type to another