This package contains the necessary structures to handle the dynamic function sets in the static analysis of the ASMs. The goal is to simplify the verification of the consistency and of the joinable operator. We use it also for access properties.

The implementation uses the well-know flyweight pattern.