+ /**
+ * Set the distance at which a point will be considered to be covered
+ * by the line. For the definition of "distance" see
+ * utils.cc:distance_to_segment_squared()
+ */
+ void set_covers_threshold (double);
+
+ private:
+ double _threshold;