@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
package/dist/features/variables/variablesSlice.d.ts ADDED
@@ -0,0 +1,719 @@
1
+ import { PayloadAction } from '@reduxjs/toolkit';
2
+ import { RootState } from '../../app/store';
3
+ import { SyntaxError } from '@fmfi-uk-1-ain-412/js-fol-parser';
4
+ export interface VariablesState {
5
+ text: string;
6
+ }
7
+ export declare const variablesSlice: import('@reduxjs/toolkit').Slice<VariablesState, {
8
+ importVariablesState: (_state: import('immer').WritableDraft<VariablesState>, action: PayloadAction<string>) => any;
9
+ updateVariables: (state: import('immer').WritableDraft<VariablesState>, action: PayloadAction<string>) => void;
10
+ }, "variables", "variables", import('@reduxjs/toolkit').SliceSelectors<VariablesState>>;
11
+ export declare const updateVariables: import('@reduxjs/toolkit').ActionCreatorWithPayload<string, "variables/updateVariables">, importVariablesState: import('@reduxjs/toolkit').ActionCreatorWithPayload<string, "variables/importVariablesState">;
12
+ declare const _default: import('redux').Reducer<VariablesState>;
13
+ export default _default;
14
+ export declare const selectVariables: (state: RootState) => string;
15
+ export declare const selectParsedVariables: ((state: {
16
+ formulas: import('../formulas/formulasSlice').FormulasState;
17
+ language: import('../language/languageSlice').LanguageState;
18
+ structure: import('../structure/structureSlice').StructureState;
19
+ variables: VariablesState;
20
+ }) => {
21
+ parsed: {
22
+ from: string;
23
+ to: string;
24
+ }[];
25
+ error?: undefined;
26
+ } | {
27
+ error: SyntaxError;
28
+ parsed?: undefined;
29
+ }) & {
30
+ clearCache: () => void;
31
+ resultsCount: () => number;
32
+ resetResultsCount: () => void;
33
+ } & {
34
+ resultFunc: (resultFuncArgs_0: string, resultFuncArgs_1: import('../../model/Language').Language, resultFuncArgs_2: {
35
+ error: Error;
36
+ parsed?: undefined;
37
+ } | {
38
+ parsed: string[];
39
+ error?: undefined;
40
+ }) => {
41
+ parsed: {
42
+ from: string;
43
+ to: string;
44
+ }[];
45
+ error?: undefined;
46
+ } | {
47
+ error: SyntaxError;
48
+ parsed?: undefined;
49
+ };
50
+ memoizedResultFunc: ((resultFuncArgs_0: string, resultFuncArgs_1: import('../../model/Language').Language, resultFuncArgs_2: {
51
+ error: Error;
52
+ parsed?: undefined;
53
+ } | {
54
+ parsed: string[];
55
+ error?: undefined;
56
+ }) => {
57
+ parsed: {
58
+ from: string;
59
+ to: string;
60
+ }[];
61
+ error?: undefined;
62
+ } | {
63
+ error: SyntaxError;
64
+ parsed?: undefined;
65
+ }) & {
66
+ clearCache: () => void;
67
+ resultsCount: () => number;
68
+ resetResultsCount: () => void;
69
+ };
70
+ lastResult: () => {
71
+ parsed: {
72
+ from: string;
73
+ to: string;
74
+ }[];
75
+ error?: undefined;
76
+ } | {
77
+ error: SyntaxError;
78
+ parsed?: undefined;
79
+ };
80
+ dependencies: [(state: RootState) => string, ((state: {
81
+ formulas: import('../formulas/formulasSlice').FormulasState;
82
+ language: import('../language/languageSlice').LanguageState;
83
+ structure: import('../structure/structureSlice').StructureState;
84
+ variables: VariablesState;
85
+ }) => import('../../model/Language').Language) & {
86
+ clearCache: () => void;
87
+ resultsCount: () => number;
88
+ resetResultsCount: () => void;
89
+ } & {
90
+ resultFunc: (resultFuncArgs_0: {
91
+ parsed: Set<string>;
92
+ error?: undefined;
93
+ } | {
94
+ error: Error;
95
+ parsed?: undefined;
96
+ }, resultFuncArgs_1: {
97
+ parsed: Map<string, number>;
98
+ error?: undefined;
99
+ } | {
100
+ error: Error;
101
+ parsed?: undefined;
102
+ }, resultFuncArgs_2: {
103
+ parsed: Map<string, number>;
104
+ error?: undefined;
105
+ } | {
106
+ error: Error;
107
+ parsed?: undefined;
108
+ }) => import('../../model/Language').Language;
109
+ memoizedResultFunc: ((resultFuncArgs_0: {
110
+ parsed: Set<string>;
111
+ error?: undefined;
112
+ } | {
113
+ error: Error;
114
+ parsed?: undefined;
115
+ }, resultFuncArgs_1: {
116
+ parsed: Map<string, number>;
117
+ error?: undefined;
118
+ } | {
119
+ error: Error;
120
+ parsed?: undefined;
121
+ }, resultFuncArgs_2: {
122
+ parsed: Map<string, number>;
123
+ error?: undefined;
124
+ } | {
125
+ error: Error;
126
+ parsed?: undefined;
127
+ }) => import('../../model/Language').Language) & {
128
+ clearCache: () => void;
129
+ resultsCount: () => number;
130
+ resetResultsCount: () => void;
131
+ };
132
+ lastResult: () => import('../../model/Language').Language;
133
+ dependencies: [((state: {
134
+ formulas: import('../formulas/formulasSlice').FormulasState;
135
+ language: import('../language/languageSlice').LanguageState;
136
+ structure: import('../structure/structureSlice').StructureState;
137
+ variables: VariablesState;
138
+ }) => {
139
+ parsed: Set<string>;
140
+ error?: undefined;
141
+ } | {
142
+ error: Error;
143
+ parsed?: undefined;
144
+ }) & {
145
+ clearCache: () => void;
146
+ resultsCount: () => number;
147
+ resetResultsCount: () => void;
148
+ } & {
149
+ resultFunc: (resultFuncArgs_0: string) => {
150
+ parsed: Set<string>;
151
+ error?: undefined;
152
+ } | {
153
+ error: Error;
154
+ parsed?: undefined;
155
+ };
156
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
157
+ parsed: Set<string>;
158
+ error?: undefined;
159
+ } | {
160
+ error: Error;
161
+ parsed?: undefined;
162
+ }) & {
163
+ clearCache: () => void;
164
+ resultsCount: () => number;
165
+ resetResultsCount: () => void;
166
+ };
167
+ lastResult: () => {
168
+ parsed: Set<string>;
169
+ error?: undefined;
170
+ } | {
171
+ error: Error;
172
+ parsed?: undefined;
173
+ };
174
+ dependencies: [(state: RootState) => string];
175
+ recomputations: () => number;
176
+ resetRecomputations: () => void;
177
+ dependencyRecomputations: () => number;
178
+ resetDependencyRecomputations: () => void;
179
+ } & {
180
+ memoize: typeof import('reselect').weakMapMemoize;
181
+ argsMemoize: typeof import('reselect').weakMapMemoize;
182
+ }, ((state: {
183
+ formulas: import('../formulas/formulasSlice').FormulasState;
184
+ language: import('../language/languageSlice').LanguageState;
185
+ structure: import('../structure/structureSlice').StructureState;
186
+ variables: VariablesState;
187
+ }) => {
188
+ parsed: Map<string, number>;
189
+ error?: undefined;
190
+ } | {
191
+ error: Error;
192
+ parsed?: undefined;
193
+ }) & {
194
+ clearCache: () => void;
195
+ resultsCount: () => number;
196
+ resetResultsCount: () => void;
197
+ } & {
198
+ resultFunc: (resultFuncArgs_0: string) => {
199
+ parsed: Map<string, number>;
200
+ error?: undefined;
201
+ } | {
202
+ error: Error;
203
+ parsed?: undefined;
204
+ };
205
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
206
+ parsed: Map<string, number>;
207
+ error?: undefined;
208
+ } | {
209
+ error: Error;
210
+ parsed?: undefined;
211
+ }) & {
212
+ clearCache: () => void;
213
+ resultsCount: () => number;
214
+ resetResultsCount: () => void;
215
+ };
216
+ lastResult: () => {
217
+ parsed: Map<string, number>;
218
+ error?: undefined;
219
+ } | {
220
+ error: Error;
221
+ parsed?: undefined;
222
+ };
223
+ dependencies: [(state: RootState) => string];
224
+ recomputations: () => number;
225
+ resetRecomputations: () => void;
226
+ dependencyRecomputations: () => number;
227
+ resetDependencyRecomputations: () => void;
228
+ } & {
229
+ memoize: typeof import('reselect').weakMapMemoize;
230
+ argsMemoize: typeof import('reselect').weakMapMemoize;
231
+ }, ((state: {
232
+ formulas: import('../formulas/formulasSlice').FormulasState;
233
+ language: import('../language/languageSlice').LanguageState;
234
+ structure: import('../structure/structureSlice').StructureState;
235
+ variables: VariablesState;
236
+ }) => {
237
+ parsed: Map<string, number>;
238
+ error?: undefined;
239
+ } | {
240
+ error: Error;
241
+ parsed?: undefined;
242
+ }) & {
243
+ clearCache: () => void;
244
+ resultsCount: () => number;
245
+ resetResultsCount: () => void;
246
+ } & {
247
+ resultFunc: (resultFuncArgs_0: string) => {
248
+ parsed: Map<string, number>;
249
+ error?: undefined;
250
+ } | {
251
+ error: Error;
252
+ parsed?: undefined;
253
+ };
254
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
255
+ parsed: Map<string, number>;
256
+ error?: undefined;
257
+ } | {
258
+ error: Error;
259
+ parsed?: undefined;
260
+ }) & {
261
+ clearCache: () => void;
262
+ resultsCount: () => number;
263
+ resetResultsCount: () => void;
264
+ };
265
+ lastResult: () => {
266
+ parsed: Map<string, number>;
267
+ error?: undefined;
268
+ } | {
269
+ error: Error;
270
+ parsed?: undefined;
271
+ };
272
+ dependencies: [(state: RootState) => string];
273
+ recomputations: () => number;
274
+ resetRecomputations: () => void;
275
+ dependencyRecomputations: () => number;
276
+ resetDependencyRecomputations: () => void;
277
+ } & {
278
+ memoize: typeof import('reselect').weakMapMemoize;
279
+ argsMemoize: typeof import('reselect').weakMapMemoize;
280
+ }];
281
+ recomputations: () => number;
282
+ resetRecomputations: () => void;
283
+ dependencyRecomputations: () => number;
284
+ resetDependencyRecomputations: () => void;
285
+ } & {
286
+ memoize: typeof import('reselect').weakMapMemoize;
287
+ argsMemoize: typeof import('reselect').weakMapMemoize;
288
+ }, ((state: {
289
+ formulas: import('../formulas/formulasSlice').FormulasState;
290
+ language: import('../language/languageSlice').LanguageState;
291
+ structure: import('../structure/structureSlice').StructureState;
292
+ variables: VariablesState;
293
+ }) => {
294
+ error: Error;
295
+ parsed?: undefined;
296
+ } | {
297
+ parsed: string[];
298
+ error?: undefined;
299
+ }) & {
300
+ clearCache: () => void;
301
+ resultsCount: () => number;
302
+ resetResultsCount: () => void;
303
+ } & {
304
+ resultFunc: (resultFuncArgs_0: string) => {
305
+ error: Error;
306
+ parsed?: undefined;
307
+ } | {
308
+ parsed: string[];
309
+ error?: undefined;
310
+ };
311
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
312
+ error: Error;
313
+ parsed?: undefined;
314
+ } | {
315
+ parsed: string[];
316
+ error?: undefined;
317
+ }) & {
318
+ clearCache: () => void;
319
+ resultsCount: () => number;
320
+ resetResultsCount: () => void;
321
+ };
322
+ lastResult: () => {
323
+ error: Error;
324
+ parsed?: undefined;
325
+ } | {
326
+ parsed: string[];
327
+ error?: undefined;
328
+ };
329
+ dependencies: [(state: RootState) => string];
330
+ recomputations: () => number;
331
+ resetRecomputations: () => void;
332
+ dependencyRecomputations: () => number;
333
+ resetDependencyRecomputations: () => void;
334
+ } & {
335
+ memoize: typeof import('reselect').weakMapMemoize;
336
+ argsMemoize: typeof import('reselect').weakMapMemoize;
337
+ }];
338
+ recomputations: () => number;
339
+ resetRecomputations: () => void;
340
+ dependencyRecomputations: () => number;
341
+ resetDependencyRecomputations: () => void;
342
+ } & {
343
+ memoize: typeof import('reselect').weakMapMemoize;
344
+ argsMemoize: typeof import('reselect').weakMapMemoize;
345
+ };
346
+ export declare const selectValuation: ((state: {
347
+ formulas: import('../formulas/formulasSlice').FormulasState;
348
+ language: import('../language/languageSlice').LanguageState;
349
+ structure: import('../structure/structureSlice').StructureState;
350
+ variables: VariablesState;
351
+ }) => Map<string, string>) & {
352
+ clearCache: () => void;
353
+ resultsCount: () => number;
354
+ resetResultsCount: () => void;
355
+ } & {
356
+ resultFunc: (resultFuncArgs_0: {
357
+ parsed: {
358
+ from: string;
359
+ to: string;
360
+ }[];
361
+ error?: undefined;
362
+ } | {
363
+ error: SyntaxError;
364
+ parsed?: undefined;
365
+ }) => Map<string, string>;
366
+ memoizedResultFunc: ((resultFuncArgs_0: {
367
+ parsed: {
368
+ from: string;
369
+ to: string;
370
+ }[];
371
+ error?: undefined;
372
+ } | {
373
+ error: SyntaxError;
374
+ parsed?: undefined;
375
+ }) => Map<string, string>) & {
376
+ clearCache: () => void;
377
+ resultsCount: () => number;
378
+ resetResultsCount: () => void;
379
+ };
380
+ lastResult: () => Map<string, string>;
381
+ dependencies: [((state: {
382
+ formulas: import('../formulas/formulasSlice').FormulasState;
383
+ language: import('../language/languageSlice').LanguageState;
384
+ structure: import('../structure/structureSlice').StructureState;
385
+ variables: VariablesState;
386
+ }) => {
387
+ parsed: {
388
+ from: string;
389
+ to: string;
390
+ }[];
391
+ error?: undefined;
392
+ } | {
393
+ error: SyntaxError;
394
+ parsed?: undefined;
395
+ }) & {
396
+ clearCache: () => void;
397
+ resultsCount: () => number;
398
+ resetResultsCount: () => void;
399
+ } & {
400
+ resultFunc: (resultFuncArgs_0: string, resultFuncArgs_1: import('../../model/Language').Language, resultFuncArgs_2: {
401
+ error: Error;
402
+ parsed?: undefined;
403
+ } | {
404
+ parsed: string[];
405
+ error?: undefined;
406
+ }) => {
407
+ parsed: {
408
+ from: string;
409
+ to: string;
410
+ }[];
411
+ error?: undefined;
412
+ } | {
413
+ error: SyntaxError;
414
+ parsed?: undefined;
415
+ };
416
+ memoizedResultFunc: ((resultFuncArgs_0: string, resultFuncArgs_1: import('../../model/Language').Language, resultFuncArgs_2: {
417
+ error: Error;
418
+ parsed?: undefined;
419
+ } | {
420
+ parsed: string[];
421
+ error?: undefined;
422
+ }) => {
423
+ parsed: {
424
+ from: string;
425
+ to: string;
426
+ }[];
427
+ error?: undefined;
428
+ } | {
429
+ error: SyntaxError;
430
+ parsed?: undefined;
431
+ }) & {
432
+ clearCache: () => void;
433
+ resultsCount: () => number;
434
+ resetResultsCount: () => void;
435
+ };
436
+ lastResult: () => {
437
+ parsed: {
438
+ from: string;
439
+ to: string;
440
+ }[];
441
+ error?: undefined;
442
+ } | {
443
+ error: SyntaxError;
444
+ parsed?: undefined;
445
+ };
446
+ dependencies: [(state: RootState) => string, ((state: {
447
+ formulas: import('../formulas/formulasSlice').FormulasState;
448
+ language: import('../language/languageSlice').LanguageState;
449
+ structure: import('../structure/structureSlice').StructureState;
450
+ variables: VariablesState;
451
+ }) => import('../../model/Language').Language) & {
452
+ clearCache: () => void;
453
+ resultsCount: () => number;
454
+ resetResultsCount: () => void;
455
+ } & {
456
+ resultFunc: (resultFuncArgs_0: {
457
+ parsed: Set<string>;
458
+ error?: undefined;
459
+ } | {
460
+ error: Error;
461
+ parsed?: undefined;
462
+ }, resultFuncArgs_1: {
463
+ parsed: Map<string, number>;
464
+ error?: undefined;
465
+ } | {
466
+ error: Error;
467
+ parsed?: undefined;
468
+ }, resultFuncArgs_2: {
469
+ parsed: Map<string, number>;
470
+ error?: undefined;
471
+ } | {
472
+ error: Error;
473
+ parsed?: undefined;
474
+ }) => import('../../model/Language').Language;
475
+ memoizedResultFunc: ((resultFuncArgs_0: {
476
+ parsed: Set<string>;
477
+ error?: undefined;
478
+ } | {
479
+ error: Error;
480
+ parsed?: undefined;
481
+ }, resultFuncArgs_1: {
482
+ parsed: Map<string, number>;
483
+ error?: undefined;
484
+ } | {
485
+ error: Error;
486
+ parsed?: undefined;
487
+ }, resultFuncArgs_2: {
488
+ parsed: Map<string, number>;
489
+ error?: undefined;
490
+ } | {
491
+ error: Error;
492
+ parsed?: undefined;
493
+ }) => import('../../model/Language').Language) & {
494
+ clearCache: () => void;
495
+ resultsCount: () => number;
496
+ resetResultsCount: () => void;
497
+ };
498
+ lastResult: () => import('../../model/Language').Language;
499
+ dependencies: [((state: {
500
+ formulas: import('../formulas/formulasSlice').FormulasState;
501
+ language: import('../language/languageSlice').LanguageState;
502
+ structure: import('../structure/structureSlice').StructureState;
503
+ variables: VariablesState;
504
+ }) => {
505
+ parsed: Set<string>;
506
+ error?: undefined;
507
+ } | {
508
+ error: Error;
509
+ parsed?: undefined;
510
+ }) & {
511
+ clearCache: () => void;
512
+ resultsCount: () => number;
513
+ resetResultsCount: () => void;
514
+ } & {
515
+ resultFunc: (resultFuncArgs_0: string) => {
516
+ parsed: Set<string>;
517
+ error?: undefined;
518
+ } | {
519
+ error: Error;
520
+ parsed?: undefined;
521
+ };
522
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
523
+ parsed: Set<string>;
524
+ error?: undefined;
525
+ } | {
526
+ error: Error;
527
+ parsed?: undefined;
528
+ }) & {
529
+ clearCache: () => void;
530
+ resultsCount: () => number;
531
+ resetResultsCount: () => void;
532
+ };
533
+ lastResult: () => {
534
+ parsed: Set<string>;
535
+ error?: undefined;
536
+ } | {
537
+ error: Error;
538
+ parsed?: undefined;
539
+ };
540
+ dependencies: [(state: RootState) => string];
541
+ recomputations: () => number;
542
+ resetRecomputations: () => void;
543
+ dependencyRecomputations: () => number;
544
+ resetDependencyRecomputations: () => void;
545
+ } & {
546
+ memoize: typeof import('reselect').weakMapMemoize;
547
+ argsMemoize: typeof import('reselect').weakMapMemoize;
548
+ }, ((state: {
549
+ formulas: import('../formulas/formulasSlice').FormulasState;
550
+ language: import('../language/languageSlice').LanguageState;
551
+ structure: import('../structure/structureSlice').StructureState;
552
+ variables: VariablesState;
553
+ }) => {
554
+ parsed: Map<string, number>;
555
+ error?: undefined;
556
+ } | {
557
+ error: Error;
558
+ parsed?: undefined;
559
+ }) & {
560
+ clearCache: () => void;
561
+ resultsCount: () => number;
562
+ resetResultsCount: () => void;
563
+ } & {
564
+ resultFunc: (resultFuncArgs_0: string) => {
565
+ parsed: Map<string, number>;
566
+ error?: undefined;
567
+ } | {
568
+ error: Error;
569
+ parsed?: undefined;
570
+ };
571
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
572
+ parsed: Map<string, number>;
573
+ error?: undefined;
574
+ } | {
575
+ error: Error;
576
+ parsed?: undefined;
577
+ }) & {
578
+ clearCache: () => void;
579
+ resultsCount: () => number;
580
+ resetResultsCount: () => void;
581
+ };
582
+ lastResult: () => {
583
+ parsed: Map<string, number>;
584
+ error?: undefined;
585
+ } | {
586
+ error: Error;
587
+ parsed?: undefined;
588
+ };
589
+ dependencies: [(state: RootState) => string];
590
+ recomputations: () => number;
591
+ resetRecomputations: () => void;
592
+ dependencyRecomputations: () => number;
593
+ resetDependencyRecomputations: () => void;
594
+ } & {
595
+ memoize: typeof import('reselect').weakMapMemoize;
596
+ argsMemoize: typeof import('reselect').weakMapMemoize;
597
+ }, ((state: {
598
+ formulas: import('../formulas/formulasSlice').FormulasState;
599
+ language: import('../language/languageSlice').LanguageState;
600
+ structure: import('../structure/structureSlice').StructureState;
601
+ variables: VariablesState;
602
+ }) => {
603
+ parsed: Map<string, number>;
604
+ error?: undefined;
605
+ } | {
606
+ error: Error;
607
+ parsed?: undefined;
608
+ }) & {
609
+ clearCache: () => void;
610
+ resultsCount: () => number;
611
+ resetResultsCount: () => void;
612
+ } & {
613
+ resultFunc: (resultFuncArgs_0: string) => {
614
+ parsed: Map<string, number>;
615
+ error?: undefined;
616
+ } | {
617
+ error: Error;
618
+ parsed?: undefined;
619
+ };
620
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
621
+ parsed: Map<string, number>;
622
+ error?: undefined;
623
+ } | {
624
+ error: Error;
625
+ parsed?: undefined;
626
+ }) & {
627
+ clearCache: () => void;
628
+ resultsCount: () => number;
629
+ resetResultsCount: () => void;
630
+ };
631
+ lastResult: () => {
632
+ parsed: Map<string, number>;
633
+ error?: undefined;
634
+ } | {
635
+ error: Error;
636
+ parsed?: undefined;
637
+ };
638
+ dependencies: [(state: RootState) => string];
639
+ recomputations: () => number;
640
+ resetRecomputations: () => void;
641
+ dependencyRecomputations: () => number;
642
+ resetDependencyRecomputations: () => void;
643
+ } & {
644
+ memoize: typeof import('reselect').weakMapMemoize;
645
+ argsMemoize: typeof import('reselect').weakMapMemoize;
646
+ }];
647
+ recomputations: () => number;
648
+ resetRecomputations: () => void;
649
+ dependencyRecomputations: () => number;
650
+ resetDependencyRecomputations: () => void;
651
+ } & {
652
+ memoize: typeof import('reselect').weakMapMemoize;
653
+ argsMemoize: typeof import('reselect').weakMapMemoize;
654
+ }, ((state: {
655
+ formulas: import('../formulas/formulasSlice').FormulasState;
656
+ language: import('../language/languageSlice').LanguageState;
657
+ structure: import('../structure/structureSlice').StructureState;
658
+ variables: VariablesState;
659
+ }) => {
660
+ error: Error;
661
+ parsed?: undefined;
662
+ } | {
663
+ parsed: string[];
664
+ error?: undefined;
665
+ }) & {
666
+ clearCache: () => void;
667
+ resultsCount: () => number;
668
+ resetResultsCount: () => void;
669
+ } & {
670
+ resultFunc: (resultFuncArgs_0: string) => {
671
+ error: Error;
672
+ parsed?: undefined;
673
+ } | {
674
+ parsed: string[];
675
+ error?: undefined;
676
+ };
677
+ memoizedResultFunc: ((resultFuncArgs_0: string) => {
678
+ error: Error;
679
+ parsed?: undefined;
680
+ } | {
681
+ parsed: string[];
682
+ error?: undefined;
683
+ }) & {
684
+ clearCache: () => void;
685
+ resultsCount: () => number;
686
+ resetResultsCount: () => void;
687
+ };
688
+ lastResult: () => {
689
+ error: Error;
690
+ parsed?: undefined;
691
+ } | {
692
+ parsed: string[];
693
+ error?: undefined;
694
+ };
695
+ dependencies: [(state: RootState) => string];
696
+ recomputations: () => number;
697
+ resetRecomputations: () => void;
698
+ dependencyRecomputations: () => number;
699
+ resetDependencyRecomputations: () => void;
700
+ } & {
701
+ memoize: typeof import('reselect').weakMapMemoize;
702
+ argsMemoize: typeof import('reselect').weakMapMemoize;
703
+ }];
704
+ recomputations: () => number;
705
+ resetRecomputations: () => void;
706
+ dependencyRecomputations: () => number;
707
+ resetDependencyRecomputations: () => void;
708
+ } & {
709
+ memoize: typeof import('reselect').weakMapMemoize;
710
+ argsMemoize: typeof import('reselect').weakMapMemoize;
711
+ }];
712
+ recomputations: () => number;
713
+ resetRecomputations: () => void;
714
+ dependencyRecomputations: () => number;
715
+ resetDependencyRecomputations: () => void;
716
+ } & {
717
+ memoize: typeof import('reselect').weakMapMemoize;
718
+ argsMemoize: typeof import('reselect').weakMapMemoize;
719
+ };