Module Term.Term_union_find


module Term_union_find: Union_find.S  with type elem = term
Union-find over terms.

type elem 
Type of elements in the union find.
type t 
Type for the union-find data structure.
val create : unit -> t
A new union-find data structure.
val equivalent : t -> elem -> elem -> bool
Are the two elements equivalent?
val union : t -> elem -> elem -> unit
union s x y merges the equivalence classes for x and y.


val representative : t -> elem -> elem
A representative for the class containing the element.


val is_representative : t -> elem -> bool
Is the element the representative for its class?
val members : t -> elem -> elem Bunch.t
members s x is the bunch of all elements in the class of x.



Hosted by the SourceForge.net Logo* web site.
*Other names and brands may be claimed as the property of others.