lily/include/page-breaking.hh

   1 /*
   2   page-breaking.hh -- declare a superclass and utility
   3   functions for several different page-breaking algorithms
   4
   5   source file of the GNU LilyPond music typesetter
   6
   7   (c) 2006--2007 Joe Neeman <joeneeman@gmail.com>
   8 */
   9
  10 #ifndef PAGE_BREAKING_HH
  11 #define PAGE_BREAKING_HH
  12
  13 #include "constrained-breaking.hh"
  14 #include "page-spacing.hh"
  15
  16 /* Either a paper-score, markup or header.
  17  */
  18 struct System_spec
  19 {
  20   System_spec (Paper_score *ps)
  21   {
  22     pscore_ = ps;
  23     prob_ = NULL;
  24   }
  25
  26   System_spec (Prob *pb)
  27   {
  28     prob_ = pb;
  29     pscore_ = NULL;
  30   }
  31
  32   System_spec ()
  33   {
  34     pscore_ = NULL;
  35     prob_ = NULL;
  36   }
  37
  38   Paper_score *pscore_;
  39   Prob *prob_;
  40 };
  41
  42 struct Break_position
  43 {
  44   /*
  45     index in system_spec_index_, if VPOS start of book.
  46    */
  47   vsize system_spec_index_;
  48
  49   /* if system_spec_index_ is a score, then we start at the score_brk_'th possible
  50      page-break in the score */
  51   vsize score_break_;
  52
  53   /* if system_spec_index_ is a score, this points to the broken column */
  54   Grob *col_;
  55   bool score_ender_;
  56
  57   Break_position (vsize s=VPOS, vsize brk=VPOS, Grob *g=NULL, bool end=false)
  58   {
  59     system_spec_index_ = s;
  60     score_break_ = brk;
  61     col_ = g;
  62     score_ender_ = end;
  63   }
  64
  65   /*
  66     lexicographic in (system_spec_index_, score_break_)
  67    */
  68   bool operator< (const Break_position &other)
  69   {
  70     return (system_spec_index_ == VPOS && other.system_spec_index_ != VPOS)
  71       || (system_spec_index_ < other.system_spec_index_)
  72       || (system_spec_index_ == other.system_spec_index_ && score_break_ < other.score_break_);
  73   }
  74
  75   bool operator<= (const Break_position &other)
  76   {
  77     return (system_spec_index_ == VPOS)
  78       || (system_spec_index_ < other.system_spec_index_ && other.system_spec_index_ != VPOS)
  79       || (system_spec_index_ == other.system_spec_index_ && score_break_ <= other.score_break_);
  80   }
  81 };
  82
  83 class Page_breaking
  84 {
  85 public:
  86   typedef bool (*Break_predicate) (Grob *);
  87   typedef vector<vsize> Line_division;
  88
  89   /*
  90     TODO: naming.
  91
  92     determine the page breaking, and break scores into lines
  93     appropriately.
  94    */
  95   virtual SCM solve () = 0;
  96
  97   Page_breaking (Paper_book *pb, Break_predicate);
  98   virtual ~Page_breaking ();
  99
 100   bool ragged () const;
 101   bool ragged_last () const;
 102   bool is_last () const;
 103   Real page_height (int page_number, bool last) const;
 104   Real page_top_space () const;
 105
 106 protected:
 107   Paper_book *book_;
 108
 109   vsize next_system (Break_position const &break_pos) const;
 110
 111   SCM make_pages (vector<vsize> lines_per_page, SCM lines);
 112
 113   vsize min_system_count (vsize start, vsize end);
 114   vsize max_system_count (vsize start, vsize end);
 115
 116
 117   void break_into_pieces (vsize start, vsize end, Line_division const &div);
 118   SCM systems ();
 119
 120   void set_current_breakpoints (vsize start,
 121                                 vsize end,
 122                                 vsize system_count,
 123                                 Line_division lower_bound = Line_division (),
 124                                 Line_division upper_bound = Line_division ());
 125   void set_to_ideal_line_configuration (vsize start, vsize end);
 126
 127   vsize current_configuration_count () const;
 128   Line_division current_configuration (vsize configuration_index) const;
 129   Page_spacing_result space_systems_on_n_pages (vsize configuration_index,
 130                                            vsize n, vsize first_page_num);
 131   Page_spacing_result space_systems_on_n_or_one_more_pages (vsize configuration_index, vsize n,
 132                                                        vsize first_page_num);
 133   Page_spacing_result space_systems_on_best_pages (vsize configuration_index,
 134                                               vsize first_page_num);
 135   Page_spacing_result pack_systems_on_least_pages (vsize configuration_index,
 136                                                    vsize first_page_num);
 137   vsize min_page_count (vsize configuration_index, vsize first_page_num);
 138   bool all_lines_stretched (vsize configuration_index);
 139   Real blank_page_penalty () const;
 140
 141   SCM breakpoint_property (vsize breakpoint, char const *str);
 142
 143   vsize last_break_position () const;
 144 private:
 145   vector<Break_position> breaks_;
 146   vector<Break_position> chunks_;
 147   vector<System_spec> system_specs_;
 148   vector<Constrained_breaking> line_breaking_;
 149   bool ragged_;
 150   bool ragged_last_;
 151   Real page_top_space_;
 152
 153   vector<Line_division> current_configurations_;
 154   vector<Break_position> current_chunks_;
 155   vsize current_start_breakpoint_;
 156   vsize current_end_breakpoint_;
 157
 158   void cache_line_details (vsize configuration_index);
 159   void clear_line_details_cache ();
 160   vsize cached_configuration_index_;
 161   vector<Line_details> cached_line_details_;
 162   vector<Line_details> uncompressed_line_details_;
 163
 164   vector<Break_position> chunk_list (vsize start, vsize end);
 165   Line_division system_count_bounds (vector<Break_position> const &chunks, bool min);
 166   void line_breaker_args (vsize i,
 167                           Break_position const &start,
 168                           Break_position const &end,
 169                           vsize *line_breaker_start,
 170                           vsize *line_breaker_end);
 171
 172   void line_divisions_rec (vsize system_count,
 173                            Line_division const &min,
 174                            Line_division const &max,
 175                            Line_division *cur);
 176
 177   vector<Line_details> line_details (vsize start, vsize end, Line_division const &div);
 178   Page_spacing_result space_systems_on_1_page (vector<Line_details> const &lines, Real page_height, bool ragged);
 179   Page_spacing_result space_systems_on_2_pages (vsize configuration_index, vsize first_page_num);
 180   Page_spacing_result finalize_spacing_result (vsize configuration_index, Page_spacing_result);
 181   void create_system_list ();
 182   void find_chunks_and_breaks (Break_predicate);
 183 };
 184 #endif /* PAGE_BREAKING_HH */