search

nickovic / rtamt

Specification-based real-time monitoring library
BSD 3-Clause "New" or "Revised" License
50 stars 20 forks source link

Unclear methods in spec layer #140

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

We are wondering how to handle those methods in spec and what was for. https://github.com/nickovic/rtamt/blob/4e3f7b38146fb8c84ed91960fbe3f99ca331aee2/rtamt/spec/abstract_specification.py#L91-L105

TomyYamy commented 2 years ago

We have immigrate it.