|
| Language.Copilot.Libs.PTLTL |
|
|
| Description |
| Provides past-time linear-temporal logic (ptLTL operators).
|
|
| Synopsis |
|
|
|
| Documentation |
|
| previous :: Var -> Spec Bool -> Streams |
| Did s hold in the previous period?
|
|
| alwaysBeen :: Var -> Spec Bool -> Streams |
| Has s always held?
|
|
| eventuallyPrev :: Var -> Spec Bool -> Streams |
| Did s hold at some time in the past (including the current state)?
|
|
| since :: Var -> (Spec Bool, Spec Bool) -> Streams |
| Once s2 holds, in the following state (period), does s1 continuously hold?
|
|
| Produced by Haddock version 2.6.1 |
