Copyright | (c) Ivan Perez 2017-2022 |
---|---|
License | BSD-style (see the LICENSE file in the distribution) |
Maintainer | ivan.perez@keera.co.uk |
Safe Haskell | Safe-Inferred |
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.