Parameters.GENERIC_VALUE
The values associated with each equivalence class in the functional union-find
include SIMPLE_GENERIC_VALUE
apply v r
is the value obtained by applying relation r
to value v
apply
should be a group action from R : GENERIC_GROUP with type ('a,'b) t = ('a,'b) relation
on the value 'a t
. Meaning it should verify the following:
apply v R.identity = v
apply (apply v r2) r1 = apply v (R.compose r2 r1)
val pretty : Stdlib.Format.formatter -> 'a t -> unit
Only required for Functional.XX.pretty
val is_top : 'a t -> bool
Only required for Functional
, top values can be removed from the data structure which allows smaller structures and faster access. This function only need to be an over-approximation: it can return false
on top, but returning true
on non-top leads to precision-loss.