Method newHintForId

ecgo/builder/builder.go:208–225

(id solver.HintID, nbOutputs int, inputs []frontend.Variable)

}

func (builder *builder) newHintForId(id solver.HintID, nbOutputs int, inputs []frontend.Variable) ([]frontend.Variable, error) {
	hintInputs := builder.toVariableIds(inputs...)

	builder.instructions = append(builder.instructions,
		irsource.Instruction{
			Type:       irsource.Hint,
			ExtraId:    uint64(id),
			Inputs:     hintInputs,
			NumOutputs: nbOutputs,
		},
	)

	res := make([]frontend.Variable, nbOutputs)
	for i := 0; i < nbOutputs; i++ {
		res[i] = builder.addVar()
	}
	return res, nil
}

func (builder *builder) CustomGate(gateType uint64, inputs ...frontend.Variable) frontend.Variable {
	hintInputs := builder.toVariableIds(inputs...)