Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.