- Music *event_;
- Music *last_event_;
- std::vector<Audio_element_info> now_heads_;
- std::vector<Audio_element_info> heads_to_tie_;
+ Stream_event *event_;
+ vector<Audio_element_info> now_heads_;
+ vector<Audio_element_info> now_tied_heads_;
+ vector<Audio_element_info> heads_to_tie_;
void stop_translation_timestep ();
void start_translation_timestep ();
virtual void acknowledge_audio_element (Audio_element_info);
void stop_translation_timestep ();
void start_translation_timestep ();
virtual void acknowledge_audio_element (Audio_element_info);
if (right_mus && left_mus
&& ly_is_equal (right_mus->get_property ("pitch"),
if (right_mus && left_mus
&& ly_is_equal (right_mus->get_property ("pitch"),
ADD_TRANSLATOR (Tie_performer,
/* doc */ "Generate ties between noteheads of equal pitch.",
/* create */ "",
ADD_TRANSLATOR (Tie_performer,
/* doc */ "Generate ties between noteheads of equal pitch.",
/* create */ "",