void process_music ();
virtual Spanner *create_ligature_spanner () = 0;
virtual void typeset_ligature (Spanner *ligature,
- vector<Grob_info> const &primitives) = 0;
+ std::vector<Grob_info> const &primitives) = 0;
virtual Spanner *current_ligature ();
SCM brew_ligature_primitive_proc;
Drul_array<Stream_event *> events_drul_;
Spanner *ligature_;
- vector<Grob_info> primitives_;
+ std::vector<Grob_info> primitives_;
Spanner *finished_ligature_;
- vector<Grob_info> finished_primitives_;
+ std::vector<Grob_info> finished_primitives_;
Stream_event *prev_start_event_;