< Hash-set AutoProof Code Repository Linked queue >

Iterator

Category: Design Pattern

Source: SAVCBS'06 / SC'14

Description

Collection (arrayed list) that owns an array of data. Iterators can be created over the collection, their validity (being in bounds) depends on the collection not being modified.

download source

Code