diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-26 10:42:07 +0100 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-26 10:42:07 +0100 |
commit | 5dbed828f25d1676251f26472a8279ff2367514a (patch) | |
tree | ff4402a771ad3f08cc7b832f7c9752d8899a24cf /lib/automata.py | |
parent | cf056f82c413f320aaa6c816f5f0dce92e8a1775 (diff) |
autopep8
Diffstat (limited to 'lib/automata.py')
-rwxr-xr-x | lib/automata.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/automata.py b/lib/automata.py index 43f761c..eab58fb 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -708,7 +708,7 @@ class PTA: min_state = state return min_state - def min_duration_until_energy_overflow(self, energy_granularity = 1e-12, max_energy_value = 2 ** 32 - 1): + def min_duration_until_energy_overflow(self, energy_granularity=1e-12, max_energy_value=2 ** 32 - 1): """ Return minimum duration (in s) until energy counter overflow during online accounting. @@ -726,7 +726,7 @@ class PTA: min_duration = max_energy_value * energy_granularity / max_power return min_duration - def max_duration_until_energy_overflow(self, energy_granularity = 1e-12, max_energy_value = 2 ** 32 - 1): + def max_duration_until_energy_overflow(self, energy_granularity=1e-12, max_energy_value=2 ** 32 - 1): """ Return maximum duration (in s) until energy counter overflow during online accounting. |