+ return super.setHighLevelState(memC, stateID, newHighLevelState);
+ }
+
+ private static BitVector[] castAndInitState(Object state)
+ {
+ BitVector[] memC = (BitVector[]) state;
+ if (memC == null)
+ {
+ memC = new BitVector[6];
+ Arrays.fill(memC, 0, 5, BitVector.of(U, 12));
+ memC[5] = BitVector.of(U);
+ }
+ return memC;