Thanks Marcus!


2013/5/16 Marcus Denker <marcus.denker@inria.fr>

On May 15, 2013, at 9:43 PM, Sebastian Tleye <stleye@gmail.com> wrote:

> Thanks Igor, i think you are right.
> I am not sure what "isObsolete" does, but for Ring classes, which are created dinamically, it doesn't seem that "isObsolete" is useful. (at least is my intuition)
>

Obsolete classes happen if you delete a class, yet there are still instances. This is needed as classes do not model history.
But
� � � � a) Ring classes are not directly instantiated (they are not referenced from the header of the instances)
� � � � b) They even are able to model history very nicely

So the obsolete concept makes no sense� an obsolete class might even have a (Historical) Ring class associated with it
and Ring would have no problem at all.

� � � � Marcus