Class NstDefinitionExternal
Class NstDefinitionExternal
~NstDefinitionExternal()
NstDefinitionExternal(const NstDefinitionExternal& o)
int type()
const char* class_type()
const char* class_name()
NstDefinitionList symbols
int kind
void copy(const NstDefinitionExternal& s)
NstDefinitionExternal* clone()
NstDefinitionExternal& operator= (const NstDefinitionExternal& s)
NstDefinition* search(const NstIdentifier& i, int tp = -1)
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de