+void
+show_settings ()
+{
+ LOGOUT (VERBOSE_ver) << "\n";
+ LOGOUT (VERBOSE_ver) << _f ("no_double_dots: %d\n",
+ Duration_convert::no_double_dots_b_s);
+ LOGOUT (VERBOSE_ver) << _f ("no_rests: %d\n",
+ no_rests_b_g);
+ LOGOUT (VERBOSE_ver) << _f ("no_quantify_b_s: %d\n",
+ Duration_convert::no_quantify_b_s);
+ LOGOUT (VERBOSE_ver) << _f ("no_smaller_than: %d (1/%d)\n",
+ Duration_convert::no_smaller_than_i_s,
+ Duration_convert::type2_i (Duration_convert::no_smaller_than_i_s));
+ LOGOUT (VERBOSE_ver) << _f ("no_tuplets: %d\n",
+ Duration_convert::no_tuplets_b_s);
+}
+