会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
bacmive
拙劣的模仿者
博客园
首页
新随笔
联系
订阅
管理
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
阅读(476)
评论(0)
推荐(0)
编辑
公告