Temporal
@kortexya/reasoninglayer / Temporal
Temporal
Interfaces
- KripkeState
- KripkeTransition
- TemporalModelCheckRequest
- TemporalModelCheckResponse
- TemporalSeries
- TemporalSeriesPoint
- TemporalSeriesRequest
- TemporalSeriesResponse
- TemporalSeriesSpec
- TemporalTrendSummary
Type Aliases
- CtlCounterExample
- CtlFormula
- SeriesEpochUnit
- SeriesMissingPolicy
- SeriesOperator
- SeriesTimeSource
- SeriesValueSource
- SeriesWindowSpec
References
TermSetSelector
Re-exports TermSetSelector