class  NstInstructionExit : public NstInstruction 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