Logo Search packages:      
Sourcecode: maude version File versions  Download package

Public Member Functions | Static Public Member Functions | Protected Member Functions | Private Member Functions | Private Attributes

Substitution Class Reference

Inheritance diagram for Substitution:
Inheritance graph
Collaboration diagram for Substitution:
Collaboration graph

List of all members.

Public Member Functions

void bind (int index, DagNode *value)
void clear (long size)
void clone (const Substitution &original)
void copy (const Substitution &original)
void finished ()
int nrFragileBindings () const
LocalBindingoperator- (const Substitution &original) const
 Substitution (int size)
 Substitution (int size, int cSize)
DagNodevalue (int index) const

Static Public Member Functions

static void notify (int size)

Protected Member Functions

int addNewVariable ()

Private Member Functions

 NO_COPYING (Substitution)

Private Attributes

int copySize
Vector< DagNode * > values

Detailed Description

Definition at line 41 of file substitution.hh.

The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index