splaytree.mldoc

来自「这是我们参加06年全国开源软件的竞赛作品」· MLDOC 代码 · 共 66 行

MLDOC
66 行
字号 
<!-- splaytree.mldoc --><!-- Entities.sgml entry <!ENTITY SplayTree SDATA "splaytree-sig.sml"> --><!DOCTYPE ML-DOC SYSTEM><COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998><VERSION VERID="1.0" YEAR=1998 MONTH=6 DAY=5><TITLE>The SplayTree structure</TITLE><INTERFACE><HEAD>The <CD/SplayTree/ structure</HEAD><SEEALSO>  <FCTREF/SplaySetFn/  <FCTREF/SplayMapFn/</SEEALSO><PP>The <STRREF NOLINK/SplayTree/ structure provides the datatype and two basic functions necessary for applicative Sleator-Tarjan splay trees.<STRUCTURE STRID="SplayTree">  <SIGBODY SIGID="SPLAY_TREE" FILE=SPLAY-TREE>    <SPEC>      <DATATYPE><TYPARAM>'a<ID>splay        <CONS>SplayObj<TY>{value : 'a, right : 'a splay, left : 'a splay}        <CONS>SplayNil      </DATATYPE>    <SPEC>      <VAL>splay<TY>(('a -> order) * 'a splay) -> (order * 'a splay)        <COMMENT>          <PROTOTY>          splay (<ARG/cmp/, <ARG/tree/)          </PROTOTY>          returns <CD/(<ARG/r/,<ARG/tree'/)/,  where <ARG/tree'/ is           <ARG/tree/ adjusted using the comparison function <ARG/cmp/.           In addtion, if <CD/tree' = SplayObj{value,...}/, then <ARG/r/ equal          <CD/cmp value/. <CD/tree' = SplayNil/ if and only if           <CD/tree = SplayNil/, in which case <ARG/r/ is unspecified.          <PP>          Usually, <ARG/cmp/ will compare its argument against some fixed value.          For example, if <CD/cmpfn : 'a * 'a -> order/ defines an order           relation on the type <CD/'a/ and we wish to search for a value           <CD/u/, we can pass the function <CD/fn v => cmpfn(v,u)/ to           the <CD/splay/ function.            <SPEC>      <VAL>join<TY>('a splay * 'a splay) -> 'a splay        <COMMENT>          <PROTOTY>          join (<ARG/sp/, <ARG/sp2/)          </PROTOTY>          returns a new splay tree joining <ARG/sp/ and <ARG/sp2/.</STRUCTURE><PP>Not only is the data structure concrete, but the <CD/splay/ functiontakes a comparison function as an argument, allowing the semanticsof the splay tree to be changed on the fly. It is assumed that thisstructure will only be used within another structure that will guaranteethe consistency of the trees.</INTERFACE>

splaytree.mldoc - 源码说明

本页面展示了「这是我们参加06年全国开源软件的竞赛作品」中的 splaytree.mldoc 源码文件，采用 MLDOC 编程语言编写，共 66 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与开源软件相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?