kdrag.theories.set.Range

kdrag.theories.set.Range(f: FuncDeclRef) → ArrayRef

Range of a function. Also known as the Image of the function.

>>> f = smt.Function("f", smt.IntSort(), smt.IntSort())
>>> Range(f)
Lambda(y, Exists(x0, f(x0) == y))