c4dd701f02
elements. Whereas a total order allows you to say whether some element is lower, equal or greater than another one, partial orders also allow for a "don-t know" case. Author: Markus Mottl <markus.mottl@gmail.com> WWW: http://www.ocaml.info/home/ocaml_sources.html PR: ports/102116 Submitted by: Stanislav Sedov <ssedov at mbsd.msk.ru>
7 lines
342 B
Text
7 lines
342 B
Text
The Pomap-library implements an ADT that maintains maps of partially ordered
|
|
elements. Whereas a total order allows you to say whether some element is
|
|
lower, equal or greater than another one, partial orders also allow for a
|
|
"don-t know" case.
|
|
|
|
Author: Markus Mottl <markus.mottl@gmail.com>
|
|
WWW: http://www.ocaml.info/home/ocaml_sources.html
|