X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Finclude%2Fpitch-interval.hh;h=dd6b085c2073ece74262cc0834f6d0e30e42b08b;hb=47db9a3883d726ca53e2133a3b2298f78dd6a32e;hp=0b621c3c5cd6b40272b0845e2ffd349dea5c056d;hpb=e24df7c27635dc996c466295eacf2981bddccaf7;p=lilypond.git

diff --git a/lily/include/pitch-interval.hh b/lily/include/pitch-interval.hh
index 0b621c3c5c..dd6b085c20 100644
--- a/lily/include/pitch-interval.hh
+++ b/lily/include/pitch-interval.hh
@@ -1,10 +1,20 @@
-/* 
-  pitch-interval.hh -- declare Pitch_interval
-  
-  source file of the GNU LilyPond music typesetter
-  
-  (c) 2004--2005 Han-Wen Nienhuys <hanwen@xs4all.nl>
-  
+/*
+  This file is part of LilyPond, the GNU music typesetter.
+
+  Copyright (C) 2004--2015 Han-Wen Nienhuys <hanwen@xs4all.nl>
+
+  LilyPond is free software: you can redistribute it and/or modify
+  it under the terms of the GNU General Public License as published by
+  the Free Software Foundation, either version 3 of the License, or
+  (at your option) any later version.
+
+  LilyPond is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 #ifndef PITCH_INTERVAL_HH
@@ -12,12 +22,21 @@
 
 #include "pitch.hh"
 
-class Pitch_interval : public Drul_array<Pitch> 
+class Pitch_interval : public Drul_array<Pitch>
+{
+public:
+  Pitch_interval ();
+  Pitch_interval (Pitch, Pitch);
+  Drul_array<bool> add_point (Pitch);
+  bool is_empty () const;
+};
+
+class Pitch_lexicographic_interval : public Drul_array<Pitch>
 {
 public:
-  Pitch_interval();
-  Pitch_interval(Pitch, Pitch);
-  void add_point (Pitch);
+  Pitch_lexicographic_interval ();
+  Pitch_lexicographic_interval (Pitch, Pitch);
+  Drul_array<bool> add_point (Pitch);
   bool is_empty () const;
 };