@pie-framework/math-validation 1.4.2 → 2.0.0-next.20261110063142

package/lib/conversion/flatten.js

@@ -1,103 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.allChildren = exports.unflattenLeft = exports.unflattenRight = exports.flatten = exports.is_associative = void 0;
-const util_1 = require("./util");
-exports.is_associative = {
-    "+": true,
-    "*": true,
-    and: true,
-    or: true,
-    union: true,
-    intersect: true,
-};
-function flatten(expr) {
-    // flatten tree with all associative operators
-    var tree = util_1.get_tree(expr);
-    if (!Array.isArray(tree))
-        return tree;
-    var operator = tree[0];
-    var operands = tree.slice(1);
-    operands = operands.map(function (v, i) {
-        return flatten(v);
-    });
-    if (exports.is_associative[operator]) {
-        var result = [];
-        for (var i = 0; i < operands.length; i++) {
-            if (Array.isArray(operands[i]) && operands[i][0] === operator) {
-                result = result.concat(operands[i].slice(1));
-            }
-            else {
-                result.push(operands[i]);
-            }
-        }
-        operands = result;
-    }
-    return [operator].concat(operands);
-}
-exports.flatten = flatten;
-const unflattenRight = function (expr) {
-    // unflatten tree with associate operators
-    // into a right heavy tree;
-    var tree = util_1.get_tree(expr);
-    if (!Array.isArray(tree))
-        return tree;
-    var operator = tree[0];
-    var operands = tree.slice(1);
-    operands = operands.map(function (v, i) {
-        return exports.unflattenRight(v);
-    });
-    if (operands.length > 2 && exports.is_associative[operator]) {
-        var result = [operator, operands[0], undefined];
-        var next = result;
-        for (var i = 1; i < operands.length - 1; i++) {
-            next[2] = [operator, operands[i], undefined];
-            next = next[2];
-        }
-        next[2] = operands[operands.length - 1];
-        return result;
-    }
-    return [operator].concat(operands);
-};
-exports.unflattenRight = unflattenRight;
-const unflattenLeft = function (expr) {
-    // unflatten tree with associate operator op
-    // into a left heavy tree;
-    var tree = util_1.get_tree(expr);
-    if (!Array.isArray(tree))
-        return tree;
-    var operator = tree[0];
-    var operands = tree.slice(1);
-    operands = operands.map(function (v, i) {
-        return exports.unflattenLeft(v);
-    });
-    if (operands.length > 2 && exports.is_associative[operator]) {
-        var result = [operator, undefined, operands[operands.length - 1]];
-        var next = result;
-        for (var i = operands.length - 2; i > 0; i--) {
-            next[1] = [operator, undefined, operands[i]];
-            next = next[1];
-        }
-        next[1] = operands[0];
-        return result;
-    }
-    return [operator].concat(operands);
-};
-exports.unflattenLeft = unflattenLeft;
-const allChildren = function (tree) {
-    // find all children of operator of tree as though it had been flattened
-    if (!Array.isArray(tree))
-        return [];
-    var operator = tree[0];
-    var operands = tree.slice(1);
-    if (!exports.is_associative[operator])
-        return operands;
-    return operands.reduce(function (a, b) {
-        if (Array.isArray(b) && b[0] === operator) {
-            return a.concat(exports.allChildren(b));
-        }
-        else
-            return a.concat([b]);
-    }, []);
-};
-exports.allChildren = allChildren;
-//# sourceMappingURL=flatten.js.map

package/lib/conversion/flatten.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"flatten.js","sourceRoot":"","sources":["../../src/conversion/flatten.ts"],"names":[],"mappings":";;;AAAA,iCAAkC;AAEvB,QAAA,cAAc,GAAG;IAC1B,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI;IACX,SAAS,EAAE,IAAI;CAChB,CAAC;AAEF,SAAgB,OAAO,CAAC,IAAI;IAC1B,8CAA8C;IAE9C,IAAI,IAAI,GAAG,eAAQ,CAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAI,sBAAc,CAAC,QAAQ,CAAC,EAAE;QAC5B,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACxC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE;gBAC7D,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9C;iBAAM;gBACL,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;aAC1B;SACF;QAED,QAAQ,GAAG,MAAM,CAAC;KACnB;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC;AA7BD,0BA6BC;AAEM,MAAM,cAAc,GAAG,UAAU,IAAI;IAC1C,0CAA0C;IAC1C,2BAA2B;IAE3B,IAAI,IAAI,GAAG,eAAQ,CAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,sBAAc,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,sBAAc,CAAC,QAAQ,CAAC,EAAE;QACnD,IAAI,MAAM,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,IAAI,GAAG,MAAM,CAAC;QAElB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC5C,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YAC7C,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;SAChB;QAED,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAExC,OAAO,MAAM,CAAC;KACf;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC,CAAC;AA9BW,QAAA,cAAc,kBA8BzB;AAEK,MAAM,aAAa,GAAG,UAAU,IAAI;IACzC,4CAA4C;IAC5C,0BAA0B;IAE1B,IAAI,IAAI,GAAG,eAAQ,CAAC,IAAI,CAAC,CAAC;IAE1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,qBAAa,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,sBAAc,CAAC,QAAQ,CAAC,EAAE;QACnD,IAAI,MAAM,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,IAAI,IAAI,GAAG,MAAM,CAAC;QAElB,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC5C,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;SAChB;QAED,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAEtB,OAAO,MAAM,CAAC;KACf;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC,CAAC;AA9BW,QAAA,aAAa,iBA8BxB;AAEK,MAAM,WAAW,GAAG,UAAU,IAAI;IACvC,wEAAwE;IAExE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,IAAI,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE7B,IAAI,CAAC,sBAAc,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE/C,OAAO,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE;YACzC,OAAO,CAAC,CAAC,MAAM,CAAC,mBAAW,CAAC,CAAC,CAAC,CAAC,CAAC;SACjC;;YAAM,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,EAAE,EAAE,CAAC,CAAC;AACT,CAAC,CAAC;AAfW,QAAA,WAAW,eAetB"}