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

class Rhombus : virtual public ParallelShape {
public:
  //@ uses IsaRhombus;
  //@ invariant isaRhombus(edges\any);

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

[Index]

HTML generated using lcpp2html.