Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
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
cleaned up the alphabetised parallelism a bit
Forgot to add this file in the last commit
Removed the isComparable method on the ObservableTransition interface because it was obsolete
Aniother refactoring
Added example of Insiel case study.
Updated example of Insiel case study for verification of fault
tolerance.
Added CSP version to check integrity of the model-checker.
Updated fault tolerance examples.
Added case to add channels when left or right expression is of type
MCAIdentifierVarsetExpression.