From 7d7ebf296d3a2d9e043e85f601f887cdd7708d06 Mon Sep 17 00:00:00 2001
From: fred <fred>
Date: Wed, 18 Dec 1996 01:00:54 +0000
Subject: [PATCH] flower-1.0.15

---
 flower/interval.hh | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/flower/interval.hh b/flower/interval.hh
index 6f9fa63f67..a7a269153b 100644
--- a/flower/interval.hh
+++ b/flower/interval.hh
@@ -48,13 +48,23 @@ struct Interval {
 	max +=r;
 	return *this;
     }
-
+    bool elt_q(Real r);
     operator String() const;
-};
 
+    /// partial ordering
+    static compare(const Interval&,Interval const&);
+};
+/**
+  this represents the closed interval [min,max]
+  */
 
 Interval intersection(Interval, Interval const&);
 
+#include "compare.hh"
+
+instantiate_compare(Interval&, Interval::compare);
+
 #endif // INTERVAL_HH
 
 
+
-- 
2.39.5