a fraction denominator must not ever become 0. you can enforce this invariant through: class fraction { . . . public: fraction(int, int); fraction get() const; fraction set(int, int); };
What is thesemantic errorin this class definition?