pricing4ts/dist/server/models/minizinc/minizinc.js

 Pricing4TS is a TypeScript-based toolkit designed to enhance the server-side functionality of a pricing-driven SaaS by enabling the seamless integration of pricing plans into the application logic. T

"use strict";
var __assign = (this && this.__assign) || function () {
    __assign = Object.assign || function(t) {
        for (var s, i = 1, n = arguments.length; i < n; i++) {
            s = arguments[i];
            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
                t[p] = s[p];
        }
        return t;
    };
    return __assign.apply(this, arguments);
};
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
    return new (P || (P = Promise))(function (resolve, reject) {
        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
        step((generator = generator.apply(thisArg, _arguments || [])).next());
    });
};
var __generator = (this && this.__generator) || function (thisArg, body) {
    var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g = Object.create((typeof Iterator === "function" ? Iterator : Object).prototype);
    return g.next = verb(0), g["throw"] = verb(1), g["return"] = verb(2), typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
    function verb(n) { return function (v) { return step([n, v]); }; }
    function step(op) {
        if (f) throw new TypeError("Generator is already executing.");
        while (g && (g = 0, op[0] && (_ = 0)), _) try {
            if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
            if (y = 0, t) op = [op[0] & 2, t.value];
            switch (op[0]) {
                case 0: case 1: t = op; break;
                case 4: _.label++; return { value: op[1], done: false };
                case 5: _.label++; y = op[1]; op = [0]; continue;
                case 7: op = _.ops.pop(); _.trys.pop(); continue;
                default:
                    if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
                    if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
                    if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
                    if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
                    if (t[2]) _.ops.pop();
                    _.trys.pop(); continue;
            }
            op = body.call(thisArg, _);
        } catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
        if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
    }
};
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
var _a;
Object.defineProperty(exports, "__esModule", { value: true });
exports.PricingOperation = void 0;
var minizinc_1 = require("minizinc");
var path_1 = __importDefault(require("path"));
var PricingOperation;
(function (PricingOperation) {
    PricingOperation["PRICING_MODEL"] = "PricingModel.mzn";
    PricingOperation["VALID_PRICING"] = "valid-pricing.mzn";
    PricingOperation["VALID_SUBSCRIPTION"] = "valid-subscription.mzn";
    PricingOperation["CHEAPEST_SUBSCRIPTION"] = "cheapest-subscription.mzn";
    PricingOperation["CONFIGURATION_SPACE"] = "configuration-space.mzn";
    PricingOperation["MOST_EXPENSIVE_SUBSCRIPTION"] = "most-expensive-subscription.mzn";
    PricingOperation["FILTER"] = "filter.mzn";
    PricingOperation["CHEAPEST_FILTER"] = "cheapest-filter.mzn";
    PricingOperation["CONFIGURATION_SPACE_FILTER"] = "configuration-space-filter.mzn";
    PricingOperation["MOST_EXPENSIVE_FILTER"] = "most-expensive-filter.mzn";
})(PricingOperation || (exports.PricingOperation = PricingOperation = {}));
var modelPaths = (_a = {},
    _a[PricingOperation.PRICING_MODEL] = path_1.default.join(__dirname, 'raw-models/PricingModel.mzn'),
    _a[PricingOperation.VALID_PRICING] = path_1.default.join(__dirname, 'raw-models/operations/validation/valid-pricing.mzn'),
    _a[PricingOperation.VALID_SUBSCRIPTION] = path_1.default.join(__dirname, 'raw-models/operations/validation/valid-subscription.mzn'),
    _a[PricingOperation.CHEAPEST_SUBSCRIPTION] = path_1.default.join(__dirname, 'raw-models/operations/analysis/cheapest-subscription.mzn'),
    _a[PricingOperation.CONFIGURATION_SPACE] = path_1.default.join(__dirname, 'raw-models/operations/analysis/configuration-space.mzn'),
    _a[PricingOperation.MOST_EXPENSIVE_SUBSCRIPTION] = path_1.default.join(__dirname, 'raw-models/operations/analysis/most-expensive-subscription.mzn'),
    _a[PricingOperation.FILTER] = path_1.default.join(__dirname, 'raw-models/operations/filter/filter.mzn'),
    _a[PricingOperation.CHEAPEST_FILTER] = path_1.default.join(__dirname, 'raw-models/operations/filter/cheapest-filtered-subscription.mzn'),
    _a[PricingOperation.CONFIGURATION_SPACE_FILTER] = path_1.default.join(__dirname, 'raw-models/operations/filter/filtered-configuration-space.mzn'),
    _a[PricingOperation.MOST_EXPENSIVE_FILTER] = path_1.default.join(__dirname, 'raw-models/operations/filter/most-expensive-filtered-subscription.mzn'),
    _a);
var PricingCSP = /** @class */ (function () {
    function PricingCSP() {
        this.model = new minizinc_1.Model();
        this.pricingData = '';
    }
    PricingCSP.prototype.runPricingOperation = function (pricingOperation, data) {
        return __awaiter(this, void 0, void 0, function () {
            var mustExtractAllSolutions, allSolutions, result;
            return __generator(this, function (_a) {
                this._resetModel();
                if (this.pricingData !== data) {
                    this.pricingData = data;
                    this.model.addDznString(data);
                }
                mustExtractAllSolutions = pricingOperation === PricingOperation.CONFIGURATION_SPACE ||
                    pricingOperation === PricingOperation.CONFIGURATION_SPACE_FILTER;
                allSolutions = undefined;
                if (mustExtractAllSolutions) {
                    allSolutions = [];
                }
                result = this.model.solve({
                    options: {
                        solver: 'gecode',
                        model: modelPaths[pricingOperation],
                        statistics: true,
                        'all-solutions': pricingOperation === PricingOperation.CONFIGURATION_SPACE ||
                            pricingOperation === PricingOperation.CONFIGURATION_SPACE_FILTER,
                    },
                });
                result.on('solution', function (solution) {
                    if (mustExtractAllSolutions) {
                        allSolutions.push(solution.output.json);
                    }
                });
                return [2 /*return*/, new Promise(function (resolve, reject) {
                        result.on('error', function (error) {
                            reject(error);
                        });
                        Promise.resolve(result).then(function (result) {
                            resolve(__assign(__assign({}, result), { allSolutions: allSolutions }));
                        }).catch(function (error) {
                            reject(error);
                        });
                    })];
            });
        });
    };
    PricingCSP.prototype._resetModel = function () {
        this.model = new minizinc_1.Model();
    };
    return PricingCSP;
}());
exports.default = PricingCSP;