morphata 1.0.2__tar.gz → 2.0.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (132) hide show
  1. morphata-2.0.0/.basedpyright/baseline.json +854 -0
  2. morphata-2.0.0/.claude/settings.local.json +17 -0
  3. morphata-2.0.0/.dockerignore +264 -0
  4. morphata-2.0.0/.editorconfig +6 -0
  5. morphata-2.0.0/.envrc +26 -0
  6. morphata-2.0.0/.envrc.recommended +30 -0
  7. morphata-2.0.0/.fdignore +4 -0
  8. morphata-2.0.0/.gitattributes +3 -0
  9. morphata-2.0.0/.mailmap +2 -0
  10. morphata-2.0.0/.python-version +1 -0
  11. morphata-2.0.0/.rstcheck.cfg +11 -0
  12. morphata-2.0.0/AGENTS.md +348 -0
  13. morphata-2.0.0/CHANGELOG.md +187 -0
  14. morphata-2.0.0/CLAUDE.md +1 -0
  15. morphata-2.0.0/CONTRIBUTING.md +124 -0
  16. morphata-2.0.0/LICENSE +29 -0
  17. morphata-2.0.0/PKG-INFO +29 -0
  18. morphata-2.0.0/README.md +106 -0
  19. morphata-2.0.0/ci/make-release +99 -0
  20. morphata-2.0.0/cliff.toml +59 -0
  21. morphata-2.0.0/docs/_static/navigation.html +10 -0
  22. morphata-2.0.0/docs/api/modules.rst +20 -0
  23. morphata-2.0.0/docs/api/morphata.acceptance.rst +8 -0
  24. morphata-2.0.0/docs/api/morphata.alphabet.rst +8 -0
  25. morphata-2.0.0/docs/api/morphata.automaton.rst +11 -0
  26. morphata-2.0.0/docs/api/morphata.builder.rst +8 -0
  27. morphata-2.0.0/docs/api/morphata.hoa.rst +29 -0
  28. morphata-2.0.0/docs/api/morphata.logic.ltl.rst +8 -0
  29. morphata-2.0.0/docs/api/morphata.logic.strel.rst +8 -0
  30. morphata-2.0.0/docs/api/morphata.operators.matrix.rst +8 -0
  31. morphata-2.0.0/docs/api/morphata.operators.polynomial.rst +9 -0
  32. morphata-2.0.0/docs/api/morphata.operators.rst +9 -0
  33. morphata-2.0.0/docs/api/morphata.symbolic.rst +41 -0
  34. morphata-2.0.0/docs/changelog.md +4 -0
  35. morphata-2.0.0/docs/concepts/acceptance.rst +100 -0
  36. morphata-2.0.0/docs/concepts/hoa.rst +119 -0
  37. morphata-2.0.0/docs/concepts/index.rst +25 -0
  38. morphata-2.0.0/docs/concepts/operators.rst +184 -0
  39. morphata-2.0.0/docs/concepts/spec.rst +133 -0
  40. morphata-2.0.0/docs/concepts/weights.rst +167 -0
  41. morphata-2.0.0/docs/conf.py +69 -0
  42. morphata-2.0.0/docs/index.rst +131 -0
  43. morphata-2.0.0/docs/quick-start.rst +139 -0
  44. morphata-2.0.0/docs/symbolic-transforms.rst +187 -0
  45. morphata-2.0.0/justfile +54 -0
  46. morphata-2.0.0/mypy.ini +45 -0
  47. morphata-2.0.0/project.utf-8.add +19 -0
  48. morphata-2.0.0/project.utf-8.add.spl +0 -0
  49. morphata-2.0.0/pyproject.toml +101 -0
  50. morphata-2.0.0/pyrefly.toml +2 -0
  51. morphata-2.0.0/pyrightconfig.json +14 -0
  52. morphata-2.0.0/pytest.toml +14 -0
  53. morphata-2.0.0/ruff.toml +11 -0
  54. morphata-2.0.0/src/morphata/__init__.py +29 -0
  55. morphata-2.0.0/src/morphata/acceptance.py +421 -0
  56. morphata-2.0.0/src/morphata/alphabet.py +178 -0
  57. morphata-2.0.0/src/morphata/automaton.py +295 -0
  58. morphata-2.0.0/src/morphata/builder.py +155 -0
  59. {morphata-1.0.2 → morphata-2.0.0}/src/morphata/hoa/__init__.py +11 -4
  60. {morphata-1.0.2 → morphata-2.0.0}/src/morphata/hoa/__main__.py +2 -2
  61. {morphata-1.0.2 → morphata-2.0.0}/src/morphata/hoa/acc_expr.py +3 -3
  62. morphata-2.0.0/src/morphata/hoa/exporter.py +324 -0
  63. {morphata-1.0.2 → morphata-2.0.0}/src/morphata/hoa/hoa.lark +13 -5
  64. morphata-2.0.0/src/morphata/logic/__init__.py +15 -0
  65. morphata-2.0.0/src/morphata/logic/ltl.py +448 -0
  66. {morphata-1.0.2/src/morphata/examples → morphata-2.0.0/src/morphata/logic}/strel.py +20 -24
  67. morphata-2.0.0/src/morphata/operators/__init__.py +16 -0
  68. morphata-2.0.0/src/morphata/operators/_backend.py +69 -0
  69. morphata-2.0.0/src/morphata/operators/matrix.py +274 -0
  70. morphata-2.0.0/src/morphata/operators/polynomial.py +348 -0
  71. morphata-2.0.0/src/morphata/symbolic/__init__.py +42 -0
  72. morphata-2.0.0/src/morphata/symbolic/automaton.py +377 -0
  73. morphata-2.0.0/src/morphata/symbolic/bdd.py +507 -0
  74. morphata-2.0.0/src/morphata/symbolic/equivalence.py +114 -0
  75. morphata-2.0.0/src/morphata/symbolic/transforms.py +645 -0
  76. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut1.hoa +6 -6
  77. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut11.hoa +2 -2
  78. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut2.hoa +5 -5
  79. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut3.2.hoa +4 -4
  80. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut3.hoa +4 -4
  81. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut4.hoa +4 -4
  82. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut6.hoa +3 -3
  83. morphata-2.0.0/tests/hoa/aut8.hoa +22 -0
  84. morphata-2.0.0/tests/hoa/gen_buchi_3.hoa +18 -0
  85. morphata-2.0.0/tests/hoa/gen_cobuchi_2.hoa +17 -0
  86. morphata-2.0.0/tests/hoa/rabin_2pair.hoa +29 -0
  87. morphata-2.0.0/tests/hoa/streett_2pair.hoa +33 -0
  88. morphata-2.0.0/tests/hoa/test_exporter_basic.py +125 -0
  89. morphata-2.0.0/tests/hoa/test_exporter_roundtrip.py +43 -0
  90. morphata-2.0.0/tests/hoa/test_parser.py +60 -0
  91. morphata-2.0.0/tests/logic/test_ltl.py +293 -0
  92. {morphata-1.0.2/tests/examples → morphata-2.0.0/tests/logic}/test_strel.py +84 -44
  93. morphata-2.0.0/tests/operators/test_matrix_from_ir.py +241 -0
  94. morphata-2.0.0/tests/operators/test_matrix_from_ltl.py +61 -0
  95. morphata-2.0.0/tests/operators/test_polynomial_from_ir.py +101 -0
  96. morphata-2.0.0/tests/symbolic/conftest.py +155 -0
  97. morphata-2.0.0/tests/symbolic/test_bdd_helpers.py +143 -0
  98. morphata-2.0.0/tests/symbolic/test_from_hoaf.py +33 -0
  99. morphata-2.0.0/tests/symbolic/test_ltlf2dfa_equivalence.py +166 -0
  100. morphata-2.0.0/tests/symbolic/test_step.py +72 -0
  101. morphata-2.0.0/tests/symbolic/test_symbolic_automaton.py +298 -0
  102. morphata-2.0.0/tests/symbolic/test_symbolic_from_ir.py +54 -0
  103. morphata-2.0.0/tests/symbolic/test_transforms.py +452 -0
  104. morphata-2.0.0/tests/symbolic/test_transforms_ir.py +40 -0
  105. morphata-2.0.0/tests/symbolic/test_transforms_properties.py +94 -0
  106. morphata-2.0.0/tests/test_alphabet.py +195 -0
  107. morphata-2.0.0/tests/test_automaton.py +208 -0
  108. morphata-2.0.0/tests/test_builder.py +124 -0
  109. morphata-2.0.0/tests/test_from_parsed.py +97 -0
  110. morphata-2.0.0/ty.toml +7 -0
  111. morphata-2.0.0/uv.lock +3091 -0
  112. morphata-1.0.2/PKG-INFO +0 -171
  113. morphata-1.0.2/README.md +0 -155
  114. morphata-1.0.2/pyproject.toml +0 -28
  115. morphata-1.0.2/src/morphata/__init__.py +0 -78
  116. morphata-1.0.2/src/morphata/acceptance.py +0 -222
  117. morphata-1.0.2/src/morphata/examples/ltl.py +0 -272
  118. morphata-1.0.2/src/morphata/examples/nfa.py +0 -223
  119. morphata-1.0.2/src/morphata/hoa/exporter.py +0 -1
  120. morphata-1.0.2/src/morphata/spec.py +0 -125
  121. morphata-1.0.2/tests/examples/__init__.py +0 -0
  122. morphata-1.0.2/tests/examples/test_ltl.py +0 -444
  123. morphata-1.0.2/tests/examples/test_nfa.py +0 -141
  124. morphata-1.0.2/tests/hoa/aut8.hoa +0 -22
  125. morphata-1.0.2/tests/hoa/test_parser.py +0 -23
  126. {morphata-1.0.2 → morphata-2.0.0}/.gitignore +0 -0
  127. {morphata-1.0.2 → morphata-2.0.0}/src/morphata/hoa/parser.py +0 -0
  128. {morphata-1.0.2 → morphata-2.0.0}/src/morphata/py.typed +0 -0
  129. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut5.hoa +0 -0
  130. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/aut7.hoa +0 -0
  131. {morphata-1.0.2 → morphata-2.0.0}/tests/hoa/finite_aut.hoa +0 -0
  132. {morphata-1.0.2/src/morphata/examples → morphata-2.0.0/tests/logic}/__init__.py +0 -0
