// @(#)$Id: Quadrilateral.h,v 1.11 1997/07/28 19:27:12 leavens Exp $
#include "QuadShape.h"
#include "Shear.h"

class Quadrilateral : virtual public QuadShape {
public:
  Quadrilateral(Vector v1, Vector v2, Vector v3, Vector v4,
                Vector pos) throw();
  //@ behavior {
  //@   requires isLoop(\<v1,v2,v3,v4\>);
  //@   modifies edges, position;
  //@   ensures liberally edges' = \<v1,v2,v3,v4\> /\ position' = pos;
  //@ }

  virtual void ShearBy(const Shear& s) throw();
  //@ behavior {
  //@   requires assigned(s, pre);
  //@   modifies self;
  //@   ensures informally "self is sheared by s";
  //@ }
};

[Index]

HTML generated using lcpp2html.