+ int dot_move_dir = sign (p - i->second.pos_);
+ if (i->second.extremal_head_)
+ {
+ if (i->second.dir_
+ && dot_move_dir != i->second.dir_)
+ demerit += 3;
+ else if (dot_move_dir != UP)
+ demerit += 2;
+ }
+ else if (dot_move_dir != UP)
+ demerit += 1;
+
+ t += demerit;
+ }
+
+ return t;
+}
+
+void
+print_dot_configuration (Dot_configuration const &cfg)
+{
+ printf ("dotconf { ");
+ for (Dot_configuration::const_iterator i (cfg.begin ());
+ i != cfg.end (); i++)
+ printf ("%d, " , i->first);
+ printf ("} \n");
+}
+
+/*
+ Shift K and following (preceding) entries up (down) as necessary to
+ prevent staffline collisions if D is up (down).
+
+ If K is in CFG, then do nothing.
+*/
+
+Dot_configuration
+shift_one (Dot_configuration const &cfg,
+ int k, Direction d)
+{
+ Dot_configuration new_cfg;
+ int offset = 0;
+
+ if (d > 0)
+ {
+ for (Dot_configuration::const_iterator i (cfg.begin ());
+ i != cfg.end (); i++)
+ {
+ int p = i->first;
+ if (p == k)
+ {
+ if (Staff_symbol_referencer::on_staffline (i->second.dot_, p))
+ p += d ;
+ else
+ p += 2* d;