representative ( a disjoint-set -- p )

Vocabulary

disjoint-sets

Inputs

a	an object
disjoint-set	an object

Outputs

p

an object

Definition

IN: disjoint-sets

GENERIC: representative ( a disjoint-set -- p )

Methods

USING: accessors assocs disjoint-sets disjoint-sets.private
kernel ;

M:: disjoint-set representative ( a disjoint-set -- p )
    a disjoint-set parents>> at* :> ( p present? ) a p =
    [ a ] [
        p disjoint-set representative :> root root p =
        present? and [ root a disjoint-set set-parent ] unless
        root
    ] if ;