@fmfi-uk-1-ain-412/structure-explorer 0.0.6

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 (52) hide show
  1. package/README.md +54 -0
  2. package/dist/App.d.ts +2 -0
  3. package/dist/AppComponent.d.ts +18 -0
  4. package/dist/__tests__/Formula.test.d.ts +1 -0
  5. package/dist/app/hooks.d.ts +4 -0
  6. package/dist/app/store.d.ts +16 -0
  7. package/dist/components_helper/ChoiceBubble.d.ts +8 -0
  8. package/dist/components_helper/ErrorFeedback.d.ts +7 -0
  9. package/dist/components_helper/InputGroupTitle.d.ts +14 -0
  10. package/dist/components_helper/MessageBubble.d.ts +13 -0
  11. package/dist/components_helper/SelectBubble.d.ts +10 -0
  12. package/dist/components_helper/TooltipButton.d.ts +6 -0
  13. package/dist/features/formulas/FormulaCard.d.ts +1 -0
  14. package/dist/features/formulas/FormulaComponent.d.ts +7 -0
  15. package/dist/features/formulas/formulasSlice.d.ts +12373 -0
  16. package/dist/features/game/GameComponent.d.ts +8 -0
  17. package/dist/features/game/GameControls.d.ts +5 -0
  18. package/dist/features/game/GameHistory.d.ts +5 -0
  19. package/dist/features/import/importThunk.d.ts +2 -0
  20. package/dist/features/language/LanguageComponent.d.ts +1 -0
  21. package/dist/features/language/languageSlice.d.ts +588 -0
  22. package/dist/features/structure/InterpretationInput.d.ts +14 -0
  23. package/dist/features/structure/StructureComponent.d.ts +1 -0
  24. package/dist/features/structure/structureSlice.d.ts +886 -0
  25. package/dist/features/variables/VariablesComponent.d.ts +1 -0
  26. package/dist/features/variables/variablesSlice.d.ts +719 -0
  27. package/dist/index.d.ts +1 -0
  28. package/dist/logicContext.d.ts +27 -0
  29. package/dist/main.d.ts +6 -0
  30. package/dist/model/Expression.d.ts +8 -0
  31. package/dist/model/Language.d.ts +32 -0
  32. package/dist/model/Structure.d.ts +19 -0
  33. package/dist/model/formula/Formula.Conjunction.d.ts +30 -0
  34. package/dist/model/formula/Formula.Disjunction.d.ts +30 -0
  35. package/dist/model/formula/Formula.EqualityAtom.d.ts +36 -0
  36. package/dist/model/formula/Formula.Equivalence.d.ts +35 -0
  37. package/dist/model/formula/Formula.ExistentialQuant.d.ts +29 -0
  38. package/dist/model/formula/Formula.Implication.d.ts +35 -0
  39. package/dist/model/formula/Formula.Negation.d.ts +35 -0
  40. package/dist/model/formula/Formula.PredicateAtom.d.ts +37 -0
  41. package/dist/model/formula/Formula.UniversalQuant.d.ts +29 -0
  42. package/dist/model/formula/Formula.d.ts +37 -0
  43. package/dist/model/formula/QuantifiedFormula.d.ts +18 -0
  44. package/dist/model/term/Term.Constant.d.ts +32 -0
  45. package/dist/model/term/Term.FunctionTerm.d.ts +34 -0
  46. package/dist/model/term/Term.Variable.d.ts +33 -0
  47. package/dist/model/term/Term.d.ts +15 -0
  48. package/dist/structure-explorer.css +5 -0
  49. package/dist/structure-explorer.es.js +25155 -0
  50. package/dist/structure-explorer.umd.js +920 -0
  51. package/dist/vite.svg +1 -0
  52. package/package.json +55 -0
