A faster restriction algorithm.

[daemontus]

The difference is not massive when the result is small (i.e. a lot of variables are being restricted). But for medium to large results, the speedup is easily 2-5x.

restrict_perf.txt

[codecov]

Codecov Report

Attention: 20 lines in your changes are missing coverage. Please review.

❗ No coverage uploaded for pull request base (master@209a9fb). Click here to learn what that means.

Files	Patch %	Lines
examples/bench_restrict.rs	0.00%	19 Missing ⚠️
src/_impl_bdd/_impl_relation_ops.rs	97.77%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff            @@
##             master      #51   +/-   ##
=========================================
  Coverage          ?   90.16%           
=========================================
  Files             ?       25           
  Lines             ?     1942           
  Branches          ?        0           
=========================================
  Hits              ?     1751           
  Misses            ?      191           
  Partials          ?        0           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.