@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/vite.svg ADDED
@@ -0,0 +1 @@
1
+ <svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="31.88" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 257"><defs><linearGradient id="IconifyId1813088fe1fbc01fb466" x1="-.828%" x2="57.636%" y1="7.652%" y2="78.411%"><stop offset="0%" stop-color="#41D1FF"></stop><stop offset="100%" stop-color="#BD34FE"></stop></linearGradient><linearGradient id="IconifyId1813088fe1fbc01fb467" x1="43.376%" x2="50.316%" y1="2.242%" y2="89.03%"><stop offset="0%" stop-color="#FFEA83"></stop><stop offset="8.333%" stop-color="#FFDD35"></stop><stop offset="100%" stop-color="#FFA800"></stop></linearGradient></defs><path fill="url(#IconifyId1813088fe1fbc01fb466)" d="M255.153 37.938L134.897 252.976c-2.483 4.44-8.862 4.466-11.382.048L.875 37.958c-2.746-4.814 1.371-10.646 6.827-9.67l120.385 21.517a6.537 6.537 0 0 0 2.322-.004l117.867-21.483c5.438-.991 9.574 4.796 6.877 9.62Z"></path><path fill="url(#IconifyId1813088fe1fbc01fb467)" d="M185.432.063L96.44 17.501a3.268 3.268 0 0 0-2.634 3.014l-5.474 92.456a3.268 3.268 0 0 0 3.997 3.378l24.777-5.718c2.318-.535 4.413 1.507 3.936 3.838l-7.361 36.047c-.495 2.426 1.782 4.5 4.151 3.78l15.304-4.649c2.372-.72 4.652 1.36 4.15 3.788l-11.698 56.621c-.732 3.542 3.979 5.473 5.943 2.437l1.313-2.028l72.516-144.72c1.215-2.423-.88-5.186-3.54-4.672l-25.505 4.922c-2.396.462-4.435-1.77-3.759-4.114l16.646-57.705c.677-2.35-1.37-4.583-3.769-4.113Z"></path></svg>
package/package.json ADDED
@@ -0,0 +1,55 @@
1
+ {
2
+ "name": "@fmfi-uk-1-ain-412/structure-explorer",
3
+ "version": "0.0.6",
4
+ "files": [
5
+ "dist/**"
6
+ ],
7
+ "main": "dist/structure-explorer.umd.js",
8
+ "module": "dist/structure-explorer.es.js",
9
+ "types": "dist/index.d.ts",
10
+
11
+ "scripts": {
12
+ "dev": "vite",
13
+ "build": "tsc -b ./tsconfig.lib.json && vite build",
14
+ "lint": "eslint .",
15
+ "preview": "vite preview"
16
+ },
17
+ "peerDependencies": {
18
+ "@types/react": "^17.0.37",
19
+ "@types/react-dom": "^17.0.11",
20
+ "react": "^17.0.2",
21
+ "react-dom": "^17.0.2",
22
+ "bootstrap": "^5.1.3",
23
+ "react-bootstrap": "^2.0.3"
24
+ },
25
+ "dependencies": {
26
+ "@fmfi-uk-1-ain-412/js-fol-parser": "^0.7.1",
27
+ "@fortawesome/fontawesome-svg-core": "^6.7.2",
28
+ "@fortawesome/free-solid-svg-icons": "^6.7.2",
29
+ "@fortawesome/react-fontawesome": "^0.2.2",
30
+ "@reduxjs/toolkit": "^2.7.0",
31
+ "@types/react-katex": "^3.0.4",
32
+ "react-katex": "^3.0.1",
33
+ "react-redux": "^7.2.6"
34
+ },
35
+ "devDependencies": {
36
+ "@eslint/js": "^9.25.0",
37
+ "@types/bootstrap": "^5.2.10",
38
+ "@types/estree": "^1.0.7",
39
+ "@types/json-schema": "^7.0.15",
40
+ "@types/node": "^22.15.14",
41
+ "@vitejs/plugin-react": "^4.4.1",
42
+ "eslint": "^9.25.0",
43
+ "eslint-plugin-react-hooks": "^5.2.0",
44
+ "eslint-plugin-react-refresh": "^0.4.19",
45
+ "globals": "^16.0.0",
46
+ "typescript": "~5.8.3",
47
+ "typescript-eslint": "^8.30.1",
48
+ "vite": "^6.3.5",
49
+ "vite-plugin-dts": "^4.5.3",
50
+ "@types/react": "^17.0.37",
51
+ "@types/react-dom": "^17.0.11",
52
+ "react": "^17.0.2",
53
+ "react-dom": "^17.0.2"
54
+ }
55
+ }