Method constantValue

ecgo/builder/builder.go:120–126

(x int)

}

func (builder *builder) constantValue(x int) (constraint.Element, bool) {
	i := builder.varConstId[x]
	if i == 0 {
		return constraint.Element{}, false
	}
	return builder.constValues[i], true
}

func (builder *builder) addVarId() int {
	builder.maxVar += 1