diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2021-03-04 13:32:36 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2021-03-04 13:32:36 +0100 |
| commit | 9bf7d10f3310147c7e85330a79da655b9f7a5bad (patch) | |
| tree | 00283ccf137cd3a87e1d5d08869717a8ffddd4cc /lib/modular_arithmetic.py | |
| parent | f33c69dcaf24ecc7e039dec83a4a5c74908da52f (diff) | |
PTA State/Transition: Use ModelFunction instead of PTAAttribute
Diffstat (limited to 'lib/modular_arithmetic.py')
| -rw-r--r-- | lib/modular_arithmetic.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/modular_arithmetic.py b/lib/modular_arithmetic.py index c5ed1aa..0a3eaab 100644 --- a/lib/modular_arithmetic.py +++ b/lib/modular_arithmetic.py @@ -66,7 +66,8 @@ class Mod: return self # The unary plus operator does nothing. def __abs__(self): - return self # The value is always kept non-negative, so the abs function should do nothing. + # The value is always kept non-negative, so the abs function should do nothing. + return self # Helper functions to build common operands based on a template. |