// $Id$

// Name: Gary T. Leavens
// Section: all

#ifndef ratrep2_h
#define ratrep2_h

class ratrep2 {

protected:
  int den;
  int num;
  //@ invariant d != 0;

public:
  ratrep2(int given_n, int given_d);

  virtual int numer();
  virtual int denom();
};
#endif