Fix `VarOrder` constructor taking ownership, remove duplicate `linear_order`

neuppl / rsdd

Performant and safe knowledge compilation in rust

https://neuppl.github.io/rsdd-docs/

MIT License

23 stars 9 forks source link

Fix `VarOrder` constructor taking ownership, remove duplicate `linear_order` #173

Closed mattxwang closed 1 year ago

mattxwang commented 1 year ago

Not sure why there are two different linear_order constructors (that reimplement the same logic); they seem accidental. Also have minorly renamed the argument to be clearer.