Add reset() for dense time online monitoring

nickovic / rtamt

Specification-based real-time monitoring library

BSD 3-Clause "New" or "Revised" License

50 stars 20 forks source link

Add reset() for dense time online monitoring #137

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

I add reset() to dense time online too in semantics-refactoring. Could you please add specific reset() for all of dense time online operations rtamt/rtamt/operation/stl/dense_time/online/ rtamt/rtamt/operation/arithmetic/dense_time/online/

TomyYamy commented 2 years ago

We are done.