class NstOnclauseVar : public NstOnclause

Class NstOnclauseVar

Inheritance:

Public Methods

const char* class_name()

Returns the string NstOnclauseVar.

const char* class_type()

Returns the string NST_ONCLAUSE_VAR.

NstOnclauseVar* clone()

Recursive cloning.

void copy(const NstOnclauseVar& s)

Recursive copy of s.

NstOnclauseVar(const NstOnclauseVar& o)

Recursive copy constructor

NstOnclauseVar(const NstVariable& nhv)

Creates a new NstOnclauseVar

NstOnclauseVar& operator= (const NstOnclauseVar& s)

Same as copy.

int type()

The type is NST_ONCLAUSE_VAR.

NstVariable* variable(const NstVariable& n)

Replaces the variable (Attribute 0).

NstVariable* variable()

Returns the variable (Attribute 0).

~NstOnclauseVar()

Recursive destructor.

Inherited from NstOnclause:

Public Methods

int base_type()

NstTree* create_default()

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

NstOnclauseVar(const NstVariable& nhv)

Creates a new NstOnclauseVar

Parameters:

nhv - variable

~NstOnclauseVar()

Recursive destructor.

NstOnclauseVar(const NstOnclauseVar& o)

Recursive copy constructor. Creates a new object that is a recursive copy of the parameter.

Parameters:

o - object to copy.

int type()

The type is NST_ONCLAUSE_VAR.

const char* class_type()

Returns the string NST_ONCLAUSE_VAR.

const char* class_name()

Returns the string NstOnclauseVar.

void copy(const NstOnclauseVar& s)

Recursive copy of s.

NstOnclauseVar* clone()

Recursive cloning.

NstOnclauseVar& operator= (const NstOnclauseVar& s)

Same as copy.

NstVariable* variable()

Returns the variable (Attribute 0).

NstVariable* variable(const NstVariable& n)

Replaces the variable (Attribute 0).

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