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