Search results
From Event-B
Jump to navigationJump to searchCreate the page "Collections" on this wiki! See also the search results found.
- #REDIRECT [[User:Pascal/Collections/Deploy Deliverable D23]]60 bytes (7 words) - 12:45, 26 November 2010
- ...that this has the limitation that it is not possible to have two different collections which contain the same kind of element) ...by subclassing their elements and, for example, adding new attributes and collections to this subclass. However, this does not work retrospectively for previousl7 KB (1,094 words) - 10:50, 22 January 2010
- ...ty for using '''Intrinsic IDs''' instead of the default method of indexing collections. As a result of this, proxies are constructed from the URI of the containin ...ent'' contains a refines relationships with other events. It also contains collections of parameters, guards, witnesses, and actions. The enumerated type, ''Conve26 KB (3,961 words) - 13:04, 19 May 2020