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

package/README.md

@@ -1,54 +1,33 @@
-# React + TypeScript + Vite
-
-This template provides a minimal setup to get React working in Vite with HMR and some ESLint rules.
-
-Currently, two official plugins are available:
-
-- [@vitejs/plugin-react](https://github.com/vitejs/vite-plugin-react/blob/main/packages/plugin-react) uses [Babel](https://babeljs.io/) for Fast Refresh
-- [@vitejs/plugin-react-swc](https://github.com/vitejs/vite-plugin-react/blob/main/packages/plugin-react-swc) uses [SWC](https://swc.rs/) for Fast Refresh
-
-## Expanding the ESLint configuration
-
-If you are developing a production application, we recommend updating the configuration to enable type-aware lint rules:
-
-```js
-export default tseslint.config({
-  extends: [
-    // Remove ...tseslint.configs.recommended and replace with this
-    ...tseslint.configs.recommendedTypeChecked,
-    // Alternatively, use this for stricter rules
-    ...tseslint.configs.strictTypeChecked,
-    // Optionally, add this for stylistic rules
-    ...tseslint.configs.stylisticTypeChecked,
-  ],
-  languageOptions: {
-    // other options...
-    parserOptions: {
-      project: ['./tsconfig.node.json', './tsconfig.app.json'],
-      tsconfigRootDir: import.meta.dirname,
-    },
-  },
-})
+# Prieskumník štruktúr pre logiku prvého rádu
+
+Tento repozitár obsahuje zdrojové súbory aplikácie Prieskumník štruktúr,
+ktorá umožňuje vytvárať a upravovať štruktúry pre jazyky logiky prvého
+rádu a skúmať pravdivosť formúl a hodnoty termov v nich.
+
+## Inštalácia
+
+Aplikácia sa dá spustiť lokálne po vykonaní nasledovných krokov:
+
+```shell
+git clone https://github.com/FMFI-UK-1-AIN-412/structure-explorer.git
+cd structure-explorer
+npm install
 ```
 
-You can also install [eslint-plugin-react-x](https://github.com/Rel1cx/eslint-react/tree/main/packages/plugins/eslint-plugin-react-x) and [eslint-plugin-react-dom](https://github.com/Rel1cx/eslint-react/tree/main/packages/plugins/eslint-plugin-react-dom) for React-specific lint rules:
-
-```js
-// eslint.config.js
-import reactX from 'eslint-plugin-react-x'
-import reactDom from 'eslint-plugin-react-dom'
-
-export default tseslint.config({
-  plugins: {
-    // Add the react-x and react-dom plugins
-    'react-x': reactX,
-    'react-dom': reactDom,
-  },
-  rules: {
-    // other rules...
-    // Enable its recommended typescript rules
-    ...reactX.configs['recommended-typescript'].rules,
-    ...reactDom.configs.recommended.rules,
-  },
-})
+Po úspešnom nainštalovaní spustíme virtuálny server pomocou príkazu:
+
+```shell
+npm run dev
 ```
+
+Po tomto kroku bude aplikácia bežať na porte `localhost:5173`.
+
+## História
+
+Aplikácia vznikla v rokoch 2017–2018 v rámci bakalárskej práce Milana Cifru
+<cite>Prieskumník sémantiky logiky prvého rádu</cite>.
+V rokoch 2019–2020 ju Miroslav Baluch rozšíril o grafový pohľad na štruktúry
+v rámci svojej bakalárskej práce s názvom <cite>Prieskumník grafových
+štruktúr pre logiku prvého rádu</cite>. V rokoch 2020–2021 Richard Tóth
+pridal do prieskumníka Henkinovu-Hintikkovu hru v rámci svojej bakalárskej
+práce <cite>Henkinova-Hintikkova hra v prieskumníku štruktúr</cite>.

package/dist/features/formulas/formulasSlice.d.ts

@@ -18,7 +18,6 @@ export interface FormulasState {
 export declare const formulasSlice: import('@reduxjs/toolkit').Slice<FormulasState, {
     importFormulasState: (_state: import('immer').WritableDraft<FormulasState>, action: PayloadAction<string>) => any;
     addFormula: (state: import('immer').WritableDraft<FormulasState>) => void;
-    clearChoices: (state: import('immer').WritableDraft<FormulasState>, action: PayloadAction<number>) => void;
     gameGoBack: (state: import('immer').WritableDraft<FormulasState>, action: PayloadAction<{
         id: number;
         index: number;
@@ -49,7 +48,7 @@ export declare const formulasSlice: import('@reduxjs/toolkit').Slice<FormulasSta
         guess: boolean | null;
     }>) => void;
 }, "formulas", "formulas", import('@reduxjs/toolkit').SliceSelectors<FormulasState>>;
-export declare const addFormula: import('@reduxjs/toolkit').ActionCreatorWithoutPayload<"formulas/addFormula">, removeFormula: import('@reduxjs/toolkit').ActionCreatorWithPayload<number, "formulas/removeFormula">, clearChoices: import('@reduxjs/toolkit').ActionCreatorWithPayload<number, "formulas/clearChoices">, gameGoBack: import('@reduxjs/toolkit').ActionCreatorWithPayload<{
+export declare const addFormula: import('@reduxjs/toolkit').ActionCreatorWithoutPayload<"formulas/addFormula">, removeFormula: import('@reduxjs/toolkit').ActionCreatorWithPayload<number, "formulas/removeFormula">, gameGoBack: import('@reduxjs/toolkit').ActionCreatorWithPayload<{
     id: number;
     index: number;
 }, "formulas/gameGoBack">, addAlpha: import('@reduxjs/toolkit').ActionCreatorWithPayload<{

package/dist/features/game/GameHistory.d.ts

@@ -1,5 +1,6 @@
 interface Props {
     id: number;
 }
+export declare function getDiffAndNew(a: Map<string, string>, b: Map<string, string>): Map<string, string>;
 export default function GameHistory({ id }: Props): import("react/jsx-runtime").JSX.Element;
 export {};

package/dist/model/formula/Formula.PredicateAtom.d.ts

@@ -17,7 +17,6 @@ declare class PredicateAtom extends Formula {
      * @param {Term[]} terms
      */
     constructor(name: string, terms?: Term[]);
-    depth(): number;
     /**
      *
      * @param {Structure} structure

package/dist/model/formula/Formula.d.ts

@@ -27,7 +27,6 @@ declare abstract class Formula extends Expression {
     toString(): string;
     gameDepth(sign: boolean): number;
     signedFormulaToString(sign: boolean): string;
-    depth(): number;
     winningSubformulas(sign: boolean, structure: Structure, e: Valuation): SignedFormula[];
     abstract eval(structure: Structure, e: Valuation): boolean;
     getVariables(): Set<Symbol>;