Defining a Class AddProp

private: OZ_Term _x, _y, _z;

public:

AddProp(OZ_Term a,OZ_Term b,OZ_Term c)

: _x(a), _y(b), _z(c) {}

virtual OZ_Return propagate(void);

virtual size_t sizeOf(void);

virtual void updateHeapRefs(OZ_Boolean);

virtual OZ_Term getParameters(void);

};