4.1. Declarative schedulingOne can

4.1. Declarative scheduling
One can specify the resource allocation constraints declaratively and let a constraint
solver find a satisfying assignment for resources for each action.

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

4.1. ประกาศกำหนดการสามารถระบุข้อจำกัดการปันส่วนทรัพยากร declaratively และปล่อยให้ข้อจำกัดsolver ค้นหาการกำหนดความพึงพอใจสำหรับทรัพยากรในแต่ละครั้ง

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

4.1 การตั้งเวลาเปิดเผย
หนึ่งสามารถระบุข้อ จำกัด ของการจัดสรรทรัพยากร declaratively และให้ข้อ จำกัด
Solver พบการกำหนดที่น่าพอใจสำหรับทรัพยากรสำหรับการดำเนินการแต่ละ