2020年5月8日
代码解读传播函数propagate()
该文被密码保护。 阅读全文
posted @ 2020-05-08 17:42 海阔凭鱼跃越 阅读(0) 评论(0) 推荐(0) 编辑
代码解读——collectFirstUIP(CRef confl)
摘要： 代码解读： 功能——collectFirstUIP(CRef confl)函数功能是基于蕴含图做基于第一唯一蕴含点fristUIP切割线，对参与冲突的变元计算活跃度增量。 基本思想——冲突子句各文字及其对应reason子句的各个文字参与了冲突的形成，这些文字变元活跃度需要更新； 更新的增量基于：（1 阅读全文
posted @ 2020-05-08 09:56 海阔凭鱼跃越 阅读(251) 评论(0) 推荐(0) 编辑