E&S CVS Commit: PyProtocols - Expunged 'OrCriterion' completely, as it caused a problem with implication

pje at eby-sarna.com pje at eby-sarna.com
Tue Apr 5 09:49:02 EDT 2005


Module Name:	PyProtocols
Committed By:	pje
Date:		Mon Apr  4 02:43:48 UTC 2005

Modified Files:
	PyProtocols/src/dispatch: predicates.py strategy.py
	PyProtocols/src/protocols/tests: test_dispatch.py test_parsing.py

Log Message:
Expunged 'OrCriterion' completely, as it caused a problem with implication
detection.  Specifically, the system couldn't detect that (a|x) implies
(b|y) if a implies b, and a is true at runtime.  However, if these cases
are split into separate predicates for a, x, b, and y, then when a and b
both apply the implication will be clear.  Unfortunately, this increases
the number of cases that have to be examined for such expressions.


To view diffs of this commit, you can use the following URL(s):
http://cvs.eby-sarna.com/PyProtocols/src/dispatch/predicates.py.diff?r1=1.16&r2=1.17
http://cvs.eby-sarna.com/PyProtocols/src/dispatch/strategy.py.diff?r1=1.30&r2=1.31
http://cvs.eby-sarna.com/PyProtocols/src/protocols/tests/test_dispatch.py.diff?r1=1.41&r2=1.42
http://cvs.eby-sarna.com/PyProtocols/src/protocols/tests/test_parsing.py.diff?r1=1.22&r2=1.23

To generate a diff of this commit:
cvs rdiff -r1.16 -r1.17 PyProtocols/src/dispatch/predicates.py
cvs rdiff -r1.30 -r1.31 PyProtocols/src/dispatch/strategy.py
cvs rdiff -r1.41 -r1.42 PyProtocols/src/protocols/tests/test_dispatch.py
cvs rdiff -r1.22 -r1.23 PyProtocols/src/protocols/tests/test_parsing.py

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.




More information about the source-changes mailing list