zedlib Collections Library
Welcome to the zedlib Collections Library project page.
The aim of this project is to build a theoretically sound
collections library based on Mike Spivey's work on the
Z notation.
Features
- Function extends Relation extends Set. Hence a Function (equivalent to Sun's Map class/interface) is a type of Set.
- Bags and Sequences extend Function.
- Many set operations supported including
range and domain restriction, anti-restriction, relational composition and
override, and more.
- Set implements java.util.Set.
- All classes can be constructed from java.util collections and maps (where applicable).
Useful Links
- The Z Notation: a refrence manual
- zedlib API Reference (Javadoc)