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