forked frompostgres/postgres
- Notifications
You must be signed in to change notification settings - Fork6
Commitc7076ba
committed
Refactor predicate_{implied,refuted}_by_simple_clause.
Put the node-type-dependent operations into switches on nodeTag.This should ease addition of new proof rules for other expressionnode types. There is no functional change, although some testsare made in a different order than before.Also, add a couple of new cross-checks in test_predtest.c.James Coleman (part of a larger patch series)Discussion:https://postgr.es/m/CAAaqYe8Bo4bf_i6qKj8KBsmHMYXhe3Xt6vOe3OBQnOaf3_XBWg@mail.gmail.com1 parentbc5fcaa commitc7076ba
File tree
2 files changed
+258
-136
lines changed- src
- backend/optimizer/util
- test/modules/test_predtest
2 files changed
+258
-136
lines changed0 commit comments
Comments
(0)