PROBCORE-309 Refactored generation of HTML.
Fix history
PROBCORE-64 Working on StateSpace visualization
PROBCORE-64 Updated the IStatesCalculated listeners for needed functionality.
PROBCORE-64 Basic StateSpace visualization now works.
PROBCORE-64 Fixed null pointer exception in servlet
PROBCORE-309 Each visualization view now saves its corresponding sessionId
PROBCORE-64 PROBCORE-307 Zooming and panning now works!!! Also improved how the edges in the graph appear.
PROBCORE-311 Created framework so that the user can change the visualization through the use of selectors.
Rep for OpInfo is now only calculated once
PROBCORE-64 Added information about variables and operation names to the graph.
Replaced asyncExec with syncExec because of lagging in the execution of events
Size of rectangles is calculated dynamically
Created command to extract the signature merge graph from Prolog PROBCORE-330
PROBCORE-307 fixed minor bug in predicate servlet
Moved OpInfo into package de.prob.statespace
PROBCORE-330 Working on way to display signature merge graphs.
PROBCORE-64 Fixed some small styling things.
merged develop into ssViz branch
PROBCORE-64 When model checking, all of the labels for the operations are retrieved from prolog and the operations are updated before the calculation of the state space data takes place. The visualization should now work much better.