Method find

unionfind/unionfind.go:78–92

Find the representative element from the set of s.

(s ast.BaseTerm)

// Find the representative element from the set of s.
func (uf UnionFind) find(s ast.BaseTerm) ast.BaseTerm {
	child := s
	parent := uf.parent[child]
	if parent == nil {
		return nil
	}
	for child != parent {
		grandparent := uf.parent[parent]
		// Optimize the next lookup
		uf.parent[child] = grandparent
		child = grandparent
		parent = uf.parent[child]
	}
	return parent
}

// Returns true if v can be unified with t, updates unionfind sets.
func (uf UnionFind) unify(v ast.Variable, t ast.BaseTerm) bool {