diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-26 11:05:26 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-26 11:05:26 +0100 |
| commit | cde5fbd16877eaa08b0267f8d4076f36ea19aa11 (patch) | |
| tree | f7f6e5ae370426e98796dcbf34dd4358ce19b239 /lib/automata.py | |
| parent | 5dbed828f25d1676251f26472a8279ff2367514a (diff) | |
automata: fix from_json attribute readout in transitions
Diffstat (limited to 'lib/automata.py')
| -rwxr-xr-x | lib/automata.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/automata.py b/lib/automata.py index eab58fb..35be2fd 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -469,7 +469,7 @@ class PTA: energy_function = _json_function_to_analytic_function(transition, 'energy', pta.parameters) timeout_function = _json_function_to_analytic_function(transition, 'timeout', pta.parameters) kwargs = dict() - for key in ['arg_to_param_map', 'argument_values', 'argument_combination']: + for key in ['arguments', 'arg_to_param_map', 'argument_values', 'argument_combination', 'is_interrupt', 'set_param']: if key in transition: kwargs[key] = transition[key] origins = transition['origin'] |