| Class | Description |
|---|---|
| CanonicalWatched |
A
CanonicalWatched, i.e., a canonical watched,
is an object that is canonical,
i.e., such that no two equal elements can be instantiated. |
| ObjectWithParents<PC extends ObjectWithParents> |
A
ObjectWithParents, i.e., an object-with-parents,
is an object that is (possibly partially) defined as
a list of objects of the same type. |