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