src/work/johanna/contract_wrapper.h
Sat, 24 Apr 2004 16:03:25 +0000 New union-find structure with enumerable classes.