Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(#537): Incorrect facet statistics difference when userFilter is used #546

Merged

Conversation

novoj
Copy link
Collaborator

@novoj novoj commented Apr 29, 2024

When UserFilterFormula was not part of the computational tree, the facet impact computation didn't work well. Also the calculation of the best query plan tree was inverse and that was corrected as well. Finally the pretty printing visitor got split in normal and verbose mode. The normal mode is much more comprehensible when debugging larger trees.

When UserFilterFormula was not part of the computational tree, the facet impact computation didn't work well. Also the calculation of the best query plan tree was inverse and that was corrected as well. Finally the pretty printing visitor got split in normal and verbose mode. The normal mode is much more comprehensible when debugging larger trees.
@novoj novoj merged commit 4225b35 into dev Apr 29, 2024
1 check passed
@novoj novoj deleted the 537-incorrect-facet-statistics-difference-when-userfilter-is-used branch April 29, 2024 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant