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