sarahtattersall/PIPE — pull request #57 by sarahtattersall (2014-05-12 08:43:00+00:00)
Title: Feature 50

This branch mainly creates pipe-module sub-module:
This has new code for state space exploration. Makes use of PIPEMarkovChain project.

There are a few changes to pipe-core that involve using PIPEMarkovChain, not storing Tokens as keys in HashMaps (because they're not immutable).