Commit add26604 authored by DEANTONI Julien's avatar DEANTONI Julien

add initial state

parent aaaea6da
......@@ -34,6 +34,7 @@ public class CCSLKernelExplorer extends CCSLKernelSolver {
ArrayList<CCSLConstraintState> statesToExplore = new ArrayList<CCSLConstraintState>();
CCSLConstraintState initialState = getCurrentState();
stateSpace.initialState = initialState;
System.out.println("Exploration of the state space started\n");
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment