Function unionFindFromMap

unionfind/unionfind_test.go:113–121

unionFindFromMap turns the given map into a UnionFind instance.

(base map[ast.Variable]ast.BaseTerm)

// unionFindFromMap turns the given map into a UnionFind instance.
func unionFindFromMap(base map[ast.Variable]ast.BaseTerm) (UnionFind, error) {
	var vars []ast.BaseTerm
	var terms []ast.BaseTerm
	for v, c := range base {
		vars = append(vars, v)
		terms = append(terms, c)
	}
	return UnifyTerms(vars, terms)
}

func TestUnifyExtendPositive(t *testing.T) {
	tests := []struct {