@@ -0,0 +1,886 @@
1
+ import { PayloadAction } from '@reduxjs/toolkit';
2
+ import { RootState } from '../../app/store';
3
+ import { default as Structure } from '../../model/Structure';
4
+ export interface InterpretationState {
5
+ text: string;
6
+ }
7
+ export interface StructureState {
8
+ domain: string;
9
+ iC: Record<string, InterpretationState>;
10
+ iP: Record<string, InterpretationState>;
11
+ iF: Record<string, InterpretationState>;
12
+ }
13
+ export declare const structureSlice: import('@reduxjs/toolkit').Slice<StructureState, {
14
+ importStructureState: (_state: import('immer').WritableDraft<StructureState>, action: PayloadAction<string>) => any;
15
+ updateDomain: (state: import('immer').WritableDraft<StructureState>, action: PayloadAction<string>) => void;
16
+ updateInterpretationConstants: (state: import('immer').WritableDraft<StructureState>, action: PayloadAction<{
17
+ key: string;
18
+ value: string;
19
+ }>) => void;
20
+ updateInterpretationPredicates: (state: import('immer').WritableDraft<StructureState>, action: PayloadAction<{
21
+ key: string;
22
+ value: string;
23
+ }>) => void;
24
+ updateFunctionSymbols: (state: import('immer').WritableDraft<StructureState>, action: PayloadAction<{
25
+ key: string;
26
+ value: string;
27
+ }>) => void;
28
+ }, "structure", "structure", import('@reduxjs/toolkit').SliceSelectors<StructureState>>;
29
+ export declare const updateDomain: import('@reduxjs/toolkit').ActionCreatorWithPayload<string, "structure/updateDomain">, updateInterpretationConstants: import('@reduxjs/toolkit').ActionCreatorWithPayload<{
30
+ key: string;
31
+ value: string;
32
+ }, "structure/updateInterpretationConstants">, updateInterpretationPredicates: import('@reduxjs/toolkit').ActionCreatorWithPayload<{
33
+ key: string;
34
+ value: string;
35
+ }, "structure/updateInterpretationPredicates">, updateFunctionSymbols: import('@reduxjs/toolkit').ActionCreatorWithPayload<{
36
+ key: string;
37
+ value: string;
38
+ }, "structure/updateFunctionSymbols">, importStructureState: import('@reduxjs/toolkit').ActionCreatorWithPayload<string, "structure/importStructureState">;
39
+ export declare const selectDomain: (state: RootState) => string;
40
+ export declare const selectIc: (state: RootState) => Record<string, InterpretationState>;
41
+ export declare const selectIcName: (state: RootState, name: string) => InterpretationState;
42
+ export declare const selectIp: (state: RootState) => Record<string, InterpretationState>;
43
+ export declare const selectIpName: (state: RootState, name: string) => InterpretationState;
44
+ export declare const selectIf: (state: RootState) => Record<string, InterpretationState>;
45
+ export declare const selectIfName: (state: RootState, name: string) => InterpretationState;
46
+ export declare const selectParsedDomain: ((state: {
47
+ formulas: import('../formulas/formulasSlice').FormulasState;
48
+ language: import('../language/languageSlice').LanguageState;
49
+ structure: StructureState;
50
+ variables: import('../variables/variablesSlice').VariablesState;
51
+ }) => {
52
+ error: Error;
53
+ parsed?: undefined;
54
+ } | {
55
+ parsed: string[];
56
+ error?: undefined;
57
+ }) & {
58
+ clearCache: () => void;
59
+ resultsCount: () => number;
60
+ resetResultsCount: () => void;
61
+ } & {
62
+ resultFunc: (resultFuncArgs_0: string) => {
63
+ error: Error;
64
+ parsed?: undefined;
65
+ } | {
66
+ parsed: string[];
67
+ error?: undefined;
68
+ };
69
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
70
+ error: Error;
71
+ parsed?: undefined;
72
+ } | {
73
+ parsed: string[];
74
+ error?: undefined;
75
+ }) & {
76
+ clearCache: () => void;
77
+ resultsCount: () => number;
78
+ resetResultsCount: () => void;
79
+ };
80
+ lastResult: () => {
81
+ error: Error;
82
+ parsed?: undefined;
83
+ } | {
84
+ parsed: string[];
85
+ error?: undefined;
86
+ };
87
+ dependencies: [(state: RootState) => string];
88
+ recomputations: () => number;
89
+ resetRecomputations: () => void;
90
+ dependencyRecomputations: () => number;
91
+ resetDependencyRecomputations: () => void;
92
+ } & {
93
+ memoize: typeof import('reselect').weakMapMemoize;
94
+ argsMemoize: typeof import('reselect').weakMapMemoize;
95
+ };
96
+ export declare const selectParsedConstant: ((state: {
97
+ formulas: import('../formulas/formulasSlice').FormulasState;
98
+ language: import('../language/languageSlice').LanguageState;
99
+ structure: StructureState;
100
+ variables: import('../variables/variablesSlice').VariablesState;
101
+ }, name: string) => {
102
+ error: Error;
103
+ parsed?: undefined;
104
+ } | {
105
+ parsed: string;
106
+ error?: undefined;
107
+ }) & {
108
+ clearCache: () => void;
109
+ resultsCount: () => number;
110
+ resetResultsCount: () => void;
111
+ } & {
112
+ resultFunc: (resultFuncArgs_0: InterpretationState, resultFuncArgs_1: {
113
+ error: Error;
114
+ parsed?: undefined;
115
+ } | {
116
+ parsed: string[];
117
+ error?: undefined;
118
+ }) => {
119
+ error: Error;
120
+ parsed?: undefined;
121
+ } | {
122
+ parsed: string;
123
+ error?: undefined;
124
+ };
125
+ memoizedResultFunc: ((resultFuncArgs_0: InterpretationState, resultFuncArgs_1: {
126
+ error: Error;
127
+ parsed?: undefined;
128
+ } | {
129
+ parsed: string[];
130
+ error?: undefined;
131
+ }) => {
132
+ error: Error;
133
+ parsed?: undefined;
134
+ } | {
135
+ parsed: string;
136
+ error?: undefined;
137
+ }) & {
138
+ clearCache: () => void;
139
+ resultsCount: () => number;
140
+ resetResultsCount: () => void;
141
+ };
142
+ lastResult: () => {
143
+ error: Error;
144
+ parsed?: undefined;
145
+ } | {
146
+ parsed: string;
147
+ error?: undefined;
148
+ };
149
+ dependencies: [(state: RootState, name: string) => InterpretationState, ((state: {
150
+ formulas: import('../formulas/formulasSlice').FormulasState;
151
+ language: import('../language/languageSlice').LanguageState;
152
+ structure: StructureState;
153
+ variables: import('../variables/variablesSlice').VariablesState;
154
+ }) => {
155
+ error: Error;
156
+ parsed?: undefined;
157
+ } | {
158
+ parsed: string[];
159
+ error?: undefined;
160
+ }) & {
161
+ clearCache: () => void;
162
+ resultsCount: () => number;
163
+ resetResultsCount: () => void;
164
+ } & {
165
+ resultFunc: (resultFuncArgs_0: string) => {
166
+ error: Error;
167
+ parsed?: undefined;
168
+ } | {
169
+ parsed: string[];
170
+ error?: undefined;
171
+ };
172
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
173
+ error: Error;
174
+ parsed?: undefined;
175
+ } | {
176
+ parsed: string[];
177
+ error?: undefined;
178
+ }) & {
179
+ clearCache: () => void;
180
+ resultsCount: () => number;
181
+ resetResultsCount: () => void;
182
+ };
183
+ lastResult: () => {
184
+ error: Error;
185
+ parsed?: undefined;
186
+ } | {
187
+ parsed: string[];
188
+ error?: undefined;
189
+ };
190
+ dependencies: [(state: RootState) => string];
191
+ recomputations: () => number;
192
+ resetRecomputations: () => void;
193
+ dependencyRecomputations: () => number;
194
+ resetDependencyRecomputations: () => void;
195
+ } & {
196
+ memoize: typeof import('reselect').weakMapMemoize;
197
+ argsMemoize: typeof import('reselect').weakMapMemoize;
198
+ }];
199
+ recomputations: () => number;
200
+ resetRecomputations: () => void;
201
+ dependencyRecomputations: () => number;
202
+ resetDependencyRecomputations: () => void;
203
+ } & {
204
+ memoize: typeof import('reselect').weakMapMemoize;
205
+ argsMemoize: typeof import('reselect').weakMapMemoize;
206
+ };
207
+ export declare const selectParsedPredicate: ((state: {
208
+ formulas: import('../formulas/formulasSlice').FormulasState;
209
+ language: import('../language/languageSlice').LanguageState;
210
+ structure: StructureState;
211
+ variables: import('../variables/variablesSlice').VariablesState;
212
+ }, name: string) => {
213
+ error?: undefined;
214
+ parsed?: undefined;
215
+ } | {
216
+ error: undefined;
217
+ parsed: string[][];
218
+ } | {
219
+ error: Error;
220
+ parsed?: undefined;
221
+ }) & {
222
+ clearCache: () => void;
223
+ resultsCount: () => number;
224
+ resetResultsCount: () => void;
225
+ } & {
226
+ resultFunc: (resultFuncArgs_0: InterpretationState, resultFuncArgs_1: {
227
+ error: Error;
228
+ parsed?: undefined;
229
+ } | {
230
+ parsed: string[];
231
+ error?: undefined;
232
+ }, resultFuncArgs_2: {
233
+ parsed: Map<string, number>;
234
+ error?: undefined;
235
+ } | {
236
+ error: Error;
237
+ parsed?: undefined;
238
+ }, resultFuncArgs_3: string) => {
239
+ error?: undefined;
240
+ parsed?: undefined;
241
+ } | {
242
+ error: undefined;
243
+ parsed: string[][];
244
+ } | {
245
+ error: Error;
246
+ parsed?: undefined;
247
+ };
248
+ memoizedResultFunc: ((resultFuncArgs_0: InterpretationState, resultFuncArgs_1: {
249
+ error: Error;
250
+ parsed?: undefined;
251
+ } | {
252
+ parsed: string[];
253
+ error?: undefined;
254
+ }, resultFuncArgs_2: {
255
+ parsed: Map<string, number>;
256
+ error?: undefined;
257
+ } | {
258
+ error: Error;
259
+ parsed?: undefined;
260
+ }, resultFuncArgs_3: string) => {
261
+ error?: undefined;
262
+ parsed?: undefined;
263
+ } | {
264
+ error: undefined;
265
+ parsed: string[][];
266
+ } | {
267
+ error: Error;
268
+ parsed?: undefined;
269
+ }) & {
270
+ clearCache: () => void;
271
+ resultsCount: () => number;
272
+ resetResultsCount: () => void;
273
+ };
274
+ lastResult: () => {
275
+ error?: undefined;
276
+ parsed?: undefined;
277
+ } | {
278
+ error: undefined;
279
+ parsed: string[][];
280
+ } | {
281
+ error: Error;
282
+ parsed?: undefined;
283
+ };
284
+ dependencies: [(state: RootState, name: string) => InterpretationState, ((state: {
285
+ formulas: import('../formulas/formulasSlice').FormulasState;
286
+ language: import('../language/languageSlice').LanguageState;
287
+ structure: StructureState;
288
+ variables: import('../variables/variablesSlice').VariablesState;
289
+ }) => {
290
+ error: Error;
291
+ parsed?: undefined;
292
+ } | {
293
+ parsed: string[];
294
+ error?: undefined;
295
+ }) & {
296
+ clearCache: () => void;
297
+ resultsCount: () => number;
298
+ resetResultsCount: () => void;
299
+ } & {
300
+ resultFunc: (resultFuncArgs_0: string) => {
301
+ error: Error;
302
+ parsed?: undefined;
303
+ } | {
304
+ parsed: string[];
305
+ error?: undefined;
306
+ };
307
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
308
+ error: Error;
309
+ parsed?: undefined;
310
+ } | {
311
+ parsed: string[];
312
+ error?: undefined;
313
+ }) & {
314
+ clearCache: () => void;
315
+ resultsCount: () => number;
316
+ resetResultsCount: () => void;
317
+ };
318
+ lastResult: () => {
319
+ error: Error;
320
+ parsed?: undefined;
321
+ } | {
322
+ parsed: string[];
323
+ error?: undefined;
324
+ };
325
+ dependencies: [(state: RootState) => string];
326
+ recomputations: () => number;
327
+ resetRecomputations: () => void;
328
+ dependencyRecomputations: () => number;
329
+ resetDependencyRecomputations: () => void;
330
+ } & {
331
+ memoize: typeof import('reselect').weakMapMemoize;
332
+ argsMemoize: typeof import('reselect').weakMapMemoize;
333
+ }, ((state: {
334
+ formulas: import('../formulas/formulasSlice').FormulasState;
335
+ language: import('../language/languageSlice').LanguageState;
336
+ structure: StructureState;
337
+ variables: import('../variables/variablesSlice').VariablesState;
338
+ }) => {
339
+ parsed: Map<string, number>;
340
+ error?: undefined;
341
+ } | {
342
+ error: Error;
343
+ parsed?: undefined;
344
+ }) & {
345
+ clearCache: () => void;
346
+ resultsCount: () => number;
347
+ resetResultsCount: () => void;
348
+ } & {
349
+ resultFunc: (resultFuncArgs_0: string) => {
350
+ parsed: Map<string, number>;
351
+ error?: undefined;
352
+ } | {
353
+ error: Error;
354
+ parsed?: undefined;
355
+ };
356
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
357
+ parsed: Map<string, number>;
358
+ error?: undefined;
359
+ } | {
360
+ error: Error;
361
+ parsed?: undefined;
362
+ }) & {
363
+ clearCache: () => void;
364
+ resultsCount: () => number;
365
+ resetResultsCount: () => void;
366
+ };
367
+ lastResult: () => {
368
+ parsed: Map<string, number>;
369
+ error?: undefined;
370
+ } | {
371
+ error: Error;
372
+ parsed?: undefined;
373
+ };
374
+ dependencies: [(state: RootState) => string];
375
+ recomputations: () => number;
376
+ resetRecomputations: () => void;
377
+ dependencyRecomputations: () => number;
378
+ resetDependencyRecomputations: () => void;
379
+ } & {
380
+ memoize: typeof import('reselect').weakMapMemoize;
381
+ argsMemoize: typeof import('reselect').weakMapMemoize;
382
+ }, (_: RootState, name: string) => string];
383
+ recomputations: () => number;
384
+ resetRecomputations: () => void;
385
+ dependencyRecomputations: () => number;
386
+ resetDependencyRecomputations: () => void;
387
+ } & {
388
+ memoize: typeof import('reselect').weakMapMemoize;
389
+ argsMemoize: typeof import('reselect').weakMapMemoize;
390
+ };
391
+ export declare const selectParsedFunction: ((state: {
392
+ formulas: import('../formulas/formulasSlice').FormulasState;
393
+ language: import('../language/languageSlice').LanguageState;
394
+ structure: StructureState;
395
+ variables: import('../variables/variablesSlice').VariablesState;
396
+ }, name: string) => {
397
+ error?: undefined;
398
+ parsed?: undefined;
399
+ } | {
400
+ error: Error;
401
+ parsed?: undefined;
402
+ } | {
403
+ error: Error | undefined;
404
+ parsed: string[][];
405
+ }) & {
406
+ clearCache: () => void;
407
+ resultsCount: () => number;
408
+ resetResultsCount: () => void;
409
+ } & {
410
+ resultFunc: (resultFuncArgs_0: InterpretationState, resultFuncArgs_1: {
411
+ error: Error;
412
+ parsed?: undefined;
413
+ } | {
414
+ parsed: string[];
415
+ error?: undefined;
416
+ }, resultFuncArgs_2: {
417
+ parsed: Map<string, number>;
418
+ error?: undefined;
419
+ } | {
420
+ error: Error;
421
+ parsed?: undefined;
422
+ }, resultFuncArgs_3: string) => {
423
+ error?: undefined;
424
+ parsed?: undefined;
425
+ } | {
426
+ error: Error;
427
+ parsed?: undefined;
428
+ } | {
429
+ error: Error | undefined;
430
+ parsed: string[][];
431
+ };
432
+ memoizedResultFunc: ((resultFuncArgs_0: InterpretationState, resultFuncArgs_1: {
433
+ error: Error;
434
+ parsed?: undefined;
435
+ } | {
436
+ parsed: string[];
437
+ error?: undefined;
438
+ }, resultFuncArgs_2: {
439
+ parsed: Map<string, number>;
440
+ error?: undefined;
441
+ } | {
442
+ error: Error;
443
+ parsed?: undefined;
444
+ }, resultFuncArgs_3: string) => {
445
+ error?: undefined;
446
+ parsed?: undefined;
447
+ } | {
448
+ error: Error;
449
+ parsed?: undefined;
450
+ } | {
451
+ error: Error | undefined;
452
+ parsed: string[][];
453
+ }) & {
454
+ clearCache: () => void;
455
+ resultsCount: () => number;
456
+ resetResultsCount: () => void;
457
+ };
458
+ lastResult: () => {
459
+ error?: undefined;
460
+ parsed?: undefined;
461
+ } | {
462
+ error: Error;
463
+ parsed?: undefined;
464
+ } | {
465
+ error: Error | undefined;
466
+ parsed: string[][];
467
+ };
468
+ dependencies: [(state: RootState, name: string) => InterpretationState, ((state: {
469
+ formulas: import('../formulas/formulasSlice').FormulasState;
470
+ language: import('../language/languageSlice').LanguageState;
471
+ structure: StructureState;
472
+ variables: import('../variables/variablesSlice').VariablesState;
473
+ }) => {
474
+ error: Error;
475
+ parsed?: undefined;
476
+ } | {
477
+ parsed: string[];
478
+ error?: undefined;
479
+ }) & {
480
+ clearCache: () => void;
481
+ resultsCount: () => number;
482
+ resetResultsCount: () => void;
483
+ } & {
484
+ resultFunc: (resultFuncArgs_0: string) => {
485
+ error: Error;
486
+ parsed?: undefined;
487
+ } | {
488
+ parsed: string[];
489
+ error?: undefined;
490
+ };
491
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
492
+ error: Error;
493
+ parsed?: undefined;
494
+ } | {
495
+ parsed: string[];
496
+ error?: undefined;
497
+ }) & {
498
+ clearCache: () => void;
499
+ resultsCount: () => number;
500
+ resetResultsCount: () => void;
501
+ };
502
+ lastResult: () => {
503
+ error: Error;
504
+ parsed?: undefined;
505
+ } | {
506
+ parsed: string[];
507
+ error?: undefined;
508
+ };
509
+ dependencies: [(state: RootState) => string];
510
+ recomputations: () => number;
511
+ resetRecomputations: () => void;
512
+ dependencyRecomputations: () => number;
513
+ resetDependencyRecomputations: () => void;
514
+ } & {
515
+ memoize: typeof import('reselect').weakMapMemoize;
516
+ argsMemoize: typeof import('reselect').weakMapMemoize;
517
+ }, ((state: {
518
+ formulas: import('../formulas/formulasSlice').FormulasState;
519
+ language: import('../language/languageSlice').LanguageState;
520
+ structure: StructureState;
521
+ variables: import('../variables/variablesSlice').VariablesState;
522
+ }) => {
523
+ parsed: Map<string, number>;
524
+ error?: undefined;
525
+ } | {
526
+ error: Error;
527
+ parsed?: undefined;
528
+ }) & {
529
+ clearCache: () => void;
530
+ resultsCount: () => number;
531
+ resetResultsCount: () => void;
532
+ } & {
533
+ resultFunc: (resultFuncArgs_0: string) => {
534
+ parsed: Map<string, number>;
535
+ error?: undefined;
536
+ } | {
537
+ error: Error;
538
+ parsed?: undefined;
539
+ };
540
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
541
+ parsed: Map<string, number>;
542
+ error?: undefined;
543
+ } | {
544
+ error: Error;
545
+ parsed?: undefined;
546
+ }) & {
547
+ clearCache: () => void;
548
+ resultsCount: () => number;
549
+ resetResultsCount: () => void;
550
+ };
551
+ lastResult: () => {
552
+ parsed: Map<string, number>;
553
+ error?: undefined;
554
+ } | {
555
+ error: Error;
556
+ parsed?: undefined;
557
+ };
558
+ dependencies: [(state: RootState) => string];
559
+ recomputations: () => number;
560
+ resetRecomputations: () => void;
561
+ dependencyRecomputations: () => number;
562
+ resetDependencyRecomputations: () => void;
563
+ } & {
564
+ memoize: typeof import('reselect').weakMapMemoize;
565
+ argsMemoize: typeof import('reselect').weakMapMemoize;
566
+ }, (_: RootState, name: string) => string];
567
+ recomputations: () => number;
568
+ resetRecomputations: () => void;
569
+ dependencyRecomputations: () => number;
570
+ resetDependencyRecomputations: () => void;
571
+ } & {
572
+ memoize: typeof import('reselect').weakMapMemoize;
573
+ argsMemoize: typeof import('reselect').weakMapMemoize;
574
+ };
575
+ export declare const selectStructure: ((state: {
576
+ formulas: import('../formulas/formulasSlice').FormulasState;
577
+ language: import('../language/languageSlice').LanguageState;
578
+ structure: StructureState;
579
+ variables: import('../variables/variablesSlice').VariablesState;
580
+ }) => Structure) & {
581
+ clearCache: () => void;
582
+ resultsCount: () => number;
583
+ resetResultsCount: () => void;
584
+ } & {
585
+ resultFunc: (resultFuncArgs_0: {
586
+ formulas: import('../formulas/formulasSlice').FormulasState;
587
+ language: import('../language/languageSlice').LanguageState;
588
+ structure: StructureState;
589
+ variables: import('../variables/variablesSlice').VariablesState;
590
+ }, resultFuncArgs_1: import('../../model/Language').Language, resultFuncArgs_2: {
591
+ error: Error;
592
+ parsed?: undefined;
593
+ } | {
594
+ parsed: string[];
595
+ error?: undefined;
596
+ }) => Structure;
597
+ memoizedResultFunc: ((resultFuncArgs_0: {
598
+ formulas: import('../formulas/formulasSlice').FormulasState;
599
+ language: import('../language/languageSlice').LanguageState;
600
+ structure: StructureState;
601
+ variables: import('../variables/variablesSlice').VariablesState;
602
+ }, resultFuncArgs_1: import('../../model/Language').Language, resultFuncArgs_2: {
603
+ error: Error;
604
+ parsed?: undefined;
605
+ } | {
606
+ parsed: string[];
607
+ error?: undefined;
608
+ }) => Structure) & {
609
+ clearCache: () => void;
610
+ resultsCount: () => number;
611
+ resetResultsCount: () => void;
612
+ };
613
+ lastResult: () => Structure;
614
+ dependencies: [(state: RootState) => {
615
+ formulas: import('../formulas/formulasSlice').FormulasState;
616
+ language: import('../language/languageSlice').LanguageState;
617
+ structure: StructureState;
618
+ variables: import('../variables/variablesSlice').VariablesState;
619
+ }, ((state: {
620
+ formulas: import('../formulas/formulasSlice').FormulasState;
621
+ language: import('../language/languageSlice').LanguageState;
622
+ structure: StructureState;
623
+ variables: import('../variables/variablesSlice').VariablesState;
624
+ }) => import('../../model/Language').Language) & {
625
+ clearCache: () => void;
626
+ resultsCount: () => number;
627
+ resetResultsCount: () => void;
628
+ } & {
629
+ resultFunc: (resultFuncArgs_0: {
630
+ parsed: Set<string>;
631
+ error?: undefined;
632
+ } | {
633
+ error: Error;
634
+ parsed?: undefined;
635
+ }, resultFuncArgs_1: {
636
+ parsed: Map<string, number>;
637
+ error?: undefined;
638
+ } | {
639
+ error: Error;
640
+ parsed?: undefined;
641
+ }, resultFuncArgs_2: {
642
+ parsed: Map<string, number>;
643
+ error?: undefined;
644
+ } | {
645
+ error: Error;
646
+ parsed?: undefined;
647
+ }) => import('../../model/Language').Language;
648
+ memoizedResultFunc: ((resultFuncArgs_0: {
649
+ parsed: Set<string>;
650
+ error?: undefined;
651
+ } | {
652
+ error: Error;
653
+ parsed?: undefined;
654
+ }, resultFuncArgs_1: {
655
+ parsed: Map<string, number>;
656
+ error?: undefined;
657
+ } | {
658
+ error: Error;
659
+ parsed?: undefined;
660
+ }, resultFuncArgs_2: {
661
+ parsed: Map<string, number>;
662
+ error?: undefined;
663
+ } | {
664
+ error: Error;
665
+ parsed?: undefined;
666
+ }) => import('../../model/Language').Language) & {
667
+ clearCache: () => void;
668
+ resultsCount: () => number;
669
+ resetResultsCount: () => void;
670
+ };
671
+ lastResult: () => import('../../model/Language').Language;
672
+ dependencies: [((state: {
673
+ formulas: import('../formulas/formulasSlice').FormulasState;
674
+ language: import('../language/languageSlice').LanguageState;
675
+ structure: StructureState;
676
+ variables: import('../variables/variablesSlice').VariablesState;
677
+ }) => {
678
+ parsed: Set<string>;
679
+ error?: undefined;
680
+ } | {
681
+ error: Error;
682
+ parsed?: undefined;
683
+ }) & {
684
+ clearCache: () => void;
685
+ resultsCount: () => number;
686
+ resetResultsCount: () => void;
687
+ } & {
688
+ resultFunc: (resultFuncArgs_0: string) => {
689
+ parsed: Set<string>;
690
+ error?: undefined;
691
+ } | {
692
+ error: Error;
693
+ parsed?: undefined;
694
+ };
695
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
696
+ parsed: Set<string>;
697
+ error?: undefined;
698
+ } | {
699
+ error: Error;
700
+ parsed?: undefined;
701
+ }) & {
702
+ clearCache: () => void;
703
+ resultsCount: () => number;
704
+ resetResultsCount: () => void;
705
+ };
706
+ lastResult: () => {
707
+ parsed: Set<string>;
708
+ error?: undefined;
709
+ } | {
710
+ error: Error;
711
+ parsed?: undefined;
712
+ };
713
+ dependencies: [(state: RootState) => string];
714
+ recomputations: () => number;
715
+ resetRecomputations: () => void;
716
+ dependencyRecomputations: () => number;
717
+ resetDependencyRecomputations: () => void;
718
+ } & {
719
+ memoize: typeof import('reselect').weakMapMemoize;
720
+ argsMemoize: typeof import('reselect').weakMapMemoize;
721
+ }, ((state: {
722
+ formulas: import('../formulas/formulasSlice').FormulasState;
723
+ language: import('../language/languageSlice').LanguageState;
724
+ structure: StructureState;
725
+ variables: import('../variables/variablesSlice').VariablesState;
726
+ }) => {
727
+ parsed: Map<string, number>;
728
+ error?: undefined;
729
+ } | {
730
+ error: Error;
731
+ parsed?: undefined;
732
+ }) & {
733
+ clearCache: () => void;
734
+ resultsCount: () => number;
735
+ resetResultsCount: () => void;
736
+ } & {
737
+ resultFunc: (resultFuncArgs_0: string) => {
738
+ parsed: Map<string, number>;
739
+ error?: undefined;
740
+ } | {
741
+ error: Error;
742
+ parsed?: undefined;
743
+ };
744
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
745
+ parsed: Map<string, number>;
746
+ error?: undefined;
747
+ } | {
748
+ error: Error;
749
+ parsed?: undefined;
750
+ }) & {
751
+ clearCache: () => void;
752
+ resultsCount: () => number;
753
+ resetResultsCount: () => void;
754
+ };
755
+ lastResult: () => {
756
+ parsed: Map<string, number>;
757
+ error?: undefined;
758
+ } | {
759
+ error: Error;
760
+ parsed?: undefined;
761
+ };
762
+ dependencies: [(state: RootState) => string];
763
+ recomputations: () => number;
764
+ resetRecomputations: () => void;
765
+ dependencyRecomputations: () => number;
766
+ resetDependencyRecomputations: () => void;
767
+ } & {
768
+ memoize: typeof import('reselect').weakMapMemoize;
769
+ argsMemoize: typeof import('reselect').weakMapMemoize;
770
+ }, ((state: {
771
+ formulas: import('../formulas/formulasSlice').FormulasState;
772
+ language: import('../language/languageSlice').LanguageState;
773
+ structure: StructureState;
774
+ variables: import('../variables/variablesSlice').VariablesState;
775
+ }) => {
776
+ parsed: Map<string, number>;
777
+ error?: undefined;
778
+ } | {
779
+ error: Error;
780
+ parsed?: undefined;
781
+ }) & {
782
+ clearCache: () => void;
783
+ resultsCount: () => number;
784
+ resetResultsCount: () => void;
785
+ } & {
786
+ resultFunc: (resultFuncArgs_0: string) => {
787
+ parsed: Map<string, number>;
788
+ error?: undefined;
789
+ } | {
790
+ error: Error;
791
+ parsed?: undefined;
792
+ };
793
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
794
+ parsed: Map<string, number>;
795
+ error?: undefined;
796
+ } | {
797
+ error: Error;
798
+ parsed?: undefined;
799
+ }) & {
800
+ clearCache: () => void;
801
+ resultsCount: () => number;
802
+ resetResultsCount: () => void;
803
+ };
804
+ lastResult: () => {
805
+ parsed: Map<string, number>;
806
+ error?: undefined;
807
+ } | {
808
+ error: Error;
809
+ parsed?: undefined;
810
+ };
811
+ dependencies: [(state: RootState) => string];
812
+ recomputations: () => number;
813
+ resetRecomputations: () => void;
814
+ dependencyRecomputations: () => number;
815
+ resetDependencyRecomputations: () => void;
816
+ } & {
817
+ memoize: typeof import('reselect').weakMapMemoize;
818
+ argsMemoize: typeof import('reselect').weakMapMemoize;
819
+ }];
820
+ recomputations: () => number;
821
+ resetRecomputations: () => void;
822
+ dependencyRecomputations: () => number;
823
+ resetDependencyRecomputations: () => void;
824
+ } & {
825
+ memoize: typeof import('reselect').weakMapMemoize;
826
+ argsMemoize: typeof import('reselect').weakMapMemoize;
827
+ }, ((state: {
828
+ formulas: import('../formulas/formulasSlice').FormulasState;
829
+ language: import('../language/languageSlice').LanguageState;
830
+ structure: StructureState;
831
+ variables: import('../variables/variablesSlice').VariablesState;
832
+ }) => {
833
+ error: Error;
834
+ parsed?: undefined;
835
+ } | {
836
+ parsed: string[];
837
+ error?: undefined;
838
+ }) & {
839
+ clearCache: () => void;
840
+ resultsCount: () => number;
841
+ resetResultsCount: () => void;
842
+ } & {
843
+ resultFunc: (resultFuncArgs_0: string) => {
844
+ error: Error;
845
+ parsed?: undefined;
846
+ } | {
847
+ parsed: string[];
848
+ error?: undefined;
849
+ };
850
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
851
+ error: Error;
852
+ parsed?: undefined;
853
+ } | {
854
+ parsed: string[];
855
+ error?: undefined;
856
+ }) & {
857
+ clearCache: () => void;
858
+ resultsCount: () => number;
859
+ resetResultsCount: () => void;
860
+ };
861
+ lastResult: () => {
862
+ error: Error;
863
+ parsed?: undefined;
864
+ } | {
865
+ parsed: string[];
866
+ error?: undefined;
867
+ };
868
+ dependencies: [(state: RootState) => string];
869
+ recomputations: () => number;
870
+ resetRecomputations: () => void;
871
+ dependencyRecomputations: () => number;
872
+ resetDependencyRecomputations: () => void;
873
+ } & {
874
+ memoize: typeof import('reselect').weakMapMemoize;
875
+ argsMemoize: typeof import('reselect').weakMapMemoize;
876
+ }];
877
+ recomputations: () => number;
878
+ resetRecomputations: () => void;
879
+ dependencyRecomputations: () => number;
880
+ resetDependencyRecomputations: () => void;
881
+ } & {
882
+ memoize: typeof import('reselect').weakMapMemoize;
883
+ argsMemoize: typeof import('reselect').weakMapMemoize;
884
+ };
885
+ declare const _default: import('redux').Reducer<StructureState>;
886
+ export default _default;