congress/congress/datalog
gecong1973 1f76d0a520 Add __ne__ built-in function
In Python 3 __ne__ by default delegates to __eq__ and inverts the
result, but in Python 2 they urge you to define __ne__ when you
define __eq__ for it to work properly [1].There are no implied
relationships among the comparison operators. The truth of x==y
does not imply that x!=y is false. Accordingly, when defining __eq__(),
one should also define __ne__() so that the operators will behave
as expected.
[1]https://docs.python.org/2/reference/datamodel.html#object.__ne__

Change-Id: Ic7d9b80b2d24f2e10e361fc22cc3439f7b8213ae
2016-09-01 02:04:22 +00:00
..
Python2 Python3-readiness for antlr3 pieces 2015-11-19 18:39:07 -08:00
Python3 Python3-readiness for antlr3 pieces 2015-11-19 18:39:07 -08:00
builtin Use python3 print, division, import 2016-01-20 15:31:02 -08:00
Congress.g Hook up grammar changes to Event 2015-08-03 09:14:07 -07:00
__init__.py Rename 'congress/policy' directory to 'congress/datalog' 2015-02-26 18:31:13 -08:00
analysis.py Use python3 print, division, import 2016-01-20 15:31:02 -08:00
arithmetic_solvers.py Use python3 print, division, import 2016-01-20 15:31:02 -08:00
base.py Use python3 print, division, import 2016-01-20 15:31:02 -08:00
compile.py Fix string interpolation at logging call 2016-08-10 06:15:19 +00:00
database.py Use python3 print, division, import 2016-01-20 15:31:02 -08:00
factset.py Correct reraising of exception 2016-08-24 15:34:37 +08:00
materialized.py Order-insensitivity for DeltaRule 2016-02-05 10:51:03 -08:00
nonrecursive.py Correct reraising of exception 2016-08-24 15:34:37 +08:00
ruleset.py Use python3 print, division, import 2016-01-20 15:31:02 -08:00
topdown.py Use python3 print, division, import 2016-01-20 15:31:02 -08:00
unify.py Add __ne__ built-in function 2016-09-01 02:04:22 +00:00
utility.py More efficient implementation of find_dependent_nodes 2016-02-05 18:05:18 -08:00