Time Series Support - Githubissues

idaks / PW-explorer

Apache License 2.0

16 stars 1 forks source link

Open sahil1105 opened 5 years ago

sahil1105 commented 5 years ago

Syntax to highlight temporal fields eg. % temporal move(,,T)
In-built ways to interact with such models:
- group the "states" by time
- visualize by time step
- distance in time series situations
- simple visualization that shows a PW's in a time series (with each time step being a state comprising of the "facts" at that time step).

sahil1105 commented 5 years ago

added syntax to detect temporal declarations in v0.0.15 Now working on making PWE more time series friendly.

sahil1105 commented 5 years ago

[x] group the "states" by time
[ ] distance in time series situations
[x] visualize by time step
[x] simple visualization that shows a PW's in a time series (with each time step being a state comprising of the "facts" at that time step).