Module `Union_Find_Lattice.Classic`

Classic union-find lattice with no extensions (values or labels)

module ArrayWithCopy
  (Config : Parameters.ARRAY_CONFIG)
  (Node : Parameters.NODE_WITH_COMPARE) : 
  Sig.UNION_FIND_LATTICE with type node = Node.t

Reference implementation: this implements union-find as a mutable array. Warning: it is NOT persistent, but provides a copy function

module PatriciaTree
  (Config : Parameters.PATRICIA_TREE_CONFIG)
  (Node : Parameters.NODE) : 
  Sig.UNION_FIND_LATTICE with type node = Node.t

Patricia-tree based union-find lattice

module PersistentArray
  (Config : Parameters.PERSISTENT_ARRAY_CONFIG)
  (Node : Parameters.NODE) : 
  Sig.UNION_FIND_LATTICE with type node = Node.t

Persistent array based union-find lattice.

module PersistentArrayNCA
  (Config : Parameters.PERSISTENT_ARRAY_CONFIG)
  (Node : Parameters.NODE) : 
  Sig.UNION_FIND_LATTICE with type node = Node.t

Persistent array based union-find lattice. Same as PersistentArray, but builds join on the nearest common ancestor instead of on one of the arguments.

Module Union_Find_Lattice.Classic

Module `Union_Find_Lattice.Classic`