// @(#)$Id: Square.h,v 1.10 1998/10/05 23:38:03 leavens Exp $

#include "Rhombus.h"
#include "Rectangle.h"

class Square : public Rhombus, public Rectangle {
public:

  Square(Vector v1, Vector pos) throw();
  //@ behavior {
  //@   uses IsaSquare;
  //@   modifies edges, position;
  //@   ensures liberally edges'[1] = v1 /\ position' = pos;
  //@   ensures redundantly liberally isaSquare(edges');
  //@ }
};

[Index]

HTML generated using lcpp2html.