"highLevelStateHandlerParams": {
"subcomponentHighLevelStates": {},
"atomicHighLevelStates": {
+ "q": {
+ "id": "bitVectorSplitting",
+ "params": {
+ "vectorPartTargets": [
+ "q12",
+ "q11",
+ "q10",
+ "q9",
+ "q8",
+ "q7",
+ "q6",
+ "q5",
+ "q4",
+ "q3",
+ "q2",
+ "q1"
+ ],
+ "vectorPartLengthes": [
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1
+ ]
+ }
+ },
"q1": {
"id": "delegating",
"params": {
"subStateID": "q"
}
},
+ "q10": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#3",
+ "subStateID": "q"
+ }
+ },
+ "q11": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#0",
+ "subStateID": "q"
+ }
+ },
+ "q12": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#2",
+ "subStateID": "q"
+ }
+ },
"q2": {
"id": "delegating",
"params": {
"delegateTarget": "dff#1",
"subStateID": "q"
}
- },
- "q10": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dff#3",
- "subStateID": "q"
- }
- },
- "q11": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dff#0",
- "subStateID": "q"
- }
- },
- "q12": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dff#2",
- "subStateID": "q"
- }
- },
- "q": {
- "id": "bitVectorSplitting",
- "params": {
- "vectorPartTargets": [
- "q12",
- "q11",
- "q10",
- "q9",
- "q8",
- "q7",
- "q6",
- "q5",
- "q4",
- "q3",
- "q2",
- "q1"
- ],
- "vectorPartLengthes": [
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1,
- 1
- ]
- }
}
}
},