Since a valid plan must be allocate

Since a valid plan must be allocated resources with respect to all the resource types in the domain, the abstract plan can either be iteratively scheduled with respect to the resources of each type, as is done in procedural scheduling, or all the constraints for the different resource types can be declared together and solved simultaneously by the CSP solver.

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

เนื่องจากแผนการที่ถูกต้องต้องปันส่วนทรัพยากรเกี่ยวกับชนิดทรัพยากรทั้งหมดในโดเมน แผนนามธรรมสามารถทั้งปรับปรุงต้นกำหนดเกี่ยวกับทรัพยากรของแต่ละชนิด เป็นทำในขั้นตอนการวางแผน หรือข้อจำกัดสำหรับชนิดทรัพยากรต่าง ๆ สามารถประกาศร่วมกัน และแก้ไขได้พร้อมกัน โดย CSP solver

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

ตั้งแต่การวางแผนที่ถูกต้องจะต้องได้รับการจัดสรรทรัพยากรด้วยความเคารพทุกชนิดของทรัพยากรในโดเมนแผนนามธรรมสามารถกำหนดซ้ำส่วนที่เกี่ยวกับทรัพยากรของแต่ละประเภทเป็นจะทำในการตั้งเวลาในการดำเนินการหรือข้อ จำกัด ทั้งหมดสำหรับที่แตกต่างกัน ประเภททรัพยากรที่สามารถประกาศร่วมกันและแก้ไขไปพร้อม ๆ กันโดยแก้ CSP

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

ตั้งแต่วางแผนที่ถูกต้องต้องจัดสรรทรัพยากรด้วยความเคารพทั้งหมดทรัพยากรประเภทโดเมน , แผนนามธรรมสามารถซ้ำกำหนดเกี่ยวกับทรัพยากรของแต่ละประเภท เป็นเสร็จขั้นตอนการตั้งเวลาหรือข้อจำกัดสำหรับประเภททรัพยากรที่แตกต่างกันสามารถประกาศด้วยกันและพร้อมกันโดย CSP แก้ไขได้