+ Value CFG according.
+
+*/
+int
+dot_config_badness (Dot_configuration const &cfg)
+{
+ int t = 0;
+ for (Dot_configuration::const_iterator i (cfg.begin ());
+ i != cfg.end (); i++)
+ {
+ int p = i->first;
+ int demerit = sqr (p - i->second.pos_) * 2;
+
+ 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.
+*/