+ // sets the supplied number of teeth, and calculates the radius
+ // of the gear, to achieve the required tooth pitch
+ void set_teeth(int nt, float tooth_pitch);
+
+ float get_rotation() const;
+
+ // returns the angle (in radians) from one tooth to the next
+ float get_angular_pitch() const;
+