@openreasoning/fol-types/dist/index.js

Types of First-Order Logic formula

"use strict";
var __extends = (this && this.__extends) || (function () {
    var extendStatics = function (d, b) {
        extendStatics = Object.setPrototypeOf ||
            ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
            function (d, b) { for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p]; };
        return extendStatics(d, b);
    };
    return function (d, b) {
        extendStatics(d, b);
        function __() { this.constructor = d; }
        d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
    };
})();
var Symbol = /** @class */ (function () {
    function Symbol(value) {
        this.value = value;
    }
    return Symbol;
}());
var Connective = /** @class */ (function () {
    function Connective() {
        var _this = this;
        var args = [];
        for (var _i = 0; _i < arguments.length; _i++) {
            args[_i] = arguments[_i];
        }
        this.args = [];
        args.forEach(function (arg) {
            if (typeof arg === 'string') {
                arg = new Symbol(arg);
            }
            _this.args.push(arg);
        });
        this.arity = this.args.length;
    }
    return Connective;
}());
var Not = /** @class */ (function (_super) {
    __extends(Not, _super);
    function Not(arg) {
        return _super.call(this, arg) || this;
    }
    return Not;
}(Connective));
var And = /** @class */ (function (_super) {
    __extends(And, _super);
    function And(arg1, arg2) {
        return _super.call(this, arg1, arg2) || this;
    }
    return And;
}(Connective));
var Or = /** @class */ (function (_super) {
    __extends(Or, _super);
    function Or(arg1, arg2) {
        return _super.call(this, arg1, arg2) || this;
    }
    return Or;
}(Connective));
var If = /** @class */ (function (_super) {
    __extends(If, _super);
    function If(arg1, arg2) {
        return _super.call(this, arg1, arg2) || this;
    }
    return If;
}(Connective));
var Iff = /** @class */ (function (_super) {
    __extends(Iff, _super);
    function Iff(arg1, arg2) {
        return _super.call(this, arg1, arg2) || this;
    }
    return Iff;
}(Connective));
//# sourceMappingURL=index.js.map