morphata-2.0.0/.basedpyright/baseline.json ADDED
@@ -0,0 +1,854 @@
1
+ {
2
+ "files": {
3
+ "./examples/motion_planning/pusher.py": [
4
+ {
5
+ "code": "reportMissingImports",
6
+ "range": {
7
+ "startColumn": 7,
8
+ "endColumn": 24,
9
+ "lineCount": 1
10
+ }
11
+ }
12
+ ],
13
+ "./examples/swarm-monitoring/monitoring_example.py": [
14
+ {
15
+ "code": "reportDeprecated",
16
+ "range": {
17
+ "startColumn": 19,
18
+ "endColumn": 26,
19
+ "lineCount": 1
20
+ }
21
+ },
22
+ {
23
+ "code": "reportDeprecated",
24
+ "range": {
25
+ "startColumn": 28,
26
+ "endColumn": 43,
27
+ "lineCount": 1
28
+ }
29
+ },
30
+ {
31
+ "code": "reportDeprecated",
32
+ "range": {
33
+ "startColumn": 51,
34
+ "endColumn": 59,
35
+ "lineCount": 1
36
+ }
37
+ },
38
+ {
39
+ "code": "reportMissingImports",
40
+ "range": {
41
+ "startColumn": 5,
42
+ "endColumn": 13,
43
+ "lineCount": 1
44
+ }
45
+ },
46
+ {
47
+ "code": "reportUntypedBaseClass",
48
+ "range": {
49
+ "startColumn": 20,
50
+ "endColumn": 29,
51
+ "lineCount": 1
52
+ }
53
+ },
54
+ {
55
+ "code": "reportUntypedBaseClass",
56
+ "range": {
57
+ "startColumn": 15,
58
+ "endColumn": 24,
59
+ "lineCount": 1
60
+ }
61
+ },
62
+ {
63
+ "code": "reportUntypedBaseClass",
64
+ "range": {
65
+ "startColumn": 19,
66
+ "endColumn": 28,
67
+ "lineCount": 1
68
+ }
69
+ },
70
+ {
71
+ "code": "reportUntypedBaseClass",
72
+ "range": {
73
+ "startColumn": 14,
74
+ "endColumn": 23,
75
+ "lineCount": 1
76
+ }
77
+ },
78
+ {
79
+ "code": "reportUntypedBaseClass",
80
+ "range": {
81
+ "startColumn": 10,
82
+ "endColumn": 19,
83
+ "lineCount": 1
84
+ }
85
+ },
86
+ {
87
+ "code": "reportUntypedBaseClass",
88
+ "range": {
89
+ "startColumn": 18,
90
+ "endColumn": 27,
91
+ "lineCount": 1
92
+ }
93
+ },
94
+ {
95
+ "code": "reportUntypedBaseClass",
96
+ "range": {
97
+ "startColumn": 11,
98
+ "endColumn": 20,
99
+ "lineCount": 1
100
+ }
101
+ },
102
+ {
103
+ "code": "reportUnusedCallResult",
104
+ "range": {
105
+ "startColumn": 8,
106
+ "endColumn": 9,
107
+ "lineCount": 3
108
+ }
109
+ },
110
+ {
111
+ "code": "reportUnusedCallResult",
112
+ "range": {
113
+ "startColumn": 8,
114
+ "endColumn": 109,
115
+ "lineCount": 1
116
+ }
117
+ },
118
+ {
119
+ "code": "reportUnusedCallResult",
120
+ "range": {
121
+ "startColumn": 8,
122
+ "endColumn": 112,
123
+ "lineCount": 1
124
+ }
125
+ },
126
+ {
127
+ "code": "reportUnusedCallResult",
128
+ "range": {
129
+ "startColumn": 8,
130
+ "endColumn": 9,
131
+ "lineCount": 6
132
+ }
133
+ },
134
+ {
135
+ "code": "reportUnusedCallResult",
136
+ "range": {
137
+ "startColumn": 8,
138
+ "endColumn": 105,
139
+ "lineCount": 1
140
+ }
141
+ },
142
+ {
143
+ "code": "reportUnusedCallResult",
144
+ "range": {
145
+ "startColumn": 8,
146
+ "endColumn": 110,
147
+ "lineCount": 1
148
+ }
149
+ },
150
+ {
151
+ "code": "reportUnusedCallResult",
152
+ "range": {
153
+ "startColumn": 8,
154
+ "endColumn": 109,
155
+ "lineCount": 1
156
+ }
157
+ },
158
+ {
159
+ "code": "reportUnusedCallResult",
160
+ "range": {
161
+ "startColumn": 8,
162
+ "endColumn": 86,
163
+ "lineCount": 1
164
+ }
165
+ },
166
+ {
167
+ "code": "reportUnusedCallResult",
168
+ "range": {
169
+ "startColumn": 8,
170
+ "endColumn": 96,
171
+ "lineCount": 1
172
+ }
173
+ },
174
+ {
175
+ "code": "reportUntypedFunctionDecorator",
176
+ "range": {
177
+ "startColumn": 5,
178
+ "endColumn": 34,
179
+ "lineCount": 1
180
+ }
181
+ },
182
+ {
183
+ "code": "reportMissingTypeArgument",
184
+ "range": {
185
+ "startColumn": 73,
186
+ "endColumn": 81,
187
+ "lineCount": 1
188
+ }
189
+ },
190
+ {
191
+ "code": "reportMatchNotExhaustive",
192
+ "range": {
193
+ "startColumn": 10,
194
+ "endColumn": 14,
195
+ "lineCount": 1
196
+ }
197
+ },
198
+ {
199
+ "code": "reportMissingTypeArgument",
200
+ "range": {
201
+ "startColumn": 13,
202
+ "endColumn": 27,
203
+ "lineCount": 1
204
+ }
205
+ },
206
+ {
207
+ "code": "reportMissingTypeArgument",
208
+ "range": {
209
+ "startColumn": 13,
210
+ "endColumn": 27,
211
+ "lineCount": 1
212
+ }
213
+ },
214
+ {
215
+ "code": "reportMissingTypeArgument",
216
+ "range": {
217
+ "startColumn": 13,
218
+ "endColumn": 27,
219
+ "lineCount": 1
220
+ }
221
+ },
222
+ {
223
+ "code": "reportMissingTypeArgument",
224
+ "range": {
225
+ "startColumn": 13,
226
+ "endColumn": 27,
227
+ "lineCount": 1
228
+ }
229
+ },
230
+ {
231
+ "code": "reportUnusedCallResult",
232
+ "range": {
233
+ "startColumn": 12,
234
+ "endColumn": 49,
235
+ "lineCount": 1
236
+ }
237
+ },
238
+ {
239
+ "code": "reportAssignmentType",
240
+ "range": {
241
+ "startColumn": 39,
242
+ "endColumn": 89,
243
+ "lineCount": 1
244
+ }
245
+ }
246
+ ],
247
+ "./examples/swarm-monitoring/run_hscc_experiments.py": [
248
+ {
249
+ "code": "reportDeprecated",
250
+ "range": {
251
+ "startColumn": 19,
252
+ "endColumn": 26,
253
+ "lineCount": 1
254
+ }
255
+ },
256
+ {
257
+ "code": "reportDeprecated",
258
+ "range": {
259
+ "startColumn": 28,
260
+ "endColumn": 36,
261
+ "lineCount": 1
262
+ }
263
+ },
264
+ {
265
+ "code": "reportMissingTypeArgument",
266
+ "range": {
267
+ "startColumn": 13,
268
+ "endColumn": 27,
269
+ "lineCount": 1
270
+ }
271
+ },
272
+ {
273
+ "code": "reportUnusedParameter",
274
+ "range": {
275
+ "startColumn": 9,
276
+ "endColumn": 13,
277
+ "lineCount": 1
278
+ }
279
+ },
280
+ {
281
+ "code": "reportUnusedCallResult",
282
+ "range": {
283
+ "startColumn": 8,
284
+ "endColumn": 41,
285
+ "lineCount": 1
286
+ }
287
+ }
288
+ ],
289
+ "./src/automatix/afa/automaton.py": [
290
+ {
291
+ "code": "reportUnannotatedClassAttribute",
292
+ "range": {
293
+ "startColumn": 13,
294
+ "endColumn": 25,
295
+ "lineCount": 1
296
+ }
297
+ }
298
+ ],
299
+ "./src/automatix/afa/strel.py": [
300
+ {
301
+ "code": "reportDeprecated",
302
+ "range": {
303
+ "startColumn": 29,
304
+ "endColumn": 39,
305
+ "lineCount": 1
306
+ }
307
+ },
308
+ {
309
+ "code": "reportDeprecated",
310
+ "range": {
311
+ "startColumn": 41,
312
+ "endColumn": 49,
313
+ "lineCount": 1
314
+ }
315
+ },
316
+ {
317
+ "code": "reportDeprecated",
318
+ "range": {
319
+ "startColumn": 51,
320
+ "endColumn": 59,
321
+ "lineCount": 1
322
+ }
323
+ },
324
+ {
325
+ "code": "reportDeprecated",
326
+ "range": {
327
+ "startColumn": 61,
328
+ "endColumn": 68,
329
+ "lineCount": 1
330
+ }
331
+ },
332
+ {
333
+ "code": "reportImplicitOverride",
334
+ "range": {
335
+ "startColumn": 8,
336
+ "endColumn": 16,
337
+ "lineCount": 1
338
+ }
339
+ },
340
+ {
341
+ "code": "reportUnusedCallResult",
342
+ "range": {
343
+ "startColumn": 8,
344
+ "endColumn": 43,
345
+ "lineCount": 1
346
+ }
347
+ },
348
+ {
349
+ "code": "reportUnreachable",
350
+ "range": {
351
+ "startColumn": 8,
352
+ "endColumn": 75,
353
+ "lineCount": 1
354
+ }
355
+ },
356
+ {
357
+ "code": "reportArgumentType",
358
+ "range": {
359
+ "startColumn": 8,
360
+ "endColumn": 24,
361
+ "lineCount": 1
362
+ }
363
+ },
364
+ {
365
+ "code": "reportUnannotatedClassAttribute",
366
+ "range": {
367
+ "startColumn": 13,
368
+ "endColumn": 25,
369
+ "lineCount": 1
370
+ }
371
+ },
372
+ {
373
+ "code": "reportUnannotatedClassAttribute",
374
+ "range": {
375
+ "startColumn": 13,
376
+ "endColumn": 25,
377
+ "lineCount": 1
378
+ }
379
+ },
380
+ {
381
+ "code": "reportUnannotatedClassAttribute",
382
+ "range": {
383
+ "startColumn": 13,
384
+ "endColumn": 25,
385
+ "lineCount": 1
386
+ }
387
+ },
388
+ {
389
+ "code": "reportUnannotatedClassAttribute",
390
+ "range": {
391
+ "startColumn": 13,
392
+ "endColumn": 21,
393
+ "lineCount": 1
394
+ }
395
+ },
396
+ {
397
+ "code": "reportMissingTypeArgument",
398
+ "range": {
399
+ "startColumn": 10,
400
+ "endColumn": 24,
401
+ "lineCount": 1
402
+ }
403
+ },
404
+ {
405
+ "code": "reportUnusedCallResult",
406
+ "range": {
407
+ "startColumn": 12,
408
+ "endColumn": 23,
409
+ "lineCount": 1
410
+ }
411
+ },
412
+ {
413
+ "code": "reportUnusedCallResult",
414
+ "range": {
415
+ "startColumn": 12,
416
+ "endColumn": 34,
417
+ "lineCount": 1
418
+ }
419
+ },
420
+ {
421
+ "code": "reportAssignmentType",
422
+ "range": {
423
+ "startColumn": 58,
424
+ "endColumn": 105,
425
+ "lineCount": 1
426
+ }
427
+ }
428
+ ],
429
+ "./src/automatix/algebra/abc.py": [
430
+ {
431
+ "code": "reportDeprecated",
432
+ "range": {
433
+ "startColumn": 28,
434
+ "endColumn": 35,
435
+ "lineCount": 1
436
+ }
437
+ },
438
+ {
439
+ "code": "reportMissingTypeArgument",
440
+ "range": {
441
+ "startColumn": 31,
442
+ "endColumn": 49,
443
+ "lineCount": 1
444
+ }
445
+ }
446
+ ],
447
+ "./src/automatix/algebra/polynomials/boolean.py": [
448
+ {
449
+ "code": "reportDeprecated",
450
+ "range": {
451
+ "startColumn": 19,
452
+ "endColumn": 26,
453
+ "lineCount": 1
454
+ }
455
+ },
456
+ {
457
+ "code": "reportUnnecessaryTypeIgnoreComment",
458
+ "range": {
459
+ "startColumn": 54,
460
+ "endColumn": 74,
461
+ "lineCount": 1
462
+ }
463
+ },
464
+ {
465
+ "code": "reportPrivateUsage",
466
+ "range": {
467
+ "startColumn": 13,
468
+ "endColumn": 18,
469
+ "lineCount": 1
470
+ }
471
+ },
472
+ {
473
+ "code": "reportPrivateUsage",
474
+ "range": {
475
+ "startColumn": 20,
476
+ "endColumn": 25,
477
+ "lineCount": 1
478
+ }
479
+ },
480
+ {
481
+ "code": "reportPrivateUsage",
482
+ "range": {
483
+ "startColumn": 20,
484
+ "endColumn": 25,
485
+ "lineCount": 1
486
+ }
487
+ },
488
+ {
489
+ "code": "reportPrivateUsage",
490
+ "range": {
491
+ "startColumn": 67,
492
+ "endColumn": 72,
493
+ "lineCount": 1
494
+ }
495
+ },
496
+ {
497
+ "code": "reportArgumentType",
498
+ "range": {
499
+ "startColumn": 50,
500
+ "endColumn": 61,
501
+ "lineCount": 1
502
+ }
503
+ },
504
+ {
505
+ "code": "reportPrivateUsage",
506
+ "range": {
507
+ "startColumn": 68,
508
+ "endColumn": 73,
509
+ "lineCount": 1
510
+ }
511
+ },
512
+ {
513
+ "code": "reportPrivateUsage",
514
+ "range": {
515
+ "startColumn": 32,
516
+ "endColumn": 37,
517
+ "lineCount": 1
518
+ }
519
+ },
520
+ {
521
+ "code": "reportPrivateUsage",
522
+ "range": {
523
+ "startColumn": 52,
524
+ "endColumn": 57,
525
+ "lineCount": 1
526
+ }
527
+ },
528
+ {
529
+ "code": "reportPrivateUsage",
530
+ "range": {
531
+ "startColumn": 63,
532
+ "endColumn": 68,
533
+ "lineCount": 1
534
+ }
535
+ },
536
+ {
537
+ "code": "reportPrivateUsage",
538
+ "range": {
539
+ "startColumn": 53,
540
+ "endColumn": 58,
541
+ "lineCount": 1
542
+ }
543
+ },
544
+ {
545
+ "code": "reportPrivateUsage",
546
+ "range": {
547
+ "startColumn": 64,
548
+ "endColumn": 69,
549
+ "lineCount": 1
550
+ }
551
+ },
552
+ {
553
+ "code": "reportPrivateUsage",
554
+ "range": {
555
+ "startColumn": 34,
556
+ "endColumn": 38,
557
+ "lineCount": 1
558
+ }
559
+ },
560
+ {
561
+ "code": "reportPrivateUsage",
562
+ "range": {
563
+ "startColumn": 52,
564
+ "endColumn": 56,
565
+ "lineCount": 1
566
+ }
567
+ },
568
+ {
569
+ "code": "reportImplicitOverride",
570
+ "range": {
571
+ "startColumn": 8,
572
+ "endColumn": 15,
573
+ "lineCount": 1
574
+ }
575
+ }
576
+ ],
577
+ "./src/automatix/algebra/semiring/jax_backend.py": [
578
+ {
579
+ "code": "reportDeprecated",
580
+ "range": {
581
+ "startColumn": 19,
582
+ "endColumn": 24,
583
+ "lineCount": 1
584
+ }
585
+ },
586
+ {
587
+ "code": "reportDeprecated",
588
+ "range": {
589
+ "startColumn": 18,
590
+ "endColumn": 23,
591
+ "lineCount": 1
592
+ }
593
+ },
594
+ {
595
+ "code": "reportDeprecated",
596
+ "range": {
597
+ "startColumn": 19,
598
+ "endColumn": 24,
599
+ "lineCount": 1
600
+ }
601
+ },
602
+ {
603
+ "code": "reportImplicitAbstractClass",
604
+ "range": {
605
+ "startColumn": 6,
606
+ "endColumn": 22,
607
+ "lineCount": 1
608
+ }
609
+ }
610
+ ],
611
+ "./src/automatix/algebra/semiring/utils/logsumexp.py": [
612
+ {
613
+ "code": "reportDeprecated",
614
+ "range": {
615
+ "startColumn": 19,
616
+ "endColumn": 24,
617
+ "lineCount": 1
618
+ }
619
+ },
620
+ {
621
+ "code": "reportDeprecated",
622
+ "range": {
623
+ "startColumn": 19,
624
+ "endColumn": 24,
625
+ "lineCount": 1
626
+ }
627
+ }
628
+ ],
629
+ "./src/automatix/algebra/semiring/utils/logsumexp.pyi": [
630
+ {
631
+ "code": "reportDeprecated",
632
+ "range": {
633
+ "startColumn": 19,
634
+ "endColumn": 24,
635
+ "lineCount": 1
636
+ }
637
+ }
638
+ ],
639
+ "./src/automatix/logic/strel.py": [
640
+ {
641
+ "code": "reportDeprecated",
642
+ "range": {
643
+ "startColumn": 19,
644
+ "endColumn": 27,
645
+ "lineCount": 1
646
+ }
647
+ },
648
+ {
649
+ "code": "reportPrivateUsage",
650
+ "range": {
651
+ "startColumn": 4,
652
+ "endColumn": 8,
653
+ "lineCount": 1
654
+ }
655
+ },
656
+ {
657
+ "code": "reportPrivateUsage",
658
+ "range": {
659
+ "startColumn": 4,
660
+ "endColumn": 23,
661
+ "lineCount": 1
662
+ }
663
+ },
664
+ {
665
+ "code": "reportDeprecated",
666
+ "range": {
667
+ "startColumn": 11,
668
+ "endColumn": 19,
669
+ "lineCount": 1
670
+ }
671
+ },
672
+ {
673
+ "code": "reportDeprecated",
674
+ "range": {
675
+ "startColumn": 9,
676
+ "endColumn": 17,
677
+ "lineCount": 1
678
+ }
679
+ },
680
+ {
681
+ "code": "reportImplicitOverride",
682
+ "range": {
683
+ "startColumn": 8,
684
+ "endColumn": 15,
685
+ "lineCount": 1
686
+ }
687
+ },
688
+ {
689
+ "code": "reportMatchNotExhaustive",
690
+ "range": {
691
+ "startColumn": 14,
692
+ "endColumn": 36,
693
+ "lineCount": 1
694
+ }
695
+ },
696
+ {
697
+ "code": "reportImplicitOverride",
698
+ "range": {
699
+ "startColumn": 8,
700
+ "endColumn": 15,
701
+ "lineCount": 1
702
+ }
703
+ },
704
+ {
705
+ "code": "reportImplicitOverride",
706
+ "range": {
707
+ "startColumn": 8,
708
+ "endColumn": 15,
709
+ "lineCount": 1
710
+ }
711
+ },
712
+ {
713
+ "code": "reportImplicitOverride",
714
+ "range": {
715
+ "startColumn": 8,
716
+ "endColumn": 15,
717
+ "lineCount": 1
718
+ }
719
+ },
720
+ {
721
+ "code": "reportImplicitOverride",
722
+ "range": {
723
+ "startColumn": 8,
724
+ "endColumn": 15,
725
+ "lineCount": 1
726
+ }
727
+ },
728
+ {
729
+ "code": "reportMissingTypeArgument",
730
+ "range": {
731
+ "startColumn": 29,
732
+ "endColumn": 40,
733
+ "lineCount": 1
734
+ }
735
+ }
736
+ ],
737
+ "./src/automatix/nfa/automaton.py": [
738
+ {
739
+ "code": "reportDeprecated",
740
+ "range": {
741
+ "startColumn": 29,
742
+ "endColumn": 37,
743
+ "lineCount": 1
744
+ }
745
+ },
746
+ {
747
+ "code": "reportDeprecated",
748
+ "range": {
749
+ "startColumn": 39,
750
+ "endColumn": 43,
751
+ "lineCount": 1
752
+ }
753
+ },
754
+ {
755
+ "code": "reportUnannotatedClassAttribute",
756
+ "range": {
757
+ "startColumn": 13,
758
+ "endColumn": 19,
759
+ "lineCount": 1
760
+ }
761
+ },
762
+ {
763
+ "code": "reportDeprecated",
764
+ "range": {
765
+ "startColumn": 14,
766
+ "endColumn": 18,
767
+ "lineCount": 1
768
+ }
769
+ },
770
+ {
771
+ "code": "reportDeprecated",
772
+ "range": {
773
+ "startColumn": 21,
774
+ "endColumn": 29,
775
+ "lineCount": 1
776
+ }
777
+ },
778
+ {
779
+ "code": "reportDeprecated",
780
+ "range": {
781
+ "startColumn": 19,
782
+ "endColumn": 27,
783
+ "lineCount": 1
784
+ }
785
+ },
786
+ {
787
+ "code": "reportPrivateUsage",
788
+ "range": {
789
+ "startColumn": 34,
790
+ "endColumn": 40,
791
+ "lineCount": 1
792
+ }
793
+ }
794
+ ],
795
+ "./src/automatix/nfa/predicate.py": [
796
+ {
797
+ "code": "reportImplicitAbstractClass",
798
+ "range": {
799
+ "startColumn": 6,
800
+ "endColumn": 23,
801
+ "lineCount": 1
802
+ }
803
+ },
804
+ {
805
+ "code": "reportImplicitOverride",
806
+ "range": {
807
+ "startColumn": 8,
808
+ "endColumn": 15,
809
+ "lineCount": 1
810
+ }
811
+ },
812
+ {
813
+ "code": "reportImplicitOverride",
814
+ "range": {
815
+ "startColumn": 8,
816
+ "endColumn": 14,
817
+ "lineCount": 1
818
+ }
819
+ },
820
+ {
821
+ "code": "reportImplicitOverride",
822
+ "range": {
823
+ "startColumn": 8,
824
+ "endColumn": 15,
825
+ "lineCount": 1
826
+ }
827
+ },
828
+ {
829
+ "code": "reportImplicitOverride",
830
+ "range": {
831
+ "startColumn": 8,
832
+ "endColumn": 14,
833
+ "lineCount": 1
834
+ }
835
+ },
836
+ {
837
+ "code": "reportImplicitOverride",
838
+ "range": {
839
+ "startColumn": 8,
840
+ "endColumn": 15,
841
+ "lineCount": 1
842
+ }
843
+ },
844
+ {
845
+ "code": "reportImplicitOverride",
846
+ "range": {
847
+ "startColumn": 8,
848
+ "endColumn": 14,
849
+ "lineCount": 1
850
+ }
851
+ }
852
+ ]
853
+ }
854
+ }