文件名称：pomap:OCaml库用于部分排序的地图
文件大小：44KB
文件格式：ZIP
更新时间：2024-06-11 04:03:21
datastructures ocaml partial-orders hasse-diagram concept-lattice
POMAP-OCaml的部分排序的地图 什么是Pomap ？ Pomap库保留部分排序元素的纯功能图。 部分有序映射类似于部分有序集，但是映射值将部分有序关系定义为一些其他任意值。 这是一个部分排序的集合的示例，用于形象化该想法： 总订单数可以让您说出某个元素是否小于，等于或大于另一个元素，而部分订单数还允许出现“不知道”或“未定义”的情况。 从数学上讲，满足偏序关系的公理如下： x <= x (reflexivity) x <= y /\ y <= x -> x = y (antisymmetry) x <= y /\ y <= z -> x <= z (transitivity) 程序员熟悉的通常用于“普通”地图的总订单还需要以下公理： x <= y \/ y <= x (totality) 总顺序允许您以线性方式对齐元素以
【文件预览】：
pomap-master
----pre-v4.0.0-CHANGES.txt(4KB)
----dune(160B)
----CHANGES.md(256B)
----src()
--------dune(30B)
--------display_hasse_impl.ml(3KB)
--------pomap_intf.ml(15KB)
--------display_hasse_impl.mli(2KB)
--------ptset.ml(13KB)
--------store_impl.ml(3KB)
--------Makefile(90B)
--------display_hasse_intf.ml(2KB)
--------store_intf.ml(6KB)
--------ptset.mli(2KB)
--------store_impl.mli(1KB)
--------pomap_impl.ml(19KB)
--------pomap_impl.mli(1KB)
----dune-project(601B)
----examples()
--------hasse()
----LICENSE.md(27KB)
----README.md(8KB)
----Makefile(92B)
----pomap.opam(860B)
----.gitignore(32B)