@fmfi-uk-1-ain-412/structure-explorer 0.1.4 → 0.1.6

package/dist/AppComponent.d.ts

@@ -3,7 +3,7 @@ interface PrepareResult {
     instance: any;
     getState: (instance: any) => any;
 }
-export declare function prepare(initialState?: any): PrepareResult;
+declare function prepare(initialState?: any): PrepareResult;
 interface AppComponentProps {
     instance: any;
     onStateChange: () => void;

package/dist/app/store.d.ts

@@ -9,6 +9,7 @@ declare const rootReducer: {
     graphView: import('redux').Reducer<import('../features/graphView/graphs/graphSlice').GraphManagerState>;
     textView: import('redux').Reducer<import('../features/textView/textViewSlice').TextViewState>;
     databaseView: import('redux').Reducer<import('../features/databaseView/databaseViewSlice.ts').DatabaseViewState>;
+    caseTreeView: import('redux').Reducer<import('../features/caseTreeView/caseTreeViewSlice.ts').CaseTreeState>;
     editorToolbar: import('redux').Reducer<import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState>;
     errorAlert: import('redux').Reducer<import('../features/errorAlert/errorAlertSlice.ts').ErrorState>;
 };
@@ -22,6 +23,7 @@ declare const undoReducer: import('redux').Reducer<import('redux-undo').StateWit
     graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../features/textView/textViewSlice').TextViewState;
     databaseView: import('../features/databaseView/databaseViewSlice.ts').DatabaseViewState;
+    caseTreeView: import('../features/caseTreeView/caseTreeViewSlice.ts').CaseTreeState;
     editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
     errorAlert: import('../features/errorAlert/errorAlertSlice.ts').ErrorState;
 }>, import('redux').UnknownAction>;
