会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
海阔凭鱼跃越
博客园
首页
新随笔
联系
管理
订阅
2024年5月29日
cadical基本数据结构分析2
摘要: 1. 文字、变元 变元和文字iteration: vars, lits vals: signed char * vals; // assignment [-max_var,max_var] //Internal数据成员,保存文字的赋值-同时其对应负文字的赋值也一并保存(更新)。 // 可以理解为va
阅读全文
posted @ 2024-05-29 20:43 海阔凭鱼跃越
阅读(7)
评论(0)
推荐(0)
编辑
公告