kdrag.theories.logic.temporal.TSort

kdrag.theories.logic.temporal.TSort(sort)

Lift a sort to a sort that depends on time

>>> TR = TSort(smt.RealSort())
>>> x,y = smt.Consts("x y", TR)
>>> _ = x + y
>>> _ = x + TLift(2.1)