Bugs: Browse | Download .csv
Comparing Set and PSet, PSet is missing some functions: singleton union inter diff compare subset for_all partition elements min_elt max_elt choose split backwards
Date: 2010-02-16 20:15 Sender: Edgar Friendly many of these are added by commit 969338a2, but some are just unsafe to do because they need two sets based on the same function to do efficiently. If you want the last few, write them and we'll mark them in the docs as "Inefficient" somehow.