fix: Take ownership of the propagation context in propagators

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.

Apache License 2.0

17 stars 4 forks source link

fix: Take ownership of the propagation context in propagators #84

Closed maartenflippo closed 3 weeks ago

maartenflippo commented 3 weeks ago

Since PropagationContext is a collection of references, it can be safely copied. We have already implemented the Copy trait, and the final spots where the context is passed to the propagator as a reference have now been removed.