FRP.Yampa.LTLPast

Past-time Linear Temporal Logics based on SFs.

This module contains a definition of ptLTL with prev/last on top of Signal Functions.

The difference between the future time and the past time LTL is that the former needs a trace for evaluation, and the latter can be embedded into a signal function network without additional support for evaluation.

Documentation

andSF :: SF (Bool, Bool) Bool

True if both inputs are True.

orSF :: SF (Bool, Bool) Bool

True if either or both inputs are True.

notSF :: SF Bool Bool

True if the input signal is False.

impliesSF :: SF (Bool, Bool) Bool

True if the first signal is False or the second one is True.

sofarSF :: SF Bool Bool

True a a time if the input signal has been always True so far.

everSF :: SF Bool Bool

True at a time if the input signal has ever been True before.

lastSF :: SF Bool Bool

True if the signal was True in the last sample. False at time zero.

untilSF :: SF (Bool, Bool) Bool

Weak Until. True if the first signal is True until the second becomes True, if ever.