2023年4月25日
cadical分析02_代码解读_传播函数
摘要： 所在文件propagate.cpp 传播函数代码分析 1 static Clause decision_reason_clause; 2 static Clause * decision_reason = &decision_reason_clause; //注意此处声明了两个静态量 3 4 inl 阅读全文
posted @ 2023-04-25 18:37 海阔凭鱼跃越 阅读(31) 评论(0) 推荐(0) 编辑