diff --git a/hippolyzer/lib/base/datatypes.py b/hippolyzer/lib/base/datatypes.py index 2ab7fd3..2631106 100644 --- a/hippolyzer/lib/base/datatypes.py +++ b/hippolyzer/lib/base/datatypes.py @@ -58,6 +58,9 @@ class TupleCoord(recordclass.datatuple, _IterableStub): # type: ignore def __abs__(self): return self.__class__(*(abs(x) for x in self)) + def __neg__(self): + return self.__class__(-x for x in self) + def __add__(self, other): return self.__class__(*(x + y for x, y in zip(self, other)))