kdrag.utils.consts

kdrag.utils.consts(t: ExprRef) → set[ExprRef]

Return all constants in a term.

>>> x,y = smt.Ints("x y")
>>> consts(x + (y * y) + 1) == {smt.IntVal(1), x, y}
True