The inference algorithm checks these two conditions for capability C by iterating over all component dependencies and sub-capabilities of C and checking each single one (in case of sub-capabilities recursively).
อัลกอริทึมการสรุปการตรวจสอบเหล่านี้สองเงื่อนไขสำหรับ C ความสามารถโดย iterating กว่า dependencies ทั้งหมดองค์ประกอบและความสามารถในการย่อยของ C และตรวจสอบแต่ละคนเดียว (ในกรณีของความสามารถในการย่อย-ซ้ำ)
เช็คอัลกอริธึมพิลึกสองเงื่อนไขเหล่านี้สำหรับความสามารถใน C โดย iterating เหนือโพรเซสคอมโพเนนต์ย่อยและความสามารถทั้งหมดของ C และการตรวจสอบเพียงคนเดียวแต่ละตัว(ในกรณีของคณะอนุกรรมการ(% s )ความสามารถใน)