+ return super.setHighLevelState(SPC, stateID, newHighLevelState);
+ }
+ }
+
+ private static BitAndInt castAndInitState(Object lastState)
+ {
+ BitAndInt SPC = (BitAndInt) lastState;
+ if (SPC == null)
+ {
+ SPC = new BitAndInt();
+ SPC.bit = U;
+ SPC.i = -2;