Skip to content

search: short-circuit quantifiers over queries

Administrator requested to merge rvt/search-quantifier-helpers into master

Created by: rvantonder

There are a couple of functions that check existential properties on queries, so this PR adds exists and forAll quantifiers. The previous checks did a full traversal of the tree, the added benefit of exists/forAll is it shortcircuits when the condition is satisfied/falsified.

Existing tests cover these.

Merge request reports