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 |
Linear Temporal Logics based on SFs.
This module contains a definition of LTL with Next on top of Signal Functions.
LTL predicates are parameterized over an input. A basic proposition is a Signal Function that produces a boolean function.
Synopsis
- data TPred a where
- evalT :: TPred a -> SignalSampleStream a -> Bool
Documentation
Type representing future-time linear temporal logic predicates with until and next.