deba [Fri, 20 Apr 2007 14:49:21 +0000] rev 2429
 
Renaming topology doxygen group
deba [Fri, 20 Apr 2007 14:47:19 +0000] rev 2428
 
Doc change
deba [Fri, 20 Apr 2007 14:06:08 +0000] rev 2427
 
Clear for unionfinds
deba [Thu, 19 Apr 2007 15:14:34 +0000] rev 2426
 
Allowing 'string' type quoting
deba [Thu, 19 Apr 2007 15:12:59 +0000] rev 2425
 
Helper classs for checking existence of a nested class
deba [Thu, 19 Apr 2007 15:11:58 +0000] rev 2424
 
Redesigned Kruskal algorithm
The interface of function type implementation is not changed
Additional class type implementation
deba [Thu, 19 Apr 2007 15:09:08 +0000] rev 2423
 
Corrections on StoreBoolMap
 - *insert_iterator has void value_type
 - use const setting
deba [Thu, 19 Apr 2007 15:07:03 +0000] rev 2422
 
Doc fix
deba [Wed, 18 Apr 2007 16:35:04 +0000] rev 2421
 
Small changes
deba [Wed, 18 Apr 2007 16:34:40 +0000] rev 2420
 
Demo program for SAT problems