< Dutch flag AutoProof Code Repository Iterator >

Hash-set

Category: Data Structure

Description

A hash set contains mutable hashed elements. The integrity is guaranteed by using a lock.

download source

Code