Class NstOnclauseHost
Class NstOnclauseHost.
int type() const
char* class_type() const
char* class_name() const
void copy(const NstOnclauseHost& s)
NstOnclauseHost* clone() const
NstOnclauseHost& operator= (const NstOnclauseHost& s)
Alphabetic index HTML hierarchy of classes or Java