in the planner's CSP will not be sc

in the planner's CSP will not be schedulable. Thus, for class SAMELEN, the translation process will convert each translated conflict set into multiple action mutex sets in the planner.

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

ใน CSP ของผู้วางแผนจะไม่ได้จัดกำหนดการได้ ดังนั้น สำหรับคลา SAMELEN การแปลจะแปลงความขัดแย้งแปลแต่ละชุดมาหลายชุดด้วยข้อผิดพลาดการดำเนินการในการวางแผน

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

ใน CSP วางแผนที่จะไม่ schedulable ดังนั้นสำหรับระดับ SAMELEN, การแปลจะแปลงแต่ละชุดความขัดแย้งแปลเป็นหลายชุดการกระทำ mutex ในการวางแผน

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

ในการวางแผนของ CSP จะไม่ schedulable . จึงเรียน samelen กระบวนการแปลจะแปลแปลงแต่ละชุดปฏิบัติการ mutex ความขัดแย้งออกเป็นหลายชุดในการวางแผน