Move shared `compile_*` to `BottomUpBuilder`

neuppl / rsdd

Performant and safe knowledge compilation in rust

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

MIT License

23 stars 9 forks source link

Closed mattxwang closed 1 year ago

mattxwang commented 1 year ago

Now, the SDD builder gets quite a bit of behaviour for free!

(also, renames from_boolexpr to from_logical_expr for consistency)

Part of: #155.