class NstOntopology : public NstTree

Class NstOntopology

Inheritance:

Public Methods

int base_type()

Gives the base type of the object.

const char* class_name()

Returns the string NstOntopology.

const char* class_type()

Returns the string NST_ONTOPOLOGY.

NstOntopology* clone()

Recursive cloning.

void copy(const NstOntopology& s)

Recursive copy of s.

NstTree* create_default()

Creates a default object of the base type.

NstOntopology()

Creates an empty object.

NstOntopology& operator= (const NstOntopology& s)

Same as copy.

int type()

The type is NST_ONTOPOLOGY.

Inherited from NstTree:

Public Fields

unsigned long tree_id

NstUserInfo user_info

Public Methods

virtual NstTree* cut()

NstTree* cut_buffer()

virtual void error(const char* st)

list <NstTree*> fathers()

NstTree* in()

virtual NstTree* init()

virtual NstTree* init(NstTrees::iterator &it)

virtual NstTree* next()

virtual NstTree* next(NstTrees::iterator &it)

friend ostream& operator << (ostream& s, const NstTree& t)

virtual void replace(NstTree& n)

virtual NstDefinition* search(const NstIdentifier& i, int tp = -1)

void traversal(int (*action)(NstTree*, void*), void* extra = NULL)

NstTree* upsearch(int (*comptest)(NstTree*, void*), void* extra = NULL)

virtual void warning(const char* st)

string whoami()

NstOntopology()

Creates an empty object.

int type()

The type is NST_ONTOPOLOGY.

const char* class_type()

Returns the string NST_ONTOPOLOGY.

const char* class_name()

Returns the string NstOntopology.

int base_type()

Gives the base type of the object.

NstTree* create_default()

Creates a default object of the base type.

void copy(const NstOntopology& s)

Recursive copy of s.

NstOntopology* clone()

Recursive cloning.

NstOntopology& operator= (const NstOntopology& s)

Same as copy.

Direct child classes:

NstOntopologyVar
NstOntopologyHost
NstOntopologyAll

alphabetic index hierarchy of classes

this page has been generated automatically by doc++

(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de