public:
Pitch_interval ();
Pitch_interval (Pitch, Pitch);
- void add_point (Pitch);
+ Drul_array<bool> add_point (Pitch);
bool is_empty () const;
};
public:
Pitch_lexicographic_interval ();
Pitch_lexicographic_interval (Pitch, Pitch);
- void add_point (Pitch);
+ Drul_array<bool> add_point (Pitch);
bool is_empty () const;
};