@SuppressWarnings({"unchecked"})
public SearchLoop(Solver solver) {
this.solver = solver;
this.env = solver.getEnvironment();
this.measures = solver.getMeasures();
smList = new SearchMonitorList();
smList.add(this.measures);
this.nextState = INIT;
rootWorldIndex = -1;
}