search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
271 stars 93 forks source link

Add Intersects Operator #183

Closed Eric-Vin closed 10 months ago

Eric-Vin commented 11 months ago

Add an operator for checking intersection of Objects/Regions. This will automatically use internal heuristics for fast checks as well.

Eric-Vin commented 11 months ago

Made the relevant changes, but converting this to a draft PR while we discuss a similar operator that uses the footprint of regions as discussed.