sp
/
tempestpy
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Return json encoding of state valuations in simulator after changes in Storm

refactoring
Matthias Volk 6 years ago
parent
b13e842986
commit
bf32cbb94b
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      lib/stormpy/simulator.py

2
lib/stormpy/simulator.py
View File

@ -96,7 +96,7 @@ class SparseSimulator(Simulator):
if self._observation_mode == SimulatorObservationMode.STATE_LEVEL: if self._observation_mode == SimulatorObservationMode.STATE_LEVEL:
return self._engine.get_current_state() return self._engine.get_current_state()
elif self._observation_mode == SimulatorObservationMode.PROGRAM_LEVEL: elif self._observation_mode == SimulatorObservationMode.PROGRAM_LEVEL:
return self._state_valuations.get_state(self._engine.get_current_state())
return self._state_valuations.get_json(self._engine.get_current_state())
assert False, "The observation mode is unexpected" assert False, "The observation mode is unexpected"
def _report_observation(self): def _report_observation(self):

Write Preview
Loading…
Cancel
Save