This class should not be used while g++ exception handler does not support inheritance
This class should not be used while g++ exception handler does not support inheritance
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de