Class NstOnclauseHost
Class NstOnclauseHost
int type()
const char* class_type()
const char* class_name()
void copy(const NstOnclauseHost& s)
NstOnclauseHost* clone()
NstOnclauseHost& operator= (const NstOnclauseHost& s)
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de