325326327328329330331332333334335
a1b21.addElement(b21.elementAt(i)); } Node a2b12 = Node.createCList(); for(int i=0;i<pivot1;i++){ a2b12.addElement(b12.elementAt(i)); } for(int i=0;i<a2.size();i++){ a2b12.addElement(a2.elementAt(i)); } for(int i=pivot1;i<b12.size();i++){
328329330331332333334335336337338
Node a2b12 = Node.createCList(); for(int i=0;i<pivot1;i++){ a2b12.addElement(b12.elementAt(i)); } for(int i=0;i<a2.size();i++){ a2b12.addElement(a2.elementAt(i)); } for(int i=pivot1;i<b12.size();i++){ a2b12.addElement(b12.elementAt(i)); }
331332333334335336337338339340341
} for(int i=0;i<a2.size();i++){ a2b12.addElement(a2.elementAt(i)); } for(int i=pivot1;i<b12.size();i++){ a2b12.addElement(b12.elementAt(i)); } Node a21b1 = Node.createCList(); for(int i=0;i<pivot1;i++){ a21b1.addElement(b1.elementAt(i));
336337338339340341342343344345346
a2b12.addElement(b12.elementAt(i)); } Node a21b1 = Node.createCList(); for(int i=0;i<pivot1;i++){ a21b1.addElement(b1.elementAt(i)); } for(int i=0;i<a21.size();i++){ a21b1.addElement(a21.elementAt(i)); } for(int i=pivot1;i<b1.size();i++){
339340341342343344345346347348349
Node a21b1 = Node.createCList(); for(int i=0;i<pivot1;i++){ a21b1.addElement(b1.elementAt(i)); } for(int i=0;i<a21.size();i++){ a21b1.addElement(a21.elementAt(i)); } for(int i=pivot1;i<b1.size();i++){ a21b1.addElement(b1.elementAt(i)); }
342343344345346347348349350351352
} for(int i=0;i<a21.size();i++){ a21b1.addElement(a21.elementAt(i)); } for(int i=pivot1;i<b1.size();i++){ a21b1.addElement(b1.elementAt(i)); } Node a12b2 = Node.createCList(); for(int i=0;i<pivot1;i++){ a12b2.addElement(b2.elementAt(i));
347348349350351352353354355356357
a21b1.addElement(b1.elementAt(i)); } Node a12b2 = Node.createCList(); for(int i=0;i<pivot1;i++){ a12b2.addElement(b2.elementAt(i)); } for(int i=0;i<a12.size();i++){ a12b2.addElement(a12.elementAt(i)); } for(int i=pivot1;i<b2.size();i++){
350351352353354355356357358359360
Node a12b2 = Node.createCList(); for(int i=0;i<pivot1;i++){ a12b2.addElement(b2.elementAt(i)); } for(int i=0;i<a12.size();i++){ a12b2.addElement(a12.elementAt(i)); } for(int i=pivot1;i<b2.size();i++){ a12b2.addElement(b2.elementAt(i)); }
353354355356357358359360361362363
} for(int i=0;i<a12.size();i++){ a12b2.addElement(a12.elementAt(i)); } for(int i=pivot1;i<b2.size();i++){ a12b2.addElement(b2.elementAt(i)); } // déréférencer... return Node.createCList() .append(a1b21.select(0, a1b21.size()))
158159160161162163164165166167168
int l2= pivot2 + 1; Node a1 = Node.createCList(); for(int i=pivot1;i<(pivot1+l);i++){ a1.addElement(p1.elementAt(i)); } Node a2 = Node.createCList(); for(int i=pivot1;i<(pivot1+l);i++){ a2.addElement(p2.elementAt(i));