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