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