Enable submit PO commands when only when available.
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
Corrected error on Type invariant translations in TP Visitor
Merge commit '81e4aed642d7b170f20fb19582b1c46e33fc6225' into rjp
Merge remote-tracking branch 'origin/rjp' into sdf
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.