cadical基本数据结构分析2

1. 文字、变元 变元和文字iteration: vars, lits vals: signed char * vals; // assignment [-max_var,max_var] //Internal数据成员，保存文字的赋值-同时其对应负文字的赋值也一并保存（更新）。 // 可以理解为va
posted on 2024-05-29 20:43  海阔凭鱼跃越  阅读(6)  评论(0)  编辑  收藏  举报