Location of visitVariable and visitConstant in online - Githubissues

nickovic / rtamt

Specification-based real-time monitoring library

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

50 stars 20 forks source link

Location of visitVariable and visitConstant in online #144

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

Now I put these here in dense time case, https://github.com/nickovic/rtamt/blob/05d2e0bc2d419c0e1c2c9ea24f5c0298b0d560fb/rtamt/operation/abstract_dense_time_online_evaluator.py#L44-L55

discrete time case, https://github.com/nickovic/rtamt/blob/05d2e0bc2d419c0e1c2c9ea24f5c0298b0d560fb/rtamt/operation/abstract_discrete_time_online_evaluator.py#L115-L125

I'm not sure my decision is good or not.

TomyYamy commented 2 years ago

We are done.