kdrag.theories.logic.temporal.UNCHANGED

kdrag.theories.logic.temporal.UNCHANGED(p: DatatypeRef) → DatatypeRef

Returns the TBool representing that signal at time t equals signal at time t + 1

>>> smt.simplify(Valid(UNCHANGED(TLift(1))))
True