GUI - do computations in a separate thread/process

[xhajnal]

lib Thread fails on accessing the plot. lib Process fails when called in Tkinter environment.

[xhajnal]

Sources: https://stackoverflow.com/questions/2905965/creating-threads-in-python

[xhajnal]

• [ ] parameteric model checking (property by property)
• [x] space sampling parallelised in 015677dae028a8c0e483bb5bad87e8192f2f91e7
  • [x] normal
  • [x] quantitative
• [ ] refinement - problem with locking RefinedSpace
  • [ ] run computations without RefinedSpace and create one only after computation finished
  • [ ] only get functions
• [ ] MH - simple parallelization slows down