what kind of pre- and postconditions are you refering to? do you have anything specific in mind? or is there a library which does this in a very good way?
and that the implementaion checks these with assertions e.g. for increase()/decrease() (didn't look at the source).
... this is a good point ... i should probably add some sanity checks
I couln't find a precondition in the docs for eg. increase().
the concept->mutability is describing this API in detail, but i will try to improve the documentation in the class reference ...
Please also specify clearly what the requirements are for T on which the containers are templated. Is the implementation maximally generic in this area?
i do not really see any restriction on the held type ...
? surely it must support a linear ordering? operator<?
well, i meant, i do not see any non-trivial restriction on the held type ;) of course it must support a total order cheers, tim