Jenkins Variable List Matrix Project Plugin 1.60 码力 | 4 页 | 241.15 KB | 1 年前3
Designing Fast and Efficient List-like Data StructuresList-like data structures std::vector std::list std::dequestd::vector C++ version of the array-list data structure Backed by a C-style array Automatically allocates a new backing array when inserting (O(n))std::list C++ version of the linked-list data structure Elements stored in nodes referencing the next nodestd::list Node Node Node Node Node Node std::list First Laststd::list Inserting byte ...std::list with custom allocator Idea: minimize cache misses by grouping consecutive nodes into contiguous memorystd::list with custom allocator Node Node Node Node Node std::list First Laststd::list0 码力 | 29 页 | 852.61 KB | 6 月前3
JAVA 应用与开发 - 集合与映射JAVA 应用与开发 集合与映射 让我们愉快的 Coding 起来吧... ��� �������������� November 4, 2019 ���� �����List����Set�����Map�的������� ���������� ������iterator��Enumeration ��������� API ������的������������ 1 28 集合�� 集合�����用���������������合����� �� O 集合类型分类 � Set ��������的������������� ������������的��� �� List ������的��������������� ������的���������������� �������� �� Map �����的��¡���Key-Value������ �������的��������������� 集合�� 集合�����用���������������合����� �� O 集合类型分类 � Set ��������的������������� ������������的��� �� List ������的��������������� ������的���������������� �������� �� Map �����的��¡���Key-Value������ �������的���������������0 码力 | 66 页 | 713.79 KB | 1 年前3
Reference guide for FCL units. Document version 3.2.2TFPHashList.Items . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228 8.16.27 TFPHashList.List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 8.16.28 TFPHashList.Strs . . TFPHashObjectList.Items . . . . . . . . . . . . . . . . . . . . . . . . . . . 238 8.18.27 TFPHashObjectList.List . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238 8.19 TFPObjectHashTable . . . . . . TFPObjectList.Items . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 8.20.27 TFPObjectList.List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 8.21 TFPStringHashTable . . .0 码力 | 953 页 | 2.21 MB | 1 年前3
This Debian Reference (version 2.109) 238 Debian Reference xvii List of Tables 1.1 List of interesting text-mode program packages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 List of informative documentation . . . . . . . . . . . . . 5 1.3 List of usage of key directories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.4 List of the first character of ”ls -l” . . . . . . . . . . . . . 10 1.7 List of notable system-provided groups for file access . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.8 List of notable system provided groups for0 码力 | 266 页 | 1.25 MB | 1 年前3
Haskell 2010 Language ReportArithmetic Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.11 List Comprehensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.12 functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 13.2.3 Generalisations of list functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 13.2.4 Conditional execution . . . . 186 viii CONTENTS 20 Data.List 189 20.1 Basic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 20.2 List transformations . . . . . . . . . .0 码力 | 329 页 | 1.43 MB | 1 年前3
The Hitchhiker’s Guide to
Logical Verification. . . . . . . . . . . . . . . . . . . . . . . . . . 105 6.9 A Generic Algorithm: Iteration over a List . . . . . . . . . . . . . . . . . 105 6.10 Summary of New Lean Constructs . . . . . . . . . . . . Proof Assistants There are dozens of proof assistants in development or use across the world. A list of the main ones follows, classified by logical foundations: set theory: Isabelle/ZF, Metamath, Mizar; pressing the tab key or the space bar. We will freely use these notations. For reference, we provide a list of the main non-ASCII symbols that are used in the guide and, for each, one of its ASCII representations0 码力 | 215 页 | 1.95 MB | 1 年前3
Falcon v1.0.0 Documentationour Add-on Catalog [https://github.com/falconry/falcon/wiki/Add- on-Catalog], where you can find a list of add-ons maintained by the community. Useful Links Falcon Home [http://falconframework.org/] Falcon like to invite you to help other community members with their questions in IRC and on the mailing list, and to help peer-review pull requests [https://github.com/racker/falcon/pulls]. If you use the Chrome body isn’t being returned to the client, it’s probably a bug! Let us know in IRC or on the mailing list so we can help. My app is setting a cookie, but it isn’t being passed back in subsequent requests0 码力 | 312 页 | 368.58 KB | 1 年前3
Hello 算法 1.0.0b5 Dart版?(?) ,其中 ? 为数组或链表的长度: // === File: time_complexity.dart === /* 线性阶(遍历数组) */ int arrayTraversal(Listnums) { int count = 0; // 循环次数与数组长度成正比 for (var num in nums) { count++; } return count; === File: time_complexity.dart === /* 平方阶(冒泡排序) */ 第 2 章 复杂度分析 hello‑algo.com 33 int bubbleSort(List nums) { int count = 0; // 计数器 // 外循环:未排序区间为 [0, i] for (var i = nums.length - 1; i > 0; i--) worst_best_time_complexity.dart === /* 生成一个数组,元素为 { 1, 2, ..., n },顺序被打乱 */ List randomNumbers(int n) { final nums = List.filled(n, 0); // 生成数组 nums = { 1, 2, 3, ..., n } for (var i = 0; i < n; i++) 0 码力 | 376 页 | 30.67 MB | 1 年前3
Theorem Proving in Lean
Release 3.23.0is another example: given any type α, the type list α denotes the type of lists of elements of type α. constant α : Type #check list α -- Type #check list nat -- Type For those more comfortable with element, and Type 2 is an even larger universe of types, which contains Type 1 as an element. The list is indefinite, so that there is a Type n for every natural number n. Type is an abbreviation for Type universes. For example, list α should make sense for any type α, no matter which type universe α lives in. This explains the type annotation of the function list: #check list -- Type u_1 → Type u_1 Here0 码力 | 173 页 | 777.93 KB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100













