Lines Matching defs:insertion
552 /// The abstration of an insertion of elements of a sequence B into a
556 /// And insertion mainly encapsulates two components:
558 /// - An insertion point: this is the index (starting at 0) of the
559 /// element of the sequence A after which the insertion occurs.
563 /// after the insertion point.
564 class insertion
571 insertion(int insertion_point,
577 insertion(int insertion_point = 0)
596 };// end class insertion
627 vector<insertion> insertions_;
635 const vector<insertion>&
639 vector<insertion>&
691 for (vector<insertion>::const_iterator i = insertions().begin();
1507 // an insertion into the first sequence at a_end. So add
1508 // that insertion to the edit script.
1511 insertion ins(insertion_index);
1562 insertion ins(a_begin - a_base);
1612 insertion ins(p.x());
2053 out << "no insertion\n";
2055 out << "1 insertion\n";
2058 for (vector<insertion>::const_iterator i = es.insertions().begin();