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) 编辑