]> granicus.if.org Git - postgresql/tree - src/backend/optimizer/
Teach predicate_refuted_by() how to do proofs involving NOT-clauses.
[postgresql] / src / backend / optimizer /
drwxr-xr-x   ..
-rw-r--r-- 681 Makefile
-rw-r--r-- 30005 README
drwxr-xr-x - geqo
drwxr-xr-x - path
drwxr-xr-x - plan
drwxr-xr-x - prep
drwxr-xr-x - util