probsys / sppl

Probabilistic programming system for fast and exact symbolic inference
Apache License 2.0
76 stars 10 forks source link

Remove all prob 0 conjunctions before calling inclusion-exclusion in Product #39

Closed fsaad closed 4 years ago

fsaad commented 4 years ago

Saves computing all the subsets terms involving those conjunctions https://github.com/probcomp/sum-product-dsl/blob/aa2a5024c624cada38fb96559600ba40f4d3e0e9/src/spn.py#L295-L299