@benrogmans/lemma-engine 0.6.5 → 0.6.7

package/lemma.d.ts

@@ -3,10 +3,11 @@
 export class WasmEngine {
   free(): void;
   [Symbol.dispose](): void;
-  constructor();
   addLemmaCode(code: string, source: string): string;
-  evaluate(doc_name: string, fact_values_json: string): string;
   listDocuments(): string;
+  constructor();
+  invert(doc_name: string, rule_name: string, target_json: string, given_facts_json: string): string;
+  evaluate(doc_name: string, fact_values_json: string): string;
 }
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -14,10 +15,11 @@ export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembl
 export interface InitOutput {
   readonly memory: WebAssembly.Memory;
   readonly __wbg_wasmengine_free: (a: number, b: number) => void;
-  readonly wasmengine_new: () => number;
   readonly wasmengine_addLemmaCode: (a: number, b: number, c: number, d: number, e: number) => [number, number];
   readonly wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number) => [number, number];
+  readonly wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => [number, number];
   readonly wasmengine_listDocuments: (a: number) => [number, number];
+  readonly wasmengine_new: () => number;
   readonly __wbindgen_free: (a: number, b: number, c: number) => void;
   readonly __wbindgen_malloc: (a: number, b: number) => number;
   readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;

package/lemma.js

@@ -110,12 +110,6 @@ export class WasmEngine {
         const ptr = this.__destroy_into_raw();
         wasm.__wbg_wasmengine_free(ptr, 0);
     }
-    constructor() {
-        const ret = wasm.wasmengine_new();
-        this.__wbg_ptr = ret >>> 0;
-        WasmEngineFinalization.register(this, this.__wbg_ptr, this);
-        return this;
-    }
     /**
      * @param {string} code
      * @param {string} source
@@ -137,6 +131,54 @@ export class WasmEngine {
             wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
         }
     }
+    /**
+     * @returns {string}
+     */
+    listDocuments() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const ret = wasm.wasmengine_listDocuments(this.__wbg_ptr);
+            deferred1_0 = ret[0];
+            deferred1_1 = ret[1];
+            return getStringFromWasm0(ret[0], ret[1]);
+        } finally {
+            wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
+        }
+    }
+    constructor() {
+        const ret = wasm.wasmengine_new();
+        this.__wbg_ptr = ret >>> 0;
+        WasmEngineFinalization.register(this, this.__wbg_ptr, this);
+        return this;
+    }
+    /**
+     * @param {string} doc_name
+     * @param {string} rule_name
+     * @param {string} target_json
+     * @param {string} given_facts_json
+     * @returns {string}
+     */
+    invert(doc_name, rule_name, target_json, given_facts_json) {
+        let deferred5_0;
+        let deferred5_1;
+        try {
+            const ptr0 = passStringToWasm0(doc_name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+            const len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(rule_name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+            const len1 = WASM_VECTOR_LEN;
+            const ptr2 = passStringToWasm0(target_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+            const len2 = WASM_VECTOR_LEN;
+            const ptr3 = passStringToWasm0(given_facts_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+            const len3 = WASM_VECTOR_LEN;
+            const ret = wasm.wasmengine_invert(this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3);
+            deferred5_0 = ret[0];
+            deferred5_1 = ret[1];
+            return getStringFromWasm0(ret[0], ret[1]);
+        } finally {
+            wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+        }
+    }
     /**
      * @param {string} doc_name
      * @param {string} fact_values_json
@@ -158,21 +200,6 @@ export class WasmEngine {
             wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
         }
     }
-    /**
-     * @returns {string}
-     */
-    listDocuments() {
-        let deferred1_0;
-        let deferred1_1;
-        try {
-            const ret = wasm.wasmengine_listDocuments(this.__wbg_ptr);
-            deferred1_0 = ret[0];
-            deferred1_1 = ret[1];
-            return getStringFromWasm0(ret[0], ret[1]);
-        } finally {
-            wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
-        }
-    }
 }
 if (Symbol.dispose) WasmEngine.prototype[Symbol.dispose] = WasmEngine.prototype.free;
 

package/lemma_bg.wasm.d.ts

@@ -2,10 +2,11 @@
 /* eslint-disable */
 export const memory: WebAssembly.Memory;
 export const __wbg_wasmengine_free: (a: number, b: number) => void;
-export const wasmengine_new: () => number;
 export const wasmengine_addLemmaCode: (a: number, b: number, c: number, d: number, e: number) => [number, number];
 export const wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number) => [number, number];
+export const wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => [number, number];
 export const wasmengine_listDocuments: (a: number) => [number, number];
+export const wasmengine_new: () => number;
 export const __wbindgen_free: (a: number, b: number, c: number) => void;
 export const __wbindgen_malloc: (a: number, b: number) => number;
 export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@benrogmans/lemma-engine",
-  "version": "0.6.5",
+  "version": "0.6.7",
   "description": "A language that means business.",
   "type": "module",
   "main": "lemma.js",