"horizontalComponentCenter": 17.5,
"pinLabelHeight": 3.5,
"pinLabelMargin": 0.5
+ },
+ "outlineRendererSnippetID": "default",
+ "highLevelStateHandlerSnippetID": "standard",
+ "highLevelStateHandlerParams": {
+ "subcomponentHighLevelStates": {
+ "c00": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch4#0"
+ }
+ },
+ "c11": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch4#3"
+ }
+ },
+ "c10": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch4#2"
+ }
+ },
+ "c01": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch4#1"
+ }
+ }
+ },
+ "atomicHighLevelStates": {
+ "q": {
+ "id": "bitVectorSplitting",
+ "params": {
+ "vectorPartTargets": [
+ "c11.q",
+ "c10.q",
+ "c01.q",
+ "c00.q"
+ ],
+ "vectorPartLengthes": [
+ 4,
+ 4,
+ 4,
+ 4
+ ]
+ }
+ }
+ }
}
}
\ No newline at end of file