Index of /trunk/source/Library-UltimateUtil/src/de/uni_freiburg/informatik/ultimate/util/datastructures

Icon  Name                                                                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] congruenceclosure/ 2023-06-22 15:32 - [DIR] poset/ 2022-09-12 11:41 - [DIR] relation/ 2024-10-12 21:50 - [TXT] BaseScopedSet.java 2016-06-14 10:46 3.7K [TXT] BidirectionalMap.java 2023-06-01 16:08 6.0K [TXT] BigInterval.java 2024-10-12 21:50 13K [TXT] BitSubSet.java 2023-10-31 23:12 9.7K [TXT] BitvectorConstant.java 2022-01-13 10:57 21K [TXT] CrossProducts.java 2018-05-29 20:16 12K [TXT] DataStructureUtils.java 2023-10-31 23:12 15K [TXT] Doubleton.java 2016-09-21 18:49 3.0K [TXT] EqualityStatus.java 2017-11-16 06:20 1.4K [TXT] FilteredIterable.java 2017-11-16 06:20 2.9K [TXT] GraphToTgf.java 2021-02-19 15:38 5.7K [TXT] HashDeque.java 2021-07-15 14:43 6.1K [TXT] HashedPriorityQueue.java 2021-01-15 13:27 4.7K [TXT] ImmutableList.java 2022-09-12 11:41 7.1K [TXT] ImmutableSet.java 2021-07-15 14:43 10K [TXT] IPartition.java 2017-11-16 06:20 2.0K [TXT] IScopedMap.java 2016-06-14 10:46 1.6K [TXT] IterableIntersection.java 2022-12-23 23:27 2.5K [TXT] IteratorConcatenation.java 2021-01-15 13:27 2.8K [TXT] LinkedScopedHashMap.java 2016-09-21 18:49 8.4K [TXT] LinkedScopedHashSet.java 2016-06-14 10:46 1.5K [TXT] MultiElementCounter.java 2021-02-19 15:38 3.4K [TXT] PowersetIterator.java 2018-07-04 16:55 3.3K [TXT] ScopedArrayList.java 2016-06-14 10:46 2.9K [TXT] ScopedHashMap.java 2021-01-15 13:27 9.0K [TXT] ScopedHashSet.java 2016-06-14 10:46 1.5K [TXT] ScopedLinkedHashMap.java 2021-02-19 15:38 4.9K [TXT] ScopedLinkedHashSet.java 2021-02-19 15:38 2.9K [TXT] SerialProvider.java 2018-09-14 15:32 1.6K [TXT] SparseMapBuilder.java 2022-11-07 17:04 4.3K [TXT] ThreeValuedEquivalenceRelation.java 2021-07-15 14:43 20K [TXT] TreePriorityQueue.java 2021-02-19 15:38 3.7K [TXT] UnifyHash.java 2016-06-14 10:46 13K [TXT] UnionFind.java 2023-11-20 10:59 22K