-#include "string.hh"
-#include "misc.hh"
-#include "paper-def.hh"
-#include "debug.hh"
-#include "lookup.hh"
-#include "score-engraver.hh"
-#include "paper-score.hh"
-#include "identifier.hh"
-#include "main.hh"
-#include "scope.hh"
-#include "dictionary-iter.hh"
-#include "file-results.hh" // urg? header_global_p
-#include "paper-outputter.hh"
-#include "paper-stream.hh"
-
-
-Paper_def::Paper_def ()
-{
- lookup_p_tab_p_ = new Hash_table<int, Lookup*>;
- lookup_p_tab_p_->hash_func_ = int_hash;
-}
-
-
-Paper_def::~Paper_def ()
-{
- for (Hash_table_iter<int, Lookup*> ai(*lookup_p_tab_p_); ai.ok (); ai++)
- {
- delete ai.val ();
- }
-
- delete lookup_p_tab_p_;
-}
-
-Paper_def::Paper_def (Paper_def const&s)
- : Music_output_def (s)
-{
- shape_int_a_ = s.shape_int_a_;
- lookup_p_tab_p_ = new Hash_table<int, Lookup*>;
- lookup_p_tab_p_->hash_func_ = int_hash;
-
- for (Hash_table_iter<int, Lookup*> ai(*s.lookup_p_tab_p_); ai.ok (); ai++)
- {
- Lookup * l = new Lookup (*ai.val ());
- set_lookup (ai.key(), l);
- }
-}
-