标签列表
Coq:FSet和MSet之间有什么区别?
set
coq
4
4
FSets
和
MSets
的文档表明它们是非常相似的结构。它们有什么不同之处吗?
-
Carl Patenaude Poulin
1
个回答
4
4
根据
库
的描述,
MSets
是“
FSets
的现代化”,由于向后兼容性的原因保留了
FSets
。
-
gallais
1
3
Refman
包含更多信息:"使
FSets
发展的原因是在原始实现中,计算和逻辑内容相当交织,导致某些情况下计算时间比预期长,这个问题在新的
MSets
实现中得到了解决。"
- Anton Trunov
回答链接
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接
相关问题
8
Coq中`destruct`和`case_eq`策略有什么区别?
9
Coq中revert和generalize策略有什么区别?
4
Coq中的引理和定理有什么区别?
109
HashSet和Set有什么区别?
33
Coq和Agda之间的区别
48
Z3和Coq之间的区别
10
Coq中分号“;”和句点“.”之间的执行区别
14
在Coq中,程序的Fixpoint和Function有什么区别?
5
在Coq策略语言中,“intro”和“intros”有什么区别?
3
实体集和实体之间有什么区别?这个定义是否标准?
FSets
发展的原因是在原始实现中,计算和逻辑内容相当交织,导致某些情况下计算时间比预期长,这个问题在新的MSets
实现中得到了解决。" - Anton Trunov