@logic-pad/core 0.24.0 → 0.25.0

package/dist/src/data/solver/universal/universalSolver.js

@@ -0,0 +1,20 @@
+import { instance as undercluedInstance } from '../../rules/undercluedRule.js';
+import EventIteratingSolver from '../eventIteratingSolver.js';
+// eslint-disable-next-line @typescript-eslint/no-unused-expressions
+('vite-apply-code-mod');
+export default class UniversalSolver extends EventIteratingSolver {
+    id = 'universal';
+    author = 'romain22222, Lysine';
+    description = 'A backtracking solver that supports all rules and symbols (including underclued) but is less optimized.';
+    createWorker() {
+        return new Worker(new URL('./universalWorker.js', import.meta.url), {
+            type: 'module',
+        });
+    }
+    isInstructionSupported(instructionId) {
+        if (super.isInstructionSupported(instructionId)) {
+            return true;
+        }
+        return instructionId === undercluedInstance.id;
+    }
+}

package/dist/src/data/solver/universal/universalWorker.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/{data → src/data}/solver/z3/modules/areaNumberModule.js

@@ -2,15 +2,7 @@ import Z3Module from './z3Module.js';
 import { instance as areaNumberInstance, } from '../../../symbols/areaNumberSymbol.js';
 import { Point } from 'grilops';
 export default class AreaNumberModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: areaNumberInstance.id
-        });
-    }
+    id = areaNumberInstance.id;
     encode(grid, ctx) {
         const symbols = grid.symbols.get(this.id);
         // optimizations

package/dist/{data → src/data}/solver/z3/modules/cellCountModule.js

@@ -3,15 +3,7 @@ import { Point } from 'grilops';
 import { instance as cellCountInstance, } from '../../../rules/cellCountRule.js';
 import { Color } from '../../../primitives.js';
 export default class CellCountModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: cellCountInstance.id
-        });
-    }
+    id = cellCountInstance.id;
     encode(grid, ctx) {
         const rules = grid.rules.filter(rule => rule.id === this.id);
         // optimizations

package/dist/{data → src/data}/solver/z3/modules/connectAllModule.js

@@ -1,15 +1,7 @@
 import Z3Module from './z3Module.js';
 import { instance as connectAllInstance, } from '../../../rules/connectAllRule.js';
 export default class ConnectAllModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: connectAllInstance.id
-        });
-    }
+    id = connectAllInstance.id;
     encode(grid, ctx) {
         const rules = grid.rules.filter(rule => rule.id === this.id);
         // optimizations to try to simplify the encoding

package/dist/{data → src/data}/solver/z3/modules/dartModule.js

@@ -5,15 +5,7 @@ import { Color } from '../../../primitives.js';
 import { move } from '../../../dataHelper.js';
 import { convertDirection } from '../utils.js';
 export default class DartModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: dartInstance.id
-        });
-    }
+    id = dartInstance.id;
     encode(grid, ctx) {
         const symbols = grid.symbols.get(this.id);
         // optimizations

package/dist/{data → src/data}/solver/z3/modules/letterModule.js

@@ -2,15 +2,7 @@ import Z3Module from './z3Module.js';
 import { instance as letterInstance, } from '../../../symbols/letterSymbol.js';
 import { Point } from 'grilops';
 export default class LetterModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: letterInstance.id
-        });
-    }
+    id = letterInstance.id;
     encode(grid, ctx) {
         const symbols = grid.symbols.get(this.id);
         if (!symbols || symbols.length === 0) {

package/dist/{data → src/data}/solver/z3/modules/myopiaModule.js

@@ -5,15 +5,7 @@ import { DIRECTIONS, ORIENTATIONS } from '../../../primitives.js';
 import { convertDirection } from '../utils.js';
 import { move } from '../../../dataHelper.js';
 export default class MyopiaModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: myopiaInstance.id
-        });
-    }
+    id = myopiaInstance.id;
     encode(grid, ctx) {
         const symbols = grid.symbols.get(this.id);
         // optimizations

package/dist/{data → src/data}/solver/z3/modules/regionAreaModule.js

@@ -1,15 +1,7 @@
 import Z3Module from './z3Module.js';
 import { instance as regionAreaInstance, } from '../../../rules/regionAreaRule.js';
 export default class RegionAreaModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: regionAreaInstance.id
-        });
-    }
+    id = regionAreaInstance.id;
     encode(grid, ctx) {
         const rules = grid.rules.filter(rule => rule.id === this.id);
         // optimizations

package/dist/{data → src/data}/solver/z3/modules/viewpointModule.js

@@ -5,15 +5,7 @@ import { DIRECTIONS } from '../../../primitives.js';
 import { move } from '../../../dataHelper.js';
 import { convertDirection } from '../utils.js';
 export default class ViewpointModule extends Z3Module {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: viewpointInstance.id
-        });
-    }
+    id = viewpointInstance.id;
     encode(grid, ctx) {
         const symbols = grid.symbols.get(this.id);
         // optimizations

package/dist/{data → src/data}/solver/z3/z3Solver.js

@@ -6,33 +6,10 @@ import { init } from 'z3-solver';
 import Z3SolverContext from './z3SolverContext.js';
 import { array } from '../../dataHelper.js';
 export default class Z3Solver extends Solver {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'z3'
-        });
-        Object.defineProperty(this, "author", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'Lysine'
-        });
-        Object.defineProperty(this, "description", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: '(Obsolete) A WebAssembly solver that supports a limited set of rules and symbols.'
-        });
-        Object.defineProperty(this, "supportsCancellation", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: false
-        });
-    }
+    id = 'z3';
+    author = 'Lysine';
+    description = '(Obsolete) A WebAssembly solver that supports a limited set of rules and symbols.';
+    supportsCancellation = false;
     async isEnvironmentSupported() {
         try {
             await init();

package/dist/{data → src/data}/solver/z3/z3SolverContext.js

@@ -1,18 +1,9 @@
 import { RegionConstrainer } from 'grilops';
 export default class Z3SolverContext {
+    grid;
+    _regionConstrainer;
     constructor(grid) {
-        Object.defineProperty(this, "grid", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: grid
-        });
-        Object.defineProperty(this, "_regionConstrainer", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
+        this.grid = grid;
         this.grid = grid;
     }
     get solver() {

package/dist/{data → src/data}/symbols/areaNumberSymbol.js

@@ -2,7 +2,34 @@ import { ConfigType } from '../config.js';
 import GridData from '../grid.js';
 import { Color } from '../primitives.js';
 import NumberSymbol from './numberSymbol.js';
-class AreaNumberSymbol extends NumberSymbol {
+export default class AreaNumberSymbol extends NumberSymbol {
+    title = 'Area Number';
+    static CONFIGS = Object.freeze([
+        {
+            type: ConfigType.Number,
+            default: 0,
+            field: 'x',
+            description: 'X',
+            configurable: false,
+        },
+        {
+            type: ConfigType.Number,
+            default: 0,
+            field: 'y',
+            description: 'Y',
+            configurable: false,
+        },
+        {
+            type: ConfigType.Number,
+            default: 1,
+            field: 'number',
+            description: 'Number',
+            configurable: true,
+        },
+    ]);
+    static EXAMPLE_GRID = Object.freeze(GridData.create(['wbbbb', 'wbbwb', 'bbwwb', 'bbbbb'])
+        .addSymbol(new AreaNumberSymbol(2, 2, 3))
+        .addSymbol(new AreaNumberSymbol(0, 1, 2)));
     /**
      * **Area Numbers must equal region sizes**
      *
@@ -12,12 +39,6 @@ class AreaNumberSymbol extends NumberSymbol {
      */
     constructor(x, y, number) {
         super(x, y, number);
-        Object.defineProperty(this, "title", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'Area Number'
-        });
     }
     get id() {
         return `number`;
@@ -54,41 +75,4 @@ class AreaNumberSymbol extends NumberSymbol {
         return this.copyWith({ number });
     }
 }
-Object.defineProperty(AreaNumberSymbol, "CONFIGS", {
-    enumerable: true,
-    configurable: true,
-    writable: true,
-    value: Object.freeze([
-        {
-            type: ConfigType.Number,
-            default: 0,
-            field: 'x',
-            description: 'X',
-            configurable: false,
-        },
-        {
-            type: ConfigType.Number,
-            default: 0,
-            field: 'y',
-            description: 'Y',
-            configurable: false,
-        },
-        {
-            type: ConfigType.Number,
-            default: 1,
-            field: 'number',
-            description: 'Number',
-            configurable: true,
-        },
-    ])
-});
-Object.defineProperty(AreaNumberSymbol, "EXAMPLE_GRID", {
-    enumerable: true,
-    configurable: true,
-    writable: true,
-    value: Object.freeze(GridData.create(['wbbbb', 'wbbwb', 'bbwwb', 'bbbbb'])
-        .addSymbol(new AreaNumberSymbol(2, 2, 3))
-        .addSymbol(new AreaNumberSymbol(0, 1, 2)))
-});
-export default AreaNumberSymbol;
 export const instance = new AreaNumberSymbol(0, 0, 1);

package/dist/{data → src/data}/symbols/customIconSymbol.js

@@ -1,70 +1,15 @@
 import { ConfigType } from '../config.js';
 import GridData from '../grid.js';
 import CustomSymbol from './customSymbol.js';
-class CustomIconSymbol extends CustomSymbol {
+export default class CustomIconSymbol extends CustomSymbol {
+    icon;
+    rotation;
+    title = 'Custom Icon Symbol';
     get configExplanation() {
         return 'A customizable symbol. Your provided solution may override auto-validation.';
     }
-    /**
-     * **A custom icon symbol**
-     *
-     * @param description - The description of the symbol. Leave this empty to hide the description.
-     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param icon - The icon to display. All available icons can be found at https://react-icons.github.io/react-icons/icons/md/
-     * @param rotation - The rotation of the icon in degrees.
-     */
-    constructor(description, grid, x, y, icon, rotation = 0) {
-        super(description, grid, x, y);
-        Object.defineProperty(this, "icon", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: icon
-        });
-        Object.defineProperty(this, "rotation", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: rotation
-        });
-        Object.defineProperty(this, "title", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'Custom Icon Symbol'
-        });
-        this.icon = icon;
-        this.rotation = rotation;
-    }
-    get id() {
-        return `custom_icon`;
-    }
-    get configs() {
-        return CustomIconSymbol.CONFIGS;
-    }
-    copyWith({ description, grid, x, y, icon, rotation, }) {
-        return new CustomIconSymbol(description ?? this.description, grid ?? this.grid, x ?? this.x, y ?? this.y, icon ?? this.icon, rotation ?? this.rotation);
-    }
-    withIcon(icon) {
-        return this.copyWith({ icon });
-    }
-    withRotation(rotation) {
-        return this.copyWith({ rotation });
-    }
-}
-Object.defineProperty(CustomIconSymbol, "EXAMPLE_GRID", {
-    enumerable: true,
-    configurable: true,
-    writable: true,
-    value: Object.freeze(GridData.create(5, 4))
-});
-Object.defineProperty(CustomIconSymbol, "CONFIGS", {
-    enumerable: true,
-    configurable: true,
-    writable: true,
-    value: Object.freeze([
+    static EXAMPLE_GRID = Object.freeze(GridData.create(5, 4));
+    static CONFIGS = Object.freeze([
         {
             type: ConfigType.Number,
             default: 0,
@@ -112,7 +57,38 @@ Object.defineProperty(CustomIconSymbol, "CONFIGS", {
             explanation: 'Rotate the symbol by the given degrees.',
             configurable: true,
         },
-    ])
-});
-export default CustomIconSymbol;
+    ]);
+    /**
+     * **A custom icon symbol**
+     *
+     * @param description - The description of the symbol. Leave this empty to hide the description.
+     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param icon - The icon to display. All available icons can be found at https://react-icons.github.io/react-icons/icons/md/
+     * @param rotation - The rotation of the icon in degrees.
+     */
+    constructor(description, grid, x, y, icon, rotation = 0) {
+        super(description, grid, x, y);
+        this.icon = icon;
+        this.rotation = rotation;
+        this.icon = icon;
+        this.rotation = rotation;
+    }
+    get id() {
+        return `custom_icon`;
+    }
+    get configs() {
+        return CustomIconSymbol.CONFIGS;
+    }
+    copyWith({ description, grid, x, y, icon, rotation, }) {
+        return new CustomIconSymbol(description ?? this.description, grid ?? this.grid, x ?? this.x, y ?? this.y, icon ?? this.icon, rotation ?? this.rotation);
+    }
+    withIcon(icon) {
+        return this.copyWith({ icon });
+    }
+    withRotation(rotation) {
+        return this.copyWith({ rotation });
+    }
+}
 export const instance = new CustomIconSymbol('A *custom* icon symbol', GridData.create(5, 4), 0, 0, 'MdQuestionMark');

package/dist/{data → src/data}/symbols/customSymbol.js

@@ -1,6 +1,8 @@
 import { State } from '../primitives.js';
 import Symbol from './symbol.js';
 export default class CustomSymbol extends Symbol {
+    description;
+    grid;
     /**
      * **A custom symbol**
      *
@@ -11,18 +13,8 @@ export default class CustomSymbol extends Symbol {
      */
     constructor(description, grid, x, y) {
         super(x, y);
-        Object.defineProperty(this, "description", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: description
-        });
-        Object.defineProperty(this, "grid", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: grid
-        });
+        this.description = description;
+        this.grid = grid;
         this.description = description;
         this.grid = grid;
     }

package/dist/{data → src/data}/symbols/customTextSymbol.js

@@ -1,70 +1,15 @@
 import { ConfigType } from '../config.js';
 import GridData from '../grid.js';
 import CustomSymbol from './customSymbol.js';
-class CustomTextSymbol extends CustomSymbol {
+export default class CustomTextSymbol extends CustomSymbol {
+    text;
+    rotation;
+    title = 'Custom Text Symbol';
     get configExplanation() {
         return 'A customizable symbol. Your provided solution may override auto-validation.';
     }
-    /**
-     * **A custom text symbol**
-     *
-     * @param description - The description of the symbol. Leave this empty to hide the description.
-     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
-     * @param x - The x-coordinate of the symbol.
-     * @param y - The y-coordinate of the symbol.
-     * @param text - The text to display.
-     * @param rotation - The rotation of the text in degrees.
-     */
-    constructor(description, grid, x, y, text, rotation = 0) {
-        super(description, grid, x, y);
-        Object.defineProperty(this, "text", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: text
-        });
-        Object.defineProperty(this, "rotation", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: rotation
-        });
-        Object.defineProperty(this, "title", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'Custom Text Symbol'
-        });
-        this.text = text;
-        this.rotation = rotation;
-    }
-    get id() {
-        return `custom_text`;
-    }
-    get configs() {
-        return CustomTextSymbol.CONFIGS;
-    }
-    copyWith({ description, grid, x, y, text, rotation, }) {
-        return new CustomTextSymbol(description ?? this.description, grid ?? this.grid, x ?? this.x, y ?? this.y, text ?? this.text, rotation ?? this.rotation);
-    }
-    withText(text) {
-        return this.copyWith({ text });
-    }
-    withRotation(rotation) {
-        return this.copyWith({ rotation });
-    }
-}
-Object.defineProperty(CustomTextSymbol, "EXAMPLE_GRID", {
-    enumerable: true,
-    configurable: true,
-    writable: true,
-    value: Object.freeze(GridData.create(5, 4))
-});
-Object.defineProperty(CustomTextSymbol, "CONFIGS", {
-    enumerable: true,
-    configurable: true,
-    writable: true,
-    value: Object.freeze([
+    static EXAMPLE_GRID = Object.freeze(GridData.create(5, 4));
+    static CONFIGS = Object.freeze([
         {
             type: ConfigType.Number,
             default: 0,
@@ -113,7 +58,38 @@ Object.defineProperty(CustomTextSymbol, "CONFIGS", {
             explanation: 'Rotate the symbol by the given degrees.',
             configurable: true,
         },
-    ])
-});
-export default CustomTextSymbol;
+    ]);
+    /**
+     * **A custom text symbol**
+     *
+     * @param description - The description of the symbol. Leave this empty to hide the description.
+     * @param grid - The thumbnail grid of the rule, preferably 5x4 in size.
+     * @param x - The x-coordinate of the symbol.
+     * @param y - The y-coordinate of the symbol.
+     * @param text - The text to display.
+     * @param rotation - The rotation of the text in degrees.
+     */
+    constructor(description, grid, x, y, text, rotation = 0) {
+        super(description, grid, x, y);
+        this.text = text;
+        this.rotation = rotation;
+        this.text = text;
+        this.rotation = rotation;
+    }
+    get id() {
+        return `custom_text`;
+    }
+    get configs() {
+        return CustomTextSymbol.CONFIGS;
+    }
+    copyWith({ description, grid, x, y, text, rotation, }) {
+        return new CustomTextSymbol(description ?? this.description, grid ?? this.grid, x ?? this.x, y ?? this.y, text ?? this.text, rotation ?? this.rotation);
+    }
+    withText(text) {
+        return this.copyWith({ text });
+    }
+    withRotation(rotation) {
+        return this.copyWith({ rotation });
+    }
+}
 export const instance = new CustomTextSymbol('A *custom* text symbol', GridData.create(5, 4), 0, 0, 'X');