probsys / sppl

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

Unify variables names of "values", "x", "intervals", and other names for "y" #16

Closed fsaad closed 4 years ago

fsaad commented 4 years ago

Everything having to do with "invert" should use a variable name "y", not "x", for consistency. Intervals, intersections, values, and finite sets should also all be "y".