Since mutex relations are symmetric it is irrelevant which action plays which role in the test. De nition 9 Two actions a (with n preconditions ap1::apn) ...
確定! 回上一頁