Refactor the StateSpace and History

Description

Instead of having the history inside of the statespace, the History object stores a statespace. The History object takes care of all of the animation events, whereas the statespace takes care that all of the states are explored.

Environment

None

Gliffy Diagrams

Activity

Show:

Jens Bendisposto August 10, 2012 at 12:01 PM

Review

Jenkins Build Server July 19, 2012 at 1:02 PM

Integrated in

probcore #797
fixed evaluation and integration tests (Revision c51eb1d62022a6df049aa41a88ecd056b7f8b6fa)

Result = SUCCESS
p.koerner : c51eb1d62022a6df049aa41a88ecd056b7f8b6fa
Files :

src/main/groovy/de/prob/statespace/StateId.groovy
src/main/java/de/prob/statespace/StateSpace.java
groovyTests/loadLift.groovy
groovyTests/schedulerTests.groovy
groovyTests/evaluateFormulasTest.groovy

Jenkins Build Server July 17, 2012 at 11:33 AM

Integrated in

probcore #788
continued history refactoring (Revision 7f7f81f2a137a89121aa162d9782d374c695582c)
Fixed tests (Revision 259a28381276cbb6c4f67195d9549223d4d791bb)
refactored the History and Statespace objects so that they are immutable (Revision cf0543fcc53260a90faaa6f9f17d5037d57a15bf)
commented the code for the integration tests so that they will run. Still need to be fixed. (Revision 92df193784fd6b17ddf5a0581146a950fdf1c657)

Result = SUCCESS
p.koerner : 7f7f81f2a137a89121aa162d9782d374c695582c
Files :