Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update gs_python.md #24

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Update gs_python.md #24

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/gs_python.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ We import Reelay monitors as follows:
import reelay
```

The package consists of two constructs `discrete_time_monitor` and `dense_timed_monitor`. Normally you would select discrete timed model if you work on discrete time behaviors and dense timed model if dense time behaviors. This choice depends on on your system and needs. If you haven't already, please check the documentation on [discrete and dense time behaviors](docs/behaviors.md) before proceeding.
The package consists of two constructs `discrete_time_monitor` and `dense_timed_monitor`. Normally you would select discrete timed model if you work on discrete time behaviors and dense timed model if dense time behaviors. This choice depends on on your system and needs. If you haven't already, please check the documentation on [discrete and dense time behaviors](behaviors.md) before proceeding.

## Check Requirements over Discrete Time Behaviors

Expand Down Expand Up @@ -59,4 +59,4 @@ print(results) # Print all

where `faulty_sys_behavior` is a list of dicts. And the output `r1` is similarly a list of dicts that contains the result at that time step.

The complete source file of the dense timed monitor of DOW warning tutorial can be found [here](https://github.com/doganulus/reelay/blob/master/apps/tutorial/door_open_warning/python/dense_tutorial.py).
The complete source file of the dense timed monitor of DOW warning tutorial can be found [here](https://github.com/doganulus/reelay/blob/master/apps/tutorial/door_open_warning/python/dense_tutorial.py).