for_all2, exists2, fold2 and iter2 functions to maps and sets.polypredicate types, as they can be expressed by bool polyfoldpolyfold2_inter to use same convention as polyfold2 (move res argument last, encode non-fold functions)polysame_domain_for_all2, polyfor_all2 and polycompare types, as they can all be expressed with polyfold2 or polyfold2_inter.NODE_WITH_FIND module type, as WithForeign can now operate directly on NODE.difference called on physically equal values (#37)reflexive_compare not being a true order relation (#39)nonreflexive_subset_domain_for_all2 to allows usage with maps of different type.nonidempotent_union (by julow in #26)nonidempotent_inter_filter_no_share (by julow in #28)reflexive_subset_domain_for_all2, [non]reflexive_any_domain_for_all2, fold_on_union, fold_on_inter (#27)fold_on_nonequal_{union,inter}: both maps are no longer required to have the same type.polyfold2 is renamed to polyfold2_inter; polyfold2_union is renamed to polyfold2 and gains a new parameter to allow use with maps of different types. This should not break code that instantiate these types but will break code that has explicit type annotations.difference: it can now skip physically equal subtrees.polyiter and polyfold into a single type with a parameter for return value. Same for polyiter2 and polyfold2.MutexProtectNode functors to enable multithreaded use of non-thread safe nodes (#24).Make[Heterogeneous]Hashconsed[Set|Map]WithMutex functors using MutexProtectNode for convenience (#24).nonreflexive_same_domain_forall2 (by julow in #19)reflexive_equal and reflexive_compare functionsmin_binding_inter for maps, min_elt_inter for sets and their max counterpartsdifference and symmetric_difference function to maps (and add difference to WithForeign)diff functions to setsfold_on_nonequal_inter and fold_on_nonequal_union to maps.zarith dependency.Breaking changes:
MakeCustom to MakeCustomMap, added new functor MakeCustomSet. MakeCustomMap changed to take a new argument to specify the 'a value type.MakeCustomHeterogeneous to MakeCustomHeterogeneousMap, added new functor MakeCustomHeterogeneousSet.NODE_WITH_ID.get_id to NODE_WITH_ID.to_int, this allows using instances NODE_WITH_ID directly as a KEY.VALUE to HETEROGENEOUS_VALUE, added a VALUE module type (previously unnamed).min_binding, max_binding, pop_minimum, pop_maximum, min_elt and max_elt to unsigned_min_binding, unsigned_max_binding, pop_unsigned_minimum, pop_unsigned_maximum, unsigned_min_elt and unsigned_max_elt respectively, to clarify that these functions consider negative numbers as larger than positive ones.New features:
MAP_WITH_VALUE which is the same as MAP but with a custom type 'a value instead of just 'a.HashconsedNode, HashconsedSetNode as well as four functors to create hash-consed heterogeneous/homogeneous maps/sets: MakeHashconsedMap, MakeHashconsedSet, MakeHashconsedHeterogeneousMap and MakeHashconsedHeterogeneousSet.0 is the minimal number and -1 the maximal one.fold_on_nonequal_inter and fold_on_nonequal_union to maps.Bug fixes:
NodeWithId wasn't incrementing ids properlyzarith is no longer a dependency, used GCC's __builtin_clz as a faster method of finding an integer's highest bit.pop_minimum and pop_maximum could throw a private exception Dissappeared when using WeakNode.idempotent_subset_domain_forall2 with WeakNode.