+void
+Translator::post_move_processing ()
+{
+ start_translation_timestep ();
+}
void
Translator::removal_processing ()
}
+void
+Translator::pre_move_processing ()
+{
+ stop_translation_timestep ();
+}
+
+
+
Music_output_def *
Translator::output_def_l () const
{