+
+ @Override
+ public void setHighLevelState(String stateID, Object newState)
+ {
+ switch (stateID)
+ {
+ case "q":
+ BitVector newStateCasted = (BitVector) newState;
+ setHighLevelState("c00.q", newStateCasted.subVector(0, 4));
+ setHighLevelState("c01.q", newStateCasted.subVector(4, 8));
+ setHighLevelState("c10.q", newStateCasted.subVector(8, 12));
+ setHighLevelState("c11.q", newStateCasted.subVector(12, 16));
+ break;
+ default:
+ int indexOfDot = stateID.indexOf('.');
+ if (indexOfDot != -1)
+ switch (stateID.substring(0, indexOfDot))
+ {
+ case "c00":
+ cell00.setHighLevelState(stateID.substring(indexOfDot + 1), newState);
+ break;
+ case "c01":
+ cell01.setHighLevelState(stateID.substring(indexOfDot + 1), newState);
+ break;
+ case "c10":
+ cell10.setHighLevelState(stateID.substring(indexOfDot + 1), newState);
+ break;
+ case "c11":
+ cell11.setHighLevelState(stateID.substring(indexOfDot + 1), newState);
+ break;
+ default:
+ super.setHighLevelState(stateID, newState);
+ break;
+ }
+ else
+ super.setHighLevelState(stateID, newState);
+ }
+ }
+
+ @Override
+ public Object getHighLevelState(String stateID)
+ {
+ switch (stateID)
+ {
+ case "q":
+ BitVector q00 = (BitVector) getHighLevelState("c00.q");
+ BitVector q01 = (BitVector) getHighLevelState("c01.q");
+ BitVector q10 = (BitVector) getHighLevelState("c10.q");
+ BitVector q11 = (BitVector) getHighLevelState("c11.q");
+ return q00.concat(q01).concat(q10).concat(q11);
+ default:
+ int indexOfDot = stateID.indexOf('.');
+ if (indexOfDot != -1)
+ switch (stateID.substring(0, indexOfDot))
+ {
+ case "c00":
+ return cell00.getHighLevelState(stateID.substring(indexOfDot + 1));
+ case "c01":
+ return cell01.getHighLevelState(stateID.substring(indexOfDot + 1));
+ case "c10":
+ return cell10.getHighLevelState(stateID.substring(indexOfDot + 1));
+ case "c11":
+ return cell11.getHighLevelState(stateID.substring(indexOfDot + 1));
+ default:
+ return super.getHighLevelState(stateID);
+ }
+ return super.getHighLevelState(stateID);
+ }
+ }