Die Klasse verwaltet die Ableitungsausdrücke. Der Programmierer kommt mit dieser Klasse nicht in Kontakt, da sie für die eindeutige Darstellung der Objektnamen in C++ gebraucht wird.
class CBderiveExpression {
public:
CBderiveExpression(const char* s);
CBderiveExpression(CBterm* t);
CBderiveExpression(const char* par,
CBobjectName* subst, const char* spec);
CBderiveExpression(const CBderiveExpression& d);
~CBderiveExpression();
CBderiveExpression& operator=(const CBderiveExpression& d);
bool operator==(CBderiveExpression& d);
bool operator==(const char *s);
private:
char* parameter;
CBobjectName* substitution;
char* specialization;
// ...
};