@@ -35,6 +37,7 @@ export declare const createStore: (extraMiddleware?: Middleware) => import('@red
     graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../features/textView/textViewSlice').TextViewState;
     databaseView: import('../features/databaseView/databaseViewSlice.ts').DatabaseViewState;
+    caseTreeView: import('../features/caseTreeView/caseTreeViewSlice.ts').CaseTreeState;
     editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
     errorAlert: import('../features/errorAlert/errorAlertSlice.ts').ErrorState;
 }>, import('redux').UnknownAction, import('@reduxjs/toolkit').Tuple<[import('redux').StoreEnhancer<{
@@ -48,6 +51,7 @@ export declare const createStore: (extraMiddleware?: Middleware) => import('@red
         graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../features/textView/textViewSlice').TextViewState;
         databaseView: import('../features/databaseView/databaseViewSlice.ts').DatabaseViewState;
+        caseTreeView: import('../features/caseTreeView/caseTreeViewSlice.ts').CaseTreeState;
         editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
         errorAlert: import('../features/errorAlert/errorAlertSlice.ts').ErrorState;
     }>, undefined, import('redux').UnknownAction>;

package/dist/common/formulas.d.ts

@@ -44,6 +44,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
     graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../features/textView/textViewSlice').TextViewState;
     databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
     errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
 }>) => string) & {
@@ -68,6 +69,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
         graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../features/textView/textViewSlice').TextViewState;
         databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
         errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
     }>) => import('./errors').ValidationError | import('./errors').SemanticError | undefined) & {
@@ -85,6 +87,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>, resultFuncArgs_1: import('./redux').Validated<Set<string>>, resultFuncArgs_2: import('./redux').Validated<Map<string, number>>, resultFuncArgs_3: import('./redux').Validated<Map<string, number>>, resultFuncArgs_4: import('./redux').Validated<string[]>) => import('./errors').ValidationError | import('./errors').SemanticError | undefined;
@@ -98,6 +101,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>, resultFuncArgs_1: import('./redux').Validated<Set<string>>, resultFuncArgs_2: import('./redux').Validated<Map<string, number>>, resultFuncArgs_3: import('./redux').Validated<Map<string, number>>, resultFuncArgs_4: import('./redux').Validated<string[]>) => import('./errors').ValidationError | import('./errors').SemanticError | undefined) & {
@@ -116,6 +120,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>, ((state: import('redux-undo').StateWithHistory<{
@@ -128,6 +133,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<Set<string>>) & {
@@ -160,6 +166,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<Map<string, number>>) & {
@@ -192,6 +199,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<Map<string, number>>) & {
@@ -224,6 +232,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<string[]>) & {
@@ -264,6 +273,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
         graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../features/textView/textViewSlice').TextViewState;
         databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
         errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
     }>) => import('./errors').ValidationError | undefined) & {
@@ -288,6 +298,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<Set<string>>) & {
@@ -320,6 +331,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<Map<string, number>>) & {
@@ -352,6 +364,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<Map<string, number>>) & {
@@ -384,6 +397,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => "" | undefined) & {
@@ -408,6 +422,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
                 graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
                 textView: import('../features/textView/textViewSlice').TextViewState;
                 databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+                caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
                 editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
                 errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
             }>) => import('./redux').Validated<Set<string>>) & {
@@ -440,6 +455,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
                 graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
                 textView: import('../features/textView/textViewSlice').TextViewState;
                 databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+                caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
                 editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
                 errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
             }>) => import('./redux').Validated<Map<string, number>>) & {
@@ -472,6 +488,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
                 graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
                 textView: import('../features/textView/textViewSlice').TextViewState;
                 databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+                caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
                 editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
                 errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
             }>) => import('./redux').Validated<Map<string, number>>) & {
@@ -520,6 +537,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
         graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../features/textView/textViewSlice').TextViewState;
         databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
         errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
     }>) => import('./redux').Validated<import('../features/variables/variablesSlice').VariableRepresentation[]>) & {
@@ -544,6 +562,7 @@ export declare const selectNonFormulaValidationError: ((state: import('redux-und
             graphView: import('../features/graphView/graphs/graphSlice').GraphManagerState;
             textView: import('../features/textView/textViewSlice').TextViewState;
             databaseView: import('../features/databaseView/databaseViewSlice').DatabaseViewState;
+            caseTreeView: import('../features/caseTreeView/caseTreeViewSlice').CaseTreeState;
             editorToolbar: import('../features/editorToolbar/editorToolbarSlice').EditorToolbarState;
             errorAlert: import('../features/errorAlert/errorAlertSlice').ErrorState;
         }>) => import('./redux').Validated<string[]>) & {

package/dist/common/utils.d.ts

@@ -0,0 +1,18 @@
+import { default as Formula } from '../model/formula/Formula';
+export declare function getRandomElement<T>(arr: T[]): T;
+export declare function latex(parts?: string[]): {
+    M: () => /*elided*/ any;
+    models: (m: boolean) => /*elided*/ any;
+    formula: (f: Formula) => /*elided*/ any;
+    valuation: (vars?: string) => /*elided*/ any;
+    valuationPairs: (p: Map<string, string>) => string;
+    wildcardValuationPairs: (p: Map<string, string>, v: string) => string;
+    altValuation: (vars?: string) => /*elided*/ any;
+    rawValuation: (vars?: string) => /*elided*/ any;
+    text: (s: string) => /*elided*/ any;
+    escape: (s: string) => /*elided*/ any;
+    raw: (s: string) => /*elided*/ any;
+    sub: (s: string) => /*elided*/ any;
+    sup: (s: string) => /*elided*/ any;
+    get: () => string;
+};

package/dist/components_helper/TooltipButton.d.ts

@@ -1,6 +1,5 @@
-import { ReactNode } from 'react';
 interface TooltipButtonProps {
-    text: ReactNode;
+    text: React.ReactNode;
 }
 export default function TooltipButton({ text }: TooltipButtonProps): import("react/jsx-runtime").JSX.Element;
 export {};

package/dist/components_helper/bubbles/ChoiceBubble.d.ts

@@ -0,0 +1,10 @@
+export interface ChoiceBubble {
+    value: string;
+    onClick: () => void;
+}
+export interface ChoiceBubblesProps {
+    id: number;
+    type: string;
+    bubbles: ChoiceBubble[];
+}
+export default function ChoiceBubbles({ bubbles }: ChoiceBubblesProps): import("react/jsx-runtime").JSX.Element;

package/dist/components_helper/bubbles/MessageBubble.d.ts

@@ -0,0 +1,12 @@
+interface Props {
+    children: React.ReactNode;
+    sent?: boolean;
+    recieved?: boolean;
+    change?: boolean;
+    win?: boolean;
+    lose?: boolean;
+    fixableLoss?: boolean;
+    onClick?: () => void;
+}
+export default function MessageBubble({ children: message, sent, change, win, lose, onClick, fixableLoss, }: Props): import("react/jsx-runtime").JSX.Element;
+export {};

package/dist/components_helper/bubbles/SelectBubble.d.ts

@@ -0,0 +1,10 @@
+import { ReactNode } from 'react';
+import { ChoiceBubble } from './ChoiceBubble';
+interface Props {
+    id: number;
+    title: ReactNode;
+    type: string;
+    bubbles: ChoiceBubble[];
+}
+export default function SelectBubble({ title, bubbles }: Props): import("react/jsx-runtime").JSX.Element;
+export {};

package/dist/features/caseTreeView/CaseTreeView.d.ts

@@ -0,0 +1,7 @@
+import { InterpretationError } from '../../common/errors';
+export interface CaseTreeViewProps {
+    tupleName: string;
+    tupleArity: number;
+    setErrorOverride: (error: InterpretationError | null) => void;
+}
+export default function CaseTreeView({ tupleName, tupleArity, setErrorOverride, }: CaseTreeViewProps): import("react/jsx-runtime").JSX.Element;

package/dist/features/caseTreeView/caseTreeViewSlice.d.ts

@@ -0,0 +1,159 @@
+import { PayloadAction } from '@reduxjs/toolkit';
+import { AppThunk, RootState } from '../../app/store';
+import { SerializedCaseTreeViewState } from './validationSchema';
+export type CaseTreeBranch = {
+    type: "value";
+    value: string;
+} | {
+    type: "ref";
+    nodeId: string;
+};
+export interface CaseTreeCase {
+    match: string;
+    branch: CaseTreeBranch;
+}
+export interface CaseTreeNode {
+    variable: string;
+    cases: CaseTreeCase[];
+    default?: CaseTreeBranch;
+}
+export interface CaseTreeEntry {
+    rootId: string;
+    nodes: Record<string, CaseTreeNode>;
+}
+export type CaseTreeState = Record<string, CaseTreeEntry>;
+type WithCaseTreeId<T = object> = {
+    tupleName: string;
+} & T;
+export declare const initialCaseTreeViewState: CaseTreeState;
+export declare const caseTreeViewSlice: import('@reduxjs/toolkit').Slice<CaseTreeState, {
+    importCaseTreeViewState(_: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<SerializedCaseTreeViewState>): Record<string, {
+        rootId: string;
+        nodes: Record<string, {
+            variable: string;
+            cases: {
+                match: string;
+                branch: {
+                    type: "value";
+                    value: string;
+                } | {
+                    type: "ref";
+                    nodeId: string;
+                };
+            }[];
+            default?: {
+                type: "value";
+                value: string;
+            } | {
+                type: "ref";
+                nodeId: string;
+            } | undefined;
+        }>;
+    }>;
+    initializeTree(state: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<WithCaseTreeId>): void;
+    updateNode(state: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<WithCaseTreeId<{
+        nodeId: string;
+        variable: string;
+    }>>): void;
+    updateCase(state: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<WithCaseTreeId<{
+        nodeId: string;
+        caseIdx: number;
+        match: string;
+    }>>): void;
+    updateBranch(state: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<WithCaseTreeId<{
+        nodeId: string;
+        branch: CaseTreeBranch;
+        caseIdx?: number;
+    }>>): void;
+    addCase(state: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<WithCaseTreeId<{
+        parentId: string;
+        caseType: "case" | "default";
+        branchType: "value" | "ref";
+    }>>): void;
+    deleteCase(state: import('immer').WritableDraft<CaseTreeState>, action: PayloadAction<WithCaseTreeId<{
+        parentId: string;
+        caseIdx?: number;
+        caseType: "case" | "default";
+    }>>): void;
+}, "caseTreeView", "caseTreeView", import('@reduxjs/toolkit').SliceSelectors<CaseTreeState>>;
+declare const _default: import('redux').Reducer<CaseTreeState>;
+export default _default;
+export declare const importCaseTreeViewState: import('@reduxjs/toolkit').ActionCreatorWithPayload<Record<string, {
+    rootId: string;
+    nodes: Record<string, {
+        variable: string;
+        cases: {
+            match: string;
+            branch: {
+                type: "value";
+                value: string;
+            } | {
+                type: "ref";
+                nodeId: string;
+            };
+        }[];
+        default?: {
+            type: "value";
+            value: string;
+        } | {
+            type: "ref";
+            nodeId: string;
+        } | undefined;
+    }>;
+}>, "caseTreeView/importCaseTreeViewState">, initializeTree: import('@reduxjs/toolkit').ActionCreatorWithPayload<WithCaseTreeId<object>, "caseTreeView/initializeTree">, addCase: import('@reduxjs/toolkit').ActionCreatorWithPayload<WithCaseTreeId<{
+    parentId: string;
+    caseType: "case" | "default";
+    branchType: "value" | "ref";
+}>, "caseTreeView/addCase">, deleteCase: import('@reduxjs/toolkit').ActionCreatorWithPayload<WithCaseTreeId<{
+    parentId: string;
+    caseIdx?: number;
+    caseType: "case" | "default";
+}>, "caseTreeView/deleteCase">;
+export declare const updateNode: (args: WithCaseTreeId<{
+    nodeId: string;
+    variable: string;
+}>) => AppThunk;
+export declare const updateCase: (args: WithCaseTreeId<{
+    nodeId: string;
+    caseIdx: number;
+    match: string;
+}>) => AppThunk;
+export declare const updateBranch: (args: WithCaseTreeId<{
+    nodeId: string;
+    branch: CaseTreeBranch;
+    caseIdx?: number;
+}>) => AppThunk;
+export declare const selectStructuredCaseView: ((state: import('redux-undo').StateWithHistory<{
+    formulas: import('../formulas/formulasSlice').FormulasState;
+    queries: import('../queries/queriesSlice').QueriesState;
+    language: import('../language/languageSlice').LanguageState;
+    structure: import('../structure/structureSlice').StructureState;
+    variables: import('../variables/variablesSlice').VariablesState;
+    teacherMode: import('../teacherMode/teacherModeslice').TeacherModeState;
+    graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
+    textView: import('../textView/textViewSlice').TextViewState;
+    databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: CaseTreeState;
+    editorToolbar: import('../editorToolbar/editorToolbarSlice').EditorToolbarState;
+    errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
+}>, tupleName: string) => import('./helpers').CaseViewSwitch | undefined) & {
+    clearCache: () => void;
+    resultsCount: () => number;
+    resetResultsCount: () => void;
+} & {
+    resultFunc: (resultFuncArgs_0: import('../../common/redux').LockableValue<import('../structure/structureSlice').DomainRepresentation>, resultFuncArgs_1: number | undefined, resultFuncArgs_2: CaseTreeEntry) => import('./helpers').CaseViewSwitch | undefined;
+    memoizedResultFunc: ((resultFuncArgs_0: import('../../common/redux').LockableValue<import('../structure/structureSlice').DomainRepresentation>, resultFuncArgs_1: number | undefined, resultFuncArgs_2: CaseTreeEntry) => import('./helpers').CaseViewSwitch | undefined) & {
+        clearCache: () => void;
+        resultsCount: () => number;
+        resetResultsCount: () => void;
+    };
+    lastResult: () => import('./helpers').CaseViewSwitch | undefined;
+    dependencies: [(state: RootState) => import('../../common/redux').LockableValue<import('../structure/structureSlice').DomainRepresentation>, (state: RootState, tupleName: string) => number | undefined, (state: RootState, tupleName: string) => CaseTreeEntry];
+    recomputations: () => number;
+    resetRecomputations: () => void;
+    dependencyRecomputations: () => number;
+    resetDependencyRecomputations: () => void;
+} & {
+    memoize: typeof import('reselect').weakMapMemoize;
+    argsMemoize: typeof import('reselect').weakMapMemoize;
+};

package/dist/features/caseTreeView/helpers.d.ts

@@ -0,0 +1,45 @@
+import { CaseTreeNode } from './caseTreeViewSlice';
+export type GenerateTuplesResult = {
+    ok: true;
+    tuples: string[][];
+} | {
+    ok: false;
+};
+export declare function generateTuples(rootId: string, nodes: Record<string, CaseTreeNode>, domain: Set<string>, maxDepth: number): GenerateTuplesResult;
+export declare function getSubstreeNodeIds(rootId: string, nodes: Record<string, CaseTreeNode>): Set<string>;
+export declare function getNextNodeId(nodes: Record<string, CaseTreeNode>): string;
+export type CaseViewBranch = {
+    type: "value";
+    value: string;
+    error: string;
+} | {
+    type: "ref";
+    switch: CaseViewSwitch;
+};
+export type CaseViewCase = {
+    type: "case";
+    match: string;
+    branch: CaseViewBranch;
+    error: string;
+} | {
+    type: "default";
+    branch: CaseViewBranch | undefined;
+    error: string;
+};
+export interface CaseViewSwitch {
+    id: string;
+    variable: string;
+    cases: CaseViewCase[];
+    exhausted: boolean;
+    depth: number;
+    errors: TreeSwitchError[];
+}
+export type TreeSwitchError = {
+    scope: "variable";
+    message: string;
+} | {
+    scope: "cases";
+    message: string;
+};
+export declare function getStructuredCaseView(rootId: string, nodes: Record<string, CaseTreeNode>, domain: Set<string>, maxDepth: number): CaseViewSwitch;
+export declare function getAllCaseViewErrors(root: CaseViewSwitch): string[];

package/dist/features/caseTreeView/validationSchema.d.ts

@@ -0,0 +1,26 @@
+import { default as z } from 'zod';
+export declare const serializedCaseTreeViewStateSchema: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+    rootId: z.ZodString;
+    nodes: z.ZodRecord<z.ZodString, z.ZodObject<{
+        variable: z.ZodString;
+        cases: z.ZodArray<z.ZodObject<{
+            match: z.ZodString;
+            branch: z.ZodUnion<readonly [z.ZodObject<{
+                type: z.ZodLiteral<"value">;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                type: z.ZodLiteral<"ref">;
+                nodeId: z.ZodString;
+            }, z.core.$strip>]>;
+        }, z.core.$strip>>;
+        default: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            type: z.ZodLiteral<"value">;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"ref">;
+            nodeId: z.ZodString;
+        }, z.core.$strip>]>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>>>;
+export type SerializedCaseTreeViewState = z.infer<typeof serializedCaseTreeViewStateSchema>;
+export declare const SerializedCaseTreeViewStateDefault: SerializedCaseTreeViewState;

package/dist/features/databaseView/databaseViewSlice.d.ts

@@ -30,6 +30,7 @@ export declare const selectDatabaseViewValues: ((state: import('redux-undo').Sta
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: import('../editorToolbar/editorToolbarSlice').EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, __: string, ___: TupleType, arity: number) => {

package/dist/features/editorToolbar/editorToolbarSlice.d.ts

@@ -25,7 +25,7 @@ export declare const editorToolbarSlice: import('@reduxjs/toolkit').Slice<Editor
             unaryFilterHovered: false;
             selectedUnary: string[];
             unaryFilterDomain: boolean;
-            openedEditor: "text" | "matrix" | "database" | "oriented" | "hasse" | "bipartite";
+            openedEditor: "text" | "matrix" | "database" | "oriented" | "hasse" | "bipartite" | "caseTree";
             selectedDomain?: string[] | undefined;
         };
     };
@@ -62,6 +62,7 @@ export declare const selectSelectedDomain: ((state: import('redux-undo').StateWi
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, tupleName: string, tupleType: TupleType) => string[]) & {
@@ -95,6 +96,7 @@ export declare const selectPredicatesToDisplay: ((state: import('redux-undo').St
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, _: string, __: TupleType, domainId: string) => string[][]) & {
@@ -128,6 +130,7 @@ export declare const selectRelevantDomainElements: ((state: import('redux-undo')
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, __: string, ___: TupleType, includeHovered?: boolean | undefined) => string[] | undefined) & {
@@ -161,6 +164,7 @@ export declare const selectFilteredDomain: ((state: import('redux-undo').StateWi
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, __: string, ___: TupleType, includeHovered?: boolean | undefined) => string[]) & {
@@ -185,6 +189,7 @@ export declare const selectFilteredDomain: ((state: import('redux-undo').StateWi
         graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../textView/textViewSlice').TextViewState;
         databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: EditorToolbarState;
         errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
     }>, tupleName: string, tupleType: TupleType) => string[]) & {
@@ -217,6 +222,7 @@ export declare const selectFilteredDomain: ((state: import('redux-undo').StateWi
         graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../textView/textViewSlice').TextViewState;
         databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: EditorToolbarState;
         errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
     }>, __: string, ___: TupleType, includeHovered?: boolean | undefined) => string[] | undefined) & {
@@ -258,6 +264,7 @@ export declare const selectHoveredIntr: ((state: import('redux-undo').StateWithH
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, tupleName: string, tupleType: TupleType) => string[][] | undefined) & {
@@ -291,6 +298,7 @@ export declare const selectHatchedDomain: ((state: import('redux-undo').StateWit
     graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
     textView: import('../textView/textViewSlice').TextViewState;
     databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+    caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
     editorToolbar: EditorToolbarState;
     errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
 }>, __: string, ___: TupleType, includeHovered?: boolean | undefined) => string[]) & {
@@ -315,6 +323,7 @@ export declare const selectHatchedDomain: ((state: import('redux-undo').StateWit
         graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../textView/textViewSlice').TextViewState;
         databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: EditorToolbarState;
         errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
     }>, tupleName: string, tupleType: TupleType) => string[][] | undefined) & {
@@ -347,6 +356,7 @@ export declare const selectHatchedDomain: ((state: import('redux-undo').StateWit
         graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../textView/textViewSlice').TextViewState;
         databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: EditorToolbarState;
         errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
     }>, tupleName: string, tupleType: TupleType) => string[]) & {
@@ -379,6 +389,7 @@ export declare const selectHatchedDomain: ((state: import('redux-undo').StateWit
         graphView: import('../graphView/graphs/graphSlice').GraphManagerState;
         textView: import('../textView/textViewSlice').TextViewState;
         databaseView: import('../databaseView/databaseViewSlice').DatabaseViewState;
+        caseTreeView: import('../caseTreeView/caseTreeViewSlice').CaseTreeState;
         editorToolbar: EditorToolbarState;
         errorAlert: import('../errorAlert/errorAlertSlice').ErrorState;
     }>, __: string, ___: TupleType, includeHovered?: boolean | undefined) => string[] | undefined) & {
@@ -416,7 +427,7 @@ export default _default;
 export declare const importEditorToolbarState: import('@reduxjs/toolkit').ActionCreatorWithPayload<Record<string, {
     selectedUnary: string[];
     unaryFilterDomain: boolean;
-    openedEditor: "text" | "matrix" | "database" | "oriented" | "hasse" | "bipartite";
+    openedEditor: "text" | "matrix" | "database" | "oriented" | "hasse" | "bipartite" | "caseTree";
     hoveredUnary?: string[] | undefined;
     selectedDomain?: string[] | undefined;
     unaryFilterHovered?: boolean | undefined;

package/dist/features/editorToolbar/validationSchema.d.ts

@@ -1,5 +1,5 @@
 import { z } from 'zod';
-export declare const editorTypes: readonly ["text", "matrix", "database", "oriented", "hasse", "bipartite"];
+export declare const editorTypes: readonly ["text", "matrix", "database", "oriented", "hasse", "bipartite", "caseTree"];
 export declare const serializedEditorToolbarStateSchema: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
     hoveredUnary: z.ZodOptional<z.ZodArray<z.ZodString>>;
     selectedUnary: z.ZodArray<z.ZodString>;
@@ -13,6 +13,7 @@ export declare const serializedEditorToolbarStateSchema: z.ZodDefault<z.ZodRecor
         oriented: "oriented";
         hasse: "hasse";
         bipartite: "bipartite";
+        caseTree: "caseTree";
     }>;
 }, z.core.$strip>>>;
 export type SerializedEditorToolbarState = z.infer<typeof serializedEditorToolbarStateSchema>;