kdrag.utils.consts

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

Return all constants in a term.

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