2020年12月13日
IC3算法中的get_state, get_predecessor, generalize
摘要： IC3算法中的get_state, get_predecessor, generalize 在上一篇“IC3算法简析”中出现了几个函数，它们能确保IC3算法的高效实现，分别是： get_state() get_predecessor() generalize() get_state() $get_s 阅读全文
posted @ 2020-12-13 17:28 bacmive 阅读(562) 评论(0) 推荐(0) 编辑