diff options
author | Daniel Friesel <derf@finalrewind.org> | 2018-06-29 15:29:10 +0200 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2018-06-29 15:29:10 +0200 |
commit | a933f68f51da097ae163d51385609fbcf4b3b6f3 (patch) | |
tree | 6d1be36758d0dcf8c63d99433950210d0bc6cbf5 /lib/dfatool.py | |
parent | 1aac307c393d41e42cd5ba5b29bbdb7c840707f7 (diff) |
add more plotting functions
Diffstat (limited to 'lib/dfatool.py')
-rwxr-xr-x | lib/dfatool.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dfatool.py b/lib/dfatool.py index b23d02f..a19ba13 100755 --- a/lib/dfatool.py +++ b/lib/dfatool.py @@ -14,6 +14,7 @@ import tarfile from multiprocessing import Pool from automata import PTA from functions import analytic +from functions import AnalyticFunction from utils import is_numeric arg_support_enabled = True |