search

nickovic / rtamt

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

Merge intersection.py to TimeEvaluation class #128

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

Merge this code https://github.com/nickovic/rtamt/blob/01ec2fcc0f19c347e2590a4d5b588bfcc155ef5c/rtamt/operation/stl/dense_time/offline/intersection.py to this code https://github.com/nickovic/rtamt/blob/01ec2fcc0f19c347e2590a4d5b588bfcc155ef5c/rtamt/operation/dense_time_evaluator.py in some way.

But maybe later.

TomyYamy commented 2 years ago

We have done.