Alpar Juttner <alpar@cs.elte.hu> [Tue, 15 Jul 2008 18:49:30 +0100] rev 221
Merge
Balazs Dezso <deba@inf.elte.hu> [Tue, 15 Jul 2008 13:15:39 +0200] rev 220
Reorganize header files (Ticket #97)
In addition on some places the DefaultMap<G, K, V> is replaced with
ItemSetTraits<G, K>::template Map<V>::Type, to decrease the dependencies
of different tools. It is obviously better solution.