Bodu.Collections 1.0.0

Bodu.Collections

API stability — Stable. The public API surface is committed; breaking changes are reserved for a major-version bump per SemVer.

The specialized generic-collection catalogue for the Bodu solution and for general .NET 8 use: bounded and ordered collections, bidirectional and layered dictionaries, navigable (order-statistic) sets and maps, interval and range-keyed lookups, graph and tree structures, and probabilistic sketches. The catalogue was split out of Bodu.Core with namespaces unchanged — code written against Bodu.Collections.Generic and its siblings keeps compiling; only the package reference changes. Every collection ships a struct enumerator for allocation-free iteration and implements the standard BCL interfaces (IEnumerable<T>, ICollection<T>, IReadOnlyCollection<T>, ISet<T>, IList<T>) so the types drop into existing code. The package references Bodu.Core for its shared primitives (ThrowHelper argument validation, IRandomGenerator, pooled buffers).

Installation

dotnet add package Bodu.Collections

Targets net8.0. Depends on Bodu.Core.

Collections

Graphs

The Bodu.Collections.Generic.Graphs namespace provides an adjacency-list Graph<T> (directed or undirected, optionally weighted), the static GraphAlgorithms catalogue (breadth-/depth-first traversal, Dijkstra shortest path, Kahn topological sort, connected components) over the read-only IReadOnlyGraph<T> / IReadOnlyWeightedGraph<TVertex> interfaces, and the element-keyed union-find structure DisjointSet<T>.

Trees and tries

The Bodu.Collections.Generic.Trees namespace provides Tree<T> (a mutable n-ary tree node with iterative, stack-safe traversals), the prefix trees Trie / Trie<TValue> (string set / string-keyed map with prefix queries), their path-compressed siblings RadixTrie / RadixTrie<TValue> (identical member-for-member surface over PATRICIA-style edges), and AhoCorasickAutomaton / AhoCorasickAutomaton<TValue> (immutable multi-pattern matchers that report every occurrence of every pattern in a single O(text + matches) pass).

Probabilistic collections

The Bodu.Collections.Probabilistic namespace ships three fixed-footprint approximate sketches, each with a one-sided, quantified error contract:

• BloomFilter<T> — approximate set membership with no false negatives; false positives approach the design rate as the fill approaches ExpectedItems.
• CountMinSketch<T> — approximate frequencies that never underestimate; overestimates by at most ε · TotalCount with probability ≥ 1 − δ.
• HyperLogLog<T> — approximate distinct counts with a relative standard error of about 1.04/√m for m = 2^precision one-byte registers.

All three hash through an IEqualityComparer<T>, merge with parameter-compatible instances, and round-trip their state through an opaque, version-checked export format. None is thread-safe.

The thread-safe variants (ConcurrentCircularBuffer<T>, ConcurrentHashSet<T>) ship separately in the Bodu.Collections.Concurrent package.

Testing

Tests live in test/ as MSTest partial classes mirroring src/. Run tiers via the runsettings files at the solution root:

dotnet test Bodu.Collections/test/Bodu.Collections.Test.csproj --settings smoke.runsettings
dotnet test Bodu.Collections/test/Bodu.Collections.Test.csproj --settings bvt.runsettings
dotnet test Bodu.Collections/test/Bodu.Collections.Test.csproj --settings regression.runsettings

Collection behaviour is validated through shared contract bases (CollectionContractTests<>, ReadOnlyCollectionContractTests<>, SetContractTests<>, EnumeratorContractTests<>, DebugViewContractTests<>, NonGenericCollectionContractTests<>) so every collection is held to the same interface contract.

License

MIT. © Bodu Pty. Ltd.