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