摘要
许可证
历史
2012年4月25日 Tuerk的新迭代器基础。各种维护更改。 2011年10月10日 SetSpec:添加的操作：sng、isSng、bexists、size_abort、diff、filter、iterate_rule_insertP MapSpec:添加的操作：sng、isSng、iterate_rule_insertP、bexists、size、size_abort、restrict、， 映射图像过滤器，映射值图像过滤器 一些维护更改
2010年12月1日 新接口：优先级队列、注释列表。 由手指树实现，（歪斜）二项式队列。 2010年10月8日 新接口：OrderedSet、OrderedMap、List。 Fifo现在实现了list-interface:函数名更改：put/get-->enqueue/dequeue。 新实现：ArrayList、ArrayHashMap、Array HashSet、TrieMap、TrieSet。 无不变量数据结构：不变量隐式隐藏在typedef中。 记录接口：封装为记录的接口的所有操作。 示例移至示例子目录。
话题
会话集合
排序列表操作 散列值 代码_目标_ICF SetIterator（设置迭代器） SetIterator操作 属性标识符 它_它_它 设置器GA 发电机_整流器 Idx_致畸剂 迭代器 RBT_添加 列表_添加 关联列表（_List） 差异阵列（_A） 部分等效关系 ICF_工具 订单代码预览 记录_输入 区域设置_代码 ICF_规格_基础 地图规范 罗布德 区域_代码_Ex 数据参考 设置抽象迭代器 GenCF_章节 GenCF_章节摘要 Intf_Map（国际地图） Intf_Set（整数_集合） Intf_散列 国际公司 GenCF_Gen_章节 发电机_设置 发电机地图 发电机映射集 发电机压缩机 GenCF_Impl_Chapter公司 执行阵列堆栈 Impl_List_Set（实施列表设置） 数组_迭代器 实施列表映射 隐式数组哈希映射 实施RBT_Map Impl_Cfun_设置 隐式数组映射 隐含比特设置 Impl_Uv_设置 发电机_散列 GenCF公司 ICF_章节 ICF_Spec_章节 设置规范 列表规范 注释列表规范 PrioSpec规范 PrioUniqueSpec ICF_Gen_Algo_Charpter公司 集合集合GA 地图GA SetGA公司 按映射设置 ListGA公司 设置索引 阿尔戈斯 PrioByAnnotatedList（按注释列表排序） PrioUniqueByAnnotatedList ICF_模板_章节 列表映射实现 列表映射Impl_Invar RBTMapImpl公司 哈希映射导入 哈希图 尝试_实施 尝试2 TrieMapImpl公司 数组哈希映射_Impl 数组哈希映射 数组映射实现 地图标准实施 列表集实现 列表集Impl_Invar 列表集Impl_NotDist 列表集Impl_Sorted RBTS设置实施 哈希集 TrieSetImpl（TrieSetImpl） 数组哈希集 阵列设置实现 设置超时Impl 国际足联 二进制PrioImpl 倾斜PrioImpl FTAnnotatedListImpl（FT注释列表实施） FTPrioImpl公司 FTPrioUniqueImpl公司 ICF_导入 ICF_定义_单数 ICF_自动参考 ICF_入口点_章节 收藏 集合V1 集合_入口点_章节 优化（_D）flt 优化_Dflt_ICF 优化_浮动_仅_ICF 用户指南_章节 优化莫纳迪克指南 ICF_向导
会话集合_示例
示例_章节 集合_自动参考_示例_章节 成功_图表 协作测试（_T） 简单_DFS ICF_测试 ICF_仅测试 嵌套_DFS 组合两个卫星 集合_自动引用_示例 优化Monadic_Examples_Charpter Bfs_导入 前景_定义 优化折叠（_F） 优化Monadic_Examples ICF_示例_章节 itp2010年 探索 探索_DFS 性能测试 ICF_示例 集合_示例