+ @Override
+ protected Object getHighLevelState(Object state, String stateID)
+ {
+ switch (stateID)
+ {
+ case "q":
+ return BitVector.of(Arrays.copyOfRange((Bit[]) state, 1, 5));
+ default:
+ return super.getHighLevelState(state, stateID);
+ }
+ }
+
+ @Override
+ protected Object setHighLevelState(Object lastState, String stateID, Object newHighLevelState)
+ {
+ switch (stateID)
+ {
+ case "q":
+ BitVector newHighLevelStateCasted = (BitVector) newHighLevelState;
+ if (newHighLevelStateCasted.length() != 4)
+ throw new IllegalArgumentException("Expected BitVector of length 4, not " + newHighLevelStateCasted.length());
+ System.arraycopy(newHighLevelStateCasted.getBits(), 0, lastState, 1, 4);
+ return lastState;
+ default:
+ return super.setHighLevelState(lastState, stateID, newHighLevelState);
+ }
+ }
+