summaryrefslogtreecommitdiff
path: root/lib/automata.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2019-11-26 10:42:07 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2019-11-26 10:42:07 +0100
commit5dbed828f25d1676251f26472a8279ff2367514a (patch)
treeff4402a771ad3f08cc7b832f7c9752d8899a24cf /lib/automata.py
parentcf056f82c413f320aaa6c816f5f0dce92e8a1775 (diff)
autopep8
Diffstat (limited to 'lib/automata.py')
-rwxr-xr-xlib/automata.py4
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.