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