// @(#)$Id: Parallelogram.h,v 1.10 1997/07/28 19:27:12 leavens Exp $
#include "Quadrilateral.h"
#include "ParallelShape.h"

class Parallelogram : public Quadrilateral, public ParallelShape {
public:

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

[Index]

HTML generated using lcpp2html.