Method toVariableIds

ecgo/builder/builder.go:175–185

toVariables return frontend.Variable corresponding to inputs and the total size of the linear expressions

(in ...frontend.Variable)

// toVariables return frontend.Variable corresponding to inputs and the total size of the linear expressions
func (builder *builder) toVariableIds(in ...frontend.Variable) []int {
	r := make([]int, 0, len(in))
	e := func(i frontend.Variable) {
		v := builder.toVariableId(i)
		r = append(r, v)
	}
	for i := 0; i < len(in); i++ {
		e(in[i])
	}
	return r
}

// NewHint initializes internal variables whose value will be evaluated using
// the provided hint function at run time from the inputs. Inputs must be either