After each iteration of for loop in

After each iteration of for loop in line 2 finishes, if the first case does not occurs, a synthetic instance s will be generated along the specific-ranged line between p and n, and then s will be added to D'.

ผลลัพธ์ (ไทย) 1:

หลังจากแต่ละซ้ำของการวนรอบในบรรทัดที่ 2 ถ้ากรณีแรกไม่เกิดขึ้น s เป็นอินสแตนซ์ที่สังเคราะห์จะถูกสร้างขึ้นตามสายโจมตีระยะไกลเฉพาะระหว่าง p และ n และ s จะถูกเพิ่มไป D'.

ผลลัพธ์ (ไทย) 2:

หลังจากทวนของห่วงในบรรทัดที่ 2 เสร็จสิ้นในแต่ละถ้ากรณีแรกไม่ได้เกิดขึ้นเช่น s สังเคราะห์จะถูกสร้างขึ้นตามแนวเฉพาะอยู่ระหว่าง P และ N, และแล้ว s จะถูกเพิ่มลง D '

ผลลัพธ์ (ไทย) 3:

หลังจากแต่ละบรรทัดของการวนซ้ำใน 2 เสร็จสิ้น ถ้ากรณีแรกไม่เกิดขึ้น , อินสแตนซ์สังเคราะห์จะถูกสร้างขึ้นตามเฉพาะระหว่างบรรทัดระหว่าง P และ N , และจากนั้นจะถูกเพิ่มไปยัง D '