@compute.ts/boolean/lib/ComputeBooleanLibrary.js

Provide boolean operators for the computeTS package

"use strict";Object.defineProperty(exports,"__esModule",{value:!0}),exports.isFalse=exports.isTrue=exports.not=exports.xnor=exports.xor=exports.xnand=exports.xand=exports.nor=exports.or=exports.nand=exports.and=exports.equals=exports.implies=exports.False=exports.True=exports.boolean=void 0;var ComputeBooleanNode_1=require("./ComputeBooleanNode"),ComputeBooleanVariable_1=require("./ComputeBooleanVariable"),ComputeBooleanImplementation_1=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_2=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_3=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_4=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_5=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_6=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_7=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_8=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_9=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_10=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_11=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_12=require("./ComputeBooleanImplementation"),ComputeBooleanImplementation_13=require("./ComputeBooleanImplementation");function boolean(o){return new ComputeBooleanVariable_1.ComputeBooleanVariable(o)}function implies(o,e){o=ComputeBooleanNode_1.ComputeBooleanNode.nodify(o),e=ComputeBooleanNode_1.ComputeBooleanNode.nodify(e);return ComputeBooleanNode_1.ComputeBooleanNode.expression([o,e],ComputeBooleanImplementation_3.implies)}function equals(o,e){o=ComputeBooleanNode_1.ComputeBooleanNode.nodify(o),e=ComputeBooleanNode_1.ComputeBooleanNode.nodify(e);return ComputeBooleanNode_1.ComputeBooleanNode.expression([o,e],ComputeBooleanImplementation_2.equals)}function and(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_1.and)}function nand(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_6.nand)}function or(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_9.or)}function nor(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_7.nor)}function xand(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_10.xand)}function xnand(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_11.xnand)}function xor(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_13.xor)}function xnor(){for(var o=[],e=0;e<arguments.length;e++)o[e]=arguments[e];var n=o.map(function(o){return ComputeBooleanNode_1.ComputeBooleanNode.nodify(o)});return ComputeBooleanNode_1.ComputeBooleanNode.expression(n,ComputeBooleanImplementation_12.xnor)}function not(o){o=ComputeBooleanNode_1.ComputeBooleanNode.nodify(o);return ComputeBooleanNode_1.ComputeBooleanNode.expression([o],ComputeBooleanImplementation_8.not)}function isTrue(o){o=ComputeBooleanNode_1.ComputeBooleanNode.nodify(o);return ComputeBooleanNode_1.ComputeBooleanNode.expression([o],ComputeBooleanImplementation_5.isTrue)}function isFalse(o){o=ComputeBooleanNode_1.ComputeBooleanNode.nodify(o);return ComputeBooleanNode_1.ComputeBooleanNode.expression([o],ComputeBooleanImplementation_4.isFalse)}exports.boolean=boolean,exports.True=boolean(!0),exports.False=boolean(!1),exports.implies=implies,exports.equals=equals,exports.and=and,exports.nand=nand,exports.or=or,exports.nor=nor,exports.xand=xand,exports.xnand=xnand,exports.xor=xor,exports.xnor=xnor,exports.not=not,exports.isTrue=isTrue,exports.isFalse=isFalse;