Overloading Semantics
General rules
- Overloading involves the subtitution of a object and references to that object
- All objects are overloadable
- An object can't be overloaded by more than one object
- An object can overload more than one object (in effect merging objects)
- Objects may only overload objects of the same type (or ports that represent objects of the same type)
- Cyclic links are not allowed
- Issues
- What is overloading? it consists of deletion of the 'to' object and substituting all references of the 'to' with references to the 'from' object.
Species
flattened species has union of the species references incident to all the relevant species
Reactions
flattened reaction has only the species references incident to the overloading reaction
-- Andrew Finney, 10 Sep 2007


