// Account.h

#ifndef Account_h
#define Account_h 1

#include "pretend_bool.h"

class Account {
  // ABSTRACTLY: some number of dollars
public:
  Account();
    // MODIFIES: self
    // POST: balance of self is zero
  Account(int cts); // another constructor
    // MODIFIES: self
    // POST: balance of self is cts/100
  void Deposit(int cts);
    // PRE: cts >= 0
    // MODIFIES: self
    // POST: the new balance is
    //  self<entry> + cts/100 dollars
  double Dollars() const;
    // POST: FCTVAL is approximately
    // the balance of self.
  bool operator ==(Account a2) const;
    // POST: FCTVAL is true iff
    // the balances of self and a2 are
    // exactly equal
#include "Account.pri"
};
#endif