base.ts 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497
  1. /**
  2. * Copyright (c) 2017 molio contributors, licensed under MIT, See LICENSE file for more info.
  3. *
  4. * @author David Sehnal <david.sehnal@gmail.com>
  5. */
  6. import OrderedSet from '../../../mol-base/collections/integer/ordered-set'
  7. import SortedArray from '../../../mol-base/collections/integer/sorted-array'
  8. import Iterator from '../../../mol-base/collections/iterator'
  9. import Interval from '../../../mol-base/collections/integer/interval'
  10. import { sortArray } from '../../../mol-base/collections/sort'
  11. import { hash1 } from '../../../mol-base/collections/hash-functions'
  12. import Atom from '../atom'
  13. /** Long and painful implementation starts here */
  14. export interface AtomSetElements { [id: number]: OrderedSet, offsets: number[], hashCode: number, keys: SortedArray }
  15. export type AtomSetImpl = Atom | AtomSetElements
  16. export const Empty: AtomSetImpl = { offsets: [0], hashCode: 0, keys: SortedArray.Empty };
  17. export function create(data: Atom | ArrayLike<Atom> | { [id: number]: OrderedSet }): AtomSetImpl {
  18. if (typeof data === 'number' || Atom.is(data)) return data;
  19. if (isArrayLike(data)) return ofAtoms(data);
  20. return ofObject(data as { [id: number]: OrderedSet });
  21. }
  22. export function isSingleton(set: AtomSetImpl) {
  23. return typeof set === 'number';
  24. }
  25. export function getKeys(set: AtomSetImpl): SortedArray {
  26. if (typeof set === 'number') return SortedArray.ofSingleton(set);
  27. return (set as AtomSetElements).keys;
  28. }
  29. export function keyCount(set: AtomSetImpl): number {
  30. if (typeof set === 'number') return 1;
  31. return (set as AtomSetElements).keys.length;
  32. }
  33. export function hasKey(set: AtomSetImpl, key: number): boolean {
  34. if (typeof set === 'number') return Atom.unit(set) === key;
  35. return !!(set as AtomSetElements)[key]
  36. }
  37. export function getKey(set: AtomSetImpl, index: number): number {
  38. if (typeof set === 'number') return Atom.unit(set);
  39. return (set as AtomSetElements).keys[index];
  40. }
  41. export function hasAtom(set: AtomSetImpl, t: Atom): boolean {
  42. if (typeof set === 'number') return Atom.areEqual(t, set);
  43. const os = (set as AtomSetElements)[Atom.unit(t)];
  44. return !!os && OrderedSet.has(os, Atom.index(t));
  45. }
  46. export function getByKey(set: AtomSetImpl, key: number): OrderedSet {
  47. if (typeof set === 'number') {
  48. return Atom.unit(set) === key ? OrderedSet.ofSingleton(Atom.index(set)) : OrderedSet.Empty;
  49. }
  50. return (set as AtomSetElements)[key] || OrderedSet.Empty;
  51. }
  52. export function getByIndex(set: AtomSetImpl, index: number): OrderedSet {
  53. if (typeof set === 'number') return index === 0 ? OrderedSet.ofSingleton(Atom.index(set)) : OrderedSet.Empty;
  54. const key = (set as AtomSetElements).keys[index];
  55. return (set as AtomSetElements)[key] || OrderedSet.Empty;
  56. }
  57. export function getAt(set: AtomSetImpl, i: number): Atom {
  58. if (typeof set === 'number') return set;
  59. return getAtE(set as AtomSetElements, i);
  60. }
  61. export function indexOf(set: AtomSetImpl, t: Atom) {
  62. if (typeof set === 'number') return Atom.areEqual(set, t) ? 0 : -1;
  63. return indexOfE(set as AtomSetElements, t);
  64. }
  65. /** Number elements in the "child" sets */
  66. export function size(set: AtomSetImpl) {
  67. if (typeof set === 'number') return 1;
  68. return (set as AtomSetElements).offsets[(set as AtomSetElements).offsets.length - 1];
  69. }
  70. export function hashCode(set: AtomSetImpl) {
  71. if (typeof set === 'number') return Atom.hashCode(set);
  72. if ((set as AtomSetElements).hashCode !== -1) return (set as AtomSetElements).hashCode;
  73. return computeHash((set as AtomSetElements));
  74. }
  75. export function areEqual(a: AtomSetImpl, b: AtomSetImpl) {
  76. if (typeof a === 'number') {
  77. if (typeof b === 'number') return Atom.areEqual(a, b);
  78. return false;
  79. }
  80. if (typeof b === 'number') return false;
  81. return areEqualEE(a as AtomSetElements, b as AtomSetElements);
  82. }
  83. export function areIntersecting(a: AtomSetImpl, b: AtomSetImpl) {
  84. if (typeof a === 'number') {
  85. if (typeof b === 'number') return Atom.areEqual(a, b);
  86. return areIntersectingNE(a, b as AtomSetElements);
  87. }
  88. if (typeof b === 'number') return areIntersectingNE(b, a as AtomSetElements);
  89. return areIntersectingEE(a as AtomSetElements, b as AtomSetElements);
  90. }
  91. export function intersect(a: AtomSetImpl, b: AtomSetImpl) {
  92. if (typeof a === 'number') {
  93. if (typeof b === 'number') return Atom.areEqual(a, b) ? a : Empty;
  94. return intersectNE(a, b as AtomSetElements);
  95. }
  96. if (typeof b === 'number') return intersectNE(b, a as AtomSetElements);
  97. return intersectEE(a as AtomSetElements, b as AtomSetElements);
  98. }
  99. export function subtract(a: AtomSetImpl, b: AtomSetImpl) {
  100. if (typeof a === 'number') {
  101. if (typeof b === 'number') return Atom.areEqual(a, b) ? Empty : a;
  102. return subtractNE(a, b as AtomSetElements);
  103. }
  104. if (typeof b === 'number') return subtractEN(a as AtomSetElements, b);
  105. return subtractEE(a as AtomSetElements, b as AtomSetElements);
  106. }
  107. export function union(a: AtomSetImpl, b: AtomSetImpl) {
  108. return findUnion([a, b]);
  109. }
  110. export function unionMany(sets: ArrayLike<AtomSetImpl>) {
  111. return findUnion(sets);
  112. }
  113. class ElementsIterator implements Iterator<Atom> {
  114. private unit: number = 0;
  115. private keyCount: number;
  116. private setIndex = -1;
  117. private currentIndex = 0;
  118. private currentSize = 0;
  119. private currentSet: OrderedSet = OrderedSet.Empty;
  120. hasNext: boolean = false;
  121. move() {
  122. if (!this.hasNext) return Atom.Zero;
  123. const ret = Atom.create(this.unit, OrderedSet.getAt(this.currentSet, this.currentIndex++));
  124. if (this.currentIndex >= this.currentSize) this.advance();
  125. return ret;
  126. }
  127. private advance() {
  128. if (++this.setIndex >= this.keyCount) {
  129. this.hasNext = false;
  130. return false;
  131. }
  132. this.unit = this.elements.keys[this.setIndex];
  133. this.currentSet = this.elements[this.unit];
  134. this.currentIndex = 0;
  135. this.currentSize = OrderedSet.size(this.currentSet);
  136. return true;
  137. }
  138. constructor(private elements: AtomSetElements) {
  139. this.keyCount = elements.keys.length;
  140. this.hasNext = this.keyCount > 0;
  141. this.advance();
  142. }
  143. }
  144. export function values(set: AtomSetImpl): Iterator<Atom> {
  145. if (typeof set === 'number') return Iterator.Value(set as Atom);
  146. return new ElementsIterator(set as AtomSetElements);
  147. }
  148. function isArrayLike(x: any): x is ArrayLike<Atom> {
  149. return x && (typeof x.length === 'number' && (Array.isArray(x) || !!x.buffer));
  150. }
  151. function ofObject(data: { [id: number]: OrderedSet }) {
  152. const keys = [];
  153. for (const _k of Object.keys(data)) {
  154. const k = +_k;
  155. if (OrderedSet.size(data[k]) > 0) keys[keys.length] = k;
  156. }
  157. if (!keys.length) return Empty;
  158. if (keys.length === 1) {
  159. const set = data[keys[0]];
  160. if (OrderedSet.size(set) === 1) return Atom.create(keys[0], OrderedSet.getAt(set, 0));
  161. }
  162. return ofObject1(keys, data);
  163. }
  164. function ofObject1(keys: number[], data: { [id: number]: OrderedSet }) {
  165. if (keys.length === 1) {
  166. const k = keys[0];
  167. const set = data[k];
  168. if (OrderedSet.size(set) === 1) return Atom.create(k, OrderedSet.getAt(set, 0));
  169. }
  170. sortArray(keys);
  171. return _createObjectOrdered(SortedArray.ofSortedArray(keys), data);
  172. }
  173. function ofObjectOrdered(keys: SortedArray, data: { [id: number]: OrderedSet }) {
  174. if (keys.length === 1) {
  175. const k = keys[0];
  176. const set = data[k];
  177. if (OrderedSet.size(set) === 1) return Atom.create(k, OrderedSet.getAt(set, 0));
  178. }
  179. return _createObjectOrdered(keys, data);
  180. }
  181. function _createObjectOrdered(keys: SortedArray, data: { [id: number]: OrderedSet }) {
  182. const ret: AtomSetElements = Object.create(null);
  183. ret.keys = keys;
  184. const offsets = [0];
  185. let runningSize = 0;
  186. for (let i = 0, _i = keys.length; i < _i; i++) {
  187. const k = keys[i];
  188. const set = data[k];
  189. ret[k] = set;
  190. runningSize += OrderedSet.size(set);
  191. offsets[offsets.length] = runningSize;
  192. }
  193. ret.offsets = offsets;
  194. ret.hashCode = -1;
  195. return ret;
  196. }
  197. function getUniqueElements(xs: number[]) {
  198. let count = 1;
  199. for (let i = 1, _i = xs.length; i < _i; i++) {
  200. if (xs[i - 1] !== xs[i]) count++;
  201. }
  202. const ret = new (xs as any).constructor(count);
  203. ret[0] = xs[0];
  204. let offset = 1;
  205. for (let i = 1, _i = xs.length; i < _i; i++) {
  206. if (xs[i - 1] !== xs[i]) ret[offset++] = xs[i];
  207. }
  208. return ret;
  209. }
  210. function normalizeArray(xs: number[]) {
  211. sortArray(xs);
  212. for (let i = 1, _i = xs.length; i < _i; i++) {
  213. if (xs[i - 1] === xs[i]) return getUniqueElements(xs);
  214. }
  215. return xs;
  216. }
  217. function ofAtoms(xs: ArrayLike<Atom>) {
  218. if (xs.length === 0) return Empty;
  219. const sets: { [key: number]: number[] } = Object.create(null);
  220. for (let i = 0, _i = xs.length; i < _i; i++) {
  221. const x = xs[i];
  222. const u = Atom.unit(x), v = Atom.index(x);
  223. const set = sets[u];
  224. if (set) set[set.length] = v;
  225. else sets[u] = [v];
  226. }
  227. const ret: { [key: number]: OrderedSet } = Object.create(null);
  228. const keys = [];
  229. for (const _k of Object.keys(sets)) {
  230. const k = +_k;
  231. keys[keys.length] = k;
  232. ret[k] = OrderedSet.ofSortedArray(normalizeArray(sets[k]));
  233. }
  234. return ofObject1(keys, ret);
  235. }
  236. function getOffsetIndex(xs: ArrayLike<number>, value: number) {
  237. let min = 0, max = xs.length - 1;
  238. while (min < max) {
  239. const mid = (min + max) >> 1;
  240. const v = xs[mid];
  241. if (value < v) max = mid - 1;
  242. else if (value > v) min = mid + 1;
  243. else return mid;
  244. }
  245. if (min > max) {
  246. return max;
  247. }
  248. return value < xs[min] ? min - 1 : min;
  249. }
  250. function getAtE(set: AtomSetElements, i: number): Atom {
  251. const { offsets, keys } = set;
  252. const o = getOffsetIndex(offsets, i);
  253. if (o >= offsets.length - 1) return 0 as any;
  254. const k = keys[o];
  255. const e = OrderedSet.getAt(set[k], i - offsets[o]);
  256. return Atom.create(k, e);
  257. }
  258. function indexOfE(set: AtomSetElements, t: Atom) {
  259. const { keys } = set;
  260. const u = Atom.unit(t);
  261. const setIdx = SortedArray.indexOf(keys, u);
  262. if (setIdx < 0) return -1;
  263. const o = OrderedSet.indexOf(set[u], Atom.index(t));
  264. if (o < 0) return -1;
  265. return set.offsets[setIdx] + o;
  266. }
  267. function computeHash(set: AtomSetElements) {
  268. const { keys } = set;
  269. let hash = 23;
  270. for (let i = 0, _i = keys.length; i < _i; i++) {
  271. const k = keys[i];
  272. hash = (31 * hash + k) | 0;
  273. hash = (31 * hash + OrderedSet.hashCode(set[k])) | 0;
  274. }
  275. hash = (31 * hash + size(set)) | 0;
  276. hash = hash1(hash);
  277. set.hashCode = hash;
  278. return hash;
  279. }
  280. function areEqualEE(a: AtomSetElements, b: AtomSetElements) {
  281. if (a === b) return true;
  282. if (size(a) !== size(a)) return false;
  283. const keys = a.keys;
  284. if (!SortedArray.areEqual(keys, b.keys)) return false;
  285. for (let i = 0, _i = keys.length; i < _i; i++) {
  286. const k = keys[i];
  287. if (!OrderedSet.areEqual(a[k], b[k])) return false;
  288. }
  289. return true;
  290. }
  291. function areIntersectingNE(a: Atom, b: AtomSetElements) {
  292. const u = Atom.unit(a);
  293. return SortedArray.has(b.keys, u) && OrderedSet.has(b[u], Atom.index(a));
  294. }
  295. function areIntersectingEE(a: AtomSetElements, b: AtomSetElements) {
  296. if (a === b) return true;
  297. const keysA = a.keys, keysB = b.keys;
  298. if (!SortedArray.areIntersecting(a.keys, b.keys)) return false;
  299. const r = SortedArray.findRange(keysA, SortedArray.min(keysB), SortedArray.max(keysB));
  300. const start = Interval.start(r), end = Interval.end(r);
  301. for (let i = start; i < end; i++) {
  302. const k = keysA[i];
  303. const ak = a[k], bk = b[k];
  304. if (!!ak && !!bk && OrderedSet.areIntersecting(ak, bk)) return true;
  305. }
  306. return false;
  307. }
  308. function intersectNE(a: Atom, b: AtomSetElements) {
  309. const u = Atom.unit(a);
  310. return !!b[u] && OrderedSet.has(b[u], Atom.index(a)) ? a : Empty;
  311. }
  312. function intersectEE(a: AtomSetElements, b: AtomSetElements) {
  313. if (a === b) return a;
  314. const keysA = a.keys, keysB = b.keys;
  315. if (!SortedArray.areIntersecting(a.keys, b.keys)) return Empty;
  316. const r = SortedArray.findRange(keysA, SortedArray.min(keysB), SortedArray.max(keysB));
  317. const start = Interval.start(r), end = Interval.end(r);
  318. const keys = [], ret = Object.create(null);
  319. for (let i = start; i < end; i++) {
  320. const k = keysA[i];
  321. const bk = b[k];
  322. if (!bk) continue;
  323. const intersection = OrderedSet.intersect(a[k], b[k]);
  324. if (OrderedSet.size(intersection) > 0) {
  325. keys[keys.length] = k;
  326. ret[k] = intersection;
  327. }
  328. }
  329. return ofObjectOrdered(SortedArray.ofSortedArray(keys), ret);
  330. }
  331. function subtractNE(a: Atom, b: AtomSetElements) {
  332. return hasAtom(b, a) ? Empty : a;
  333. }
  334. function subtractEN(a: AtomSetElements, b: Atom): AtomSetImpl {
  335. if (!hasAtom(a, b)) return a;
  336. const u = Atom.unit(b), v = Atom.index(b);
  337. const set = a[u];
  338. if (OrderedSet.size(set) === 1) {
  339. // remove the entire unit.
  340. return ofObjectOrdered(SortedArray.subtract(a.keys, SortedArray.ofSingleton(u)), a);
  341. } else {
  342. const ret: { [key: number]: OrderedSet } = Object.create(null);
  343. for (let i = 0, _i = a.keys.length; i < _i; i++) {
  344. const k = a.keys[i];
  345. if (k === u) {
  346. ret[k] = OrderedSet.subtract(set, OrderedSet.ofSingleton(v));
  347. } else ret[k] = a[k];
  348. }
  349. return ofObjectOrdered(a.keys, ret);
  350. }
  351. }
  352. function subtractEE(a: AtomSetElements, b: AtomSetElements) {
  353. if (a === b) return Empty;
  354. const keysA = a.keys, keysB = b.keys;
  355. if (!SortedArray.areIntersecting(keysA, keysB)) return a;
  356. const r = SortedArray.findRange(keysA, SortedArray.min(keysB), SortedArray.max(keysB));
  357. const start = Interval.start(r), end = Interval.end(r);
  358. const keys = [], ret = Object.create(null);
  359. for (let i = 0; i < start; i++) {
  360. const k = keysA[i];
  361. keys[keys.length] = k;
  362. ret[k] = a[k];
  363. }
  364. for (let i = start; i < end; i++) {
  365. const k = keysA[i];
  366. const ak = a[k], bk = b[k];
  367. if (!!bk) {
  368. const subtraction = OrderedSet.subtract(ak, bk);
  369. if (OrderedSet.size(subtraction) > 0) {
  370. keys[keys.length] = k;
  371. ret[k] = subtraction;
  372. }
  373. } else {
  374. keys[keys.length] = k;
  375. ret[k] = a[k];
  376. }
  377. }
  378. for (let i = end, _i = keysA.length; i < _i; i++) {
  379. const k = keysA[i];
  380. keys[keys.length] = k;
  381. ret[k] = a[k];
  382. }
  383. return ofObjectOrdered(SortedArray.ofSortedArray(keys), ret);
  384. }
  385. function findUnion(sets: ArrayLike<AtomSetImpl>) {
  386. if (!sets.length) return Empty;
  387. if (sets.length === 1) return sets[0];
  388. if (sets.length === 2 && areEqual(sets[0], sets[1])) return sets[0];
  389. const eCount = { count: 0 };
  390. const ns = unionN(sets, eCount);
  391. if (!eCount.count) return ns;
  392. const ret = Object.create(null);
  393. for (let i = 0, _i = sets.length; i < _i; i++) {
  394. const s = sets[i];
  395. if (typeof s !== 'number') unionInto(ret, s as AtomSetElements);
  396. }
  397. if (size(ns as AtomSetImpl) > 0) {
  398. if (typeof ns === 'number') unionIntoN(ret, ns as any);
  399. else unionInto(ret, ns as AtomSetElements);
  400. }
  401. return ofObject(ret);
  402. }
  403. function unionN(sets: ArrayLike<AtomSetImpl>, eCount: { count: number }) {
  404. let countN = 0, countE = 0;
  405. for (let i = 0, _i = sets.length; i < _i; i++) {
  406. if (typeof sets[i] === 'number') countN++;
  407. else countE++;
  408. }
  409. eCount.count = countE;
  410. if (!countN) return Empty;
  411. if (countN === sets.length) return ofAtoms(sets as ArrayLike<Atom>);
  412. const packed = new Float64Array(countN);
  413. let offset = 0;
  414. for (let i = 0, _i = sets.length; i < _i; i++) {
  415. const s = sets[i];
  416. if (typeof s === 'number') packed[offset++] = s;
  417. }
  418. return ofAtoms(packed as any);
  419. }
  420. function unionInto(data: { [key: number]: OrderedSet }, a: AtomSetElements) {
  421. const keys = a.keys;
  422. for (let i = 0, _i = keys.length; i < _i; i++) {
  423. const k = keys[i];
  424. const set = data[k];
  425. if (set) data[k] = OrderedSet.union(set, a[k]);
  426. else data[k] = a[k];
  427. }
  428. }
  429. function unionIntoN(data: { [key: number]: OrderedSet }, a: Atom) {
  430. const u = Atom.unit(a);
  431. const set = data[u];
  432. if (set) {
  433. data[u] = OrderedSet.union(set, OrderedSet.ofSingleton(Atom.index(a)));
  434. } else {
  435. data[u] = OrderedSet.ofSingleton(Atom.index(a));
  436. }
  437. }