Commit: r1514: Pull EQUALS terms to the front ahead of EXISTS and everything

25 Jan
2010
25 Jan
'10
3:31 p.m.
Version 1514 was commited by steve on 2010-01-25 15:31:36 +0000 (Mon, 25 Jan 2010) BRANCH: style Pull EQUALS terms to the front ahead of EXISTS and everything else. The idea being that the earlier we can tell that the expression is false the better. All other things being the same, a=b is more likely to do this than a=* This is much more complete than what happens in trunk.
5508
Age (days ago)
5508
Last active (days ago)
0 comments
1 participants
participants (1)
-
svn commit