// File: integer.h
//
// Derive Integer from Ordered


#ifndef _integer_h
#define _integer_h

#include "ordered.h"

class Integer : public Ordered {

public:

   Integer(int a=0) ;

   virtual ~Integer() ;
   virtual Ordered *clone() ;
   virtual int cmp(Ordered *) ;

   virtual void print() {
      cout << setw(12) << n ;
   }

   virtual int *id() { return &idvar ; }
   static int idvar ;

   int n ;
} ;


#endif