Small changes in parameterised processes.
Translation of Insiel's case study working.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
New changes in the model checker visitor.
Model checker dealing with minimal example of Insiel. Changed the output file name of Formula script.
Merge remote-tracking branch 'origin/development' into alrd
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Model checker handling Insiel's case study. More changes in the way the plugin generates the FORMULA and graph files.
Merge remote-tracking branch 'origin/acf' into alrd
Final adjustments in Insiel's case study. Modelchecker analysing and models put into SVN as well.
Merge commit 'e527ddf5d1a81b283b213c408b9ea288ca599f9c' into development
refactoring and code cleanup
more refactoring
more refactoring
Removed the abstractLabelledTransion class since it really wasnt used
More cleanup and refactoring
playing around with a filter method on the CmlTransitionSet which takes a filter interface so you can do general stuff without adding any specific methods
forgot to add the filter interface
Added a map method to the CmlTransitionSet which takes a MapOperation and performs it on each element and returns it as a new CmlTransitionSet. This simplified some of the transition calculations alot. Also changed the way inspect should be called, now inspect must be called before any calls to deadlocked and execute is permitted. The inspect mehod is not called internally anymore
Added a synchroneOn method to CmlTransitionSet and simplified how its done