// @(#)$Id: Rectangle.h,v 1.10 1997/07/28 19:27:13 leavens Exp $

#include "ParallelShape.h"

class Rectangle : virtual public ParallelShape {
public:
  //@ uses IsaRectangle;
  //@ invariant isaRectangle(edges\any);

  Rectangle(Vector v1, Vector v2, Vector pos) throw();
  //@ behavior {
  //@   requires v1 \cdot v2 = 0:Vector;
  //@   modifies edges, position;
  //@   ensures liberally edges' = \<v1,v2,-v1,-v2\>
  //@                     /\ position' = pos;
  //@ }
};

[Index]

HTML generated using lcpp2html.