class NstOpNot : public NstOp

Class NstOpNot

Inheritance:

Public Methods

const char* class_name()

Returns the string NstOpNot.

const char* class_type()

Returns the string NST_OP_NOT.

NstOpNot* clone()

Recursive cloning.

void copy(const NstOpNot& s)

Recursive copy of s.

NstOpNot()

Creates an empty object.

NstOpNot& operator= (const NstOpNot& s)

Same as copy.

int type()

The type is NST_OP_NOT.

Inherited from NstOp:

Public Methods

int base_type()

NstTree* create_default()

virtual int priority()

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()

NstOpNot()

Creates an empty object.

int type()

The type is NST_OP_NOT.

const char* class_type()

Returns the string NST_OP_NOT.

const char* class_name()

Returns the string NstOpNot.

void copy(const NstOpNot& s)

Recursive copy of s.

NstOpNot* clone()

Recursive cloning.

NstOpNot& operator= (const NstOpNot& s)

Same as copy.

This class has no child classes.

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