"innerScale": 0.4,
"submodel": {
"components": [
+ {
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#0",
+ "pos": {
+ "x": 14.0,
+ "y": 46.5
+ },
+ "params": 1
+ },
+ {
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#1",
+ "pos": {
+ "x": 14.0,
+ "y": 71.5
+ },
+ "params": 1
+ },
+ {
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#2",
+ "pos": {
+ "x": 14.0,
+ "y": 96.5
+ },
+ "params": 1
+ },
{
"id": "dlatch",
"name": "dlatch#0",
"x": 30.0,
"y": 82.5
}
- },
- {
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#0",
- "pos": {
- "x": 14.0,
- "y": 46.5
- },
- "params": 1
- },
- {
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#1",
- "pos": {
- "x": 14.0,
- "y": 71.5
- },
- "params": 1
- },
- {
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#2",
- "pos": {
- "x": 14.0,
- "y": 96.5
- },
- "params": 1
}
],
"wires": [
"highLevelStateHandlerParams": {
"subcomponentHighLevelStates": {},
"atomicHighLevelStates": {
- "q1": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dlatch#0",
- "subStateID": "q"
- }
- },
- "q2": {
- "id": "delegating",
- "params": {
- "delegateTarget": "dlatch#1",
- "subStateID": "q"
- }
- },
"q": {
"id": "bitVectorSplitting",
"params": {
"vectorPartTargets": [
- "q1",
- "q2",
+ "q4",
"q3",
- "q4"
+ "q2",
+ "q1"
],
"vectorPartLengthes": [
1,
]
}
},
+ "q1": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dlatch#0",
+ "subStateID": "q"
+ }
+ },
+ "q2": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dlatch#1",
+ "subStateID": "q"
+ }
+ },
"q3": {
"id": "delegating",
"params": {