- BitVector newStateCasted = (BitVector) newState;
- setHighLevelState("c0000.q", newStateCasted.subVector(0, 4));
- setHighLevelState("c0001.q", newStateCasted.subVector(4, 8));
- setHighLevelState("c0010.q", newStateCasted.subVector(8, 12));
- setHighLevelState("c0011.q", newStateCasted.subVector(12, 16));
- setHighLevelState("c0100.q", newStateCasted.subVector(16, 20));
- setHighLevelState("c0101.q", newStateCasted.subVector(20, 24));
- setHighLevelState("c0110.q", newStateCasted.subVector(24, 28));
- setHighLevelState("c0111.q", newStateCasted.subVector(28, 32));
- setHighLevelState("c1000.q", newStateCasted.subVector(32, 36));
- setHighLevelState("c1001.q", newStateCasted.subVector(36, 40));
- setHighLevelState("c1010.q", newStateCasted.subVector(40, 44));
- setHighLevelState("c1011.q", newStateCasted.subVector(44, 48));
- setHighLevelState("c1100.q", newStateCasted.subVector(48, 52));
- setHighLevelState("c1101.q", newStateCasted.subVector(52, 56));
- setHighLevelState("c1110.q", newStateCasted.subVector(56, 60));
- setHighLevelState("c1111.q", newStateCasted.subVector(60, 64));
- break;
+ 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);