occam-verify-cli 0.0.968 → 0.0.972

package/lib/unify/statementAtainstStatement.js

@@ -1,49 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return unifyStatementWithStatement;
-    }
-});
-var _substitutions = /*#__PURE__*/ _interop_require_default(require("../substitutions"));
-var _metaLevel = /*#__PURE__*/ _interop_require_default(require("../unifier/metaLevel"));
-var _termForVariable = /*#__PURE__*/ _interop_require_default(require("../substitution/termForVariable"));
-var _array = require("../utilities/array");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function unifyStatementWithStatement(statementNodeA, statementNodeB, substitution, substitutions, localContextA, localContextB) {
-    var statementUnifiedWithStatement = false;
-    var transformedSubstitutions = _substitutions.default.fromNothing(), transformedSubstitution = substitution.transformed(substitutions);
-    if (transformedSubstitution !== null) {
-        transformedSubstitutions.addSubstitution(transformedSubstitution, localContextA, localContextB);
-    }
-    var nodeA = statementNodeA, nodeB = statementNodeB, unified = _metaLevel.default.unify(nodeA, nodeB, transformedSubstitutions, localContextA, localContextB);
-    if (unified) {
-        if (transformedSubstitution === null) {
-            debugger;
-            var substitutionB = termForVariableSubstitution, substitutionsB = [
-                substitutionB
-            ];
-            substitutionsA = transformSubstitutions(substitutionsA, substitutionsB);
-            (0, _array.push)(substitutions, substitutionsA);
-        }
-        statementUnifiedWithStatement = true;
-    }
-    return statementUnifiedWithStatement;
-}
-function transformSubstitutions(substitutionsA1, substitutionsB) {
-    substitutionsA1 = substitutionsA1.map(function(substitutionA) {
-        var substitution = substitutionA, substitutions = substitutionsB, termForVariableSubstitution1 = _termForVariable.default.fromSubstitutionAndSubstitutions(substitution, substitutions);
-        substitutionA = termForVariableSubstitution1; ///
-        return substitutionA;
-    });
-    return substitutionsA1;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91bmlmeS9zdGF0ZW1lbnRBdGFpbnN0U3RhdGVtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgU3Vic3RpdHV0aW9ucyBmcm9tIFwiLi4vc3Vic3RpdHV0aW9uc1wiO1xuaW1wb3J0IG1ldGFMZXZlbFVuaWZpZXIgZnJvbSBcIi4uL3VuaWZpZXIvbWV0YUxldmVsXCI7XG5pbXBvcnQgVGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uIGZyb20gXCIuLi9zdWJzdGl0dXRpb24vdGVybUZvclZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IHB1c2ggfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2FycmF5XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHVuaWZ5U3RhdGVtZW50V2l0aFN0YXRlbWVudChzdGF0ZW1lbnROb2RlQSwgc3RhdGVtZW50Tm9kZUIsIHN1YnN0aXR1dGlvbiwgc3Vic3RpdHV0aW9ucywgbG9jYWxDb250ZXh0QSwgbG9jYWxDb250ZXh0Qikge1xuICBsZXQgc3RhdGVtZW50VW5pZmllZFdpdGhTdGF0ZW1lbnQgPSBmYWxzZTtcblxuICBjb25zdCB0cmFuc2Zvcm1lZFN1YnN0aXR1dGlvbnMgPSBTdWJzdGl0dXRpb25zLmZyb21Ob3RoaW5nKCksXG4gICAgICAgIHRyYW5zZm9ybWVkU3Vic3RpdHV0aW9uID0gc3Vic3RpdHV0aW9uLnRyYW5zZm9ybWVkKHN1YnN0aXR1dGlvbnMpO1xuXG4gIGlmICh0cmFuc2Zvcm1lZFN1YnN0aXR1dGlvbiAhPT0gbnVsbCkge1xuICAgIHRyYW5zZm9ybWVkU3Vic3RpdHV0aW9ucy5hZGRTdWJzdGl0dXRpb24odHJhbnNmb3JtZWRTdWJzdGl0dXRpb24sIGxvY2FsQ29udGV4dEEsIGxvY2FsQ29udGV4dEIpO1xuICB9XG5cbiAgY29uc3Qgbm9kZUEgPSBzdGF0ZW1lbnROb2RlQSwgIC8vL1xuICAgICAgICBub2RlQiA9IHN0YXRlbWVudE5vZGVCLCAgLy8vXG4gICAgICAgIHVuaWZpZWQgPSBtZXRhTGV2ZWxVbmlmaWVyLnVuaWZ5KG5vZGVBLCBub2RlQiwgdHJhbnNmb3JtZWRTdWJzdGl0dXRpb25zLCBsb2NhbENvbnRleHRBLCBsb2NhbENvbnRleHRCKTtcblxuICBpZiAodW5pZmllZCkge1xuICAgIGlmICh0cmFuc2Zvcm1lZFN1YnN0aXR1dGlvbiA9PT0gbnVsbCkge1xuXG4gICAgICBkZWJ1Z2dlclxuXG4gICAgICBjb25zdCBzdWJzdGl0dXRpb25CID0gdGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uLCAgLy8vXG4gICAgICAgICAgICBzdWJzdGl0dXRpb25zQiA9IFtcbiAgICAgICAgICAgICAgc3Vic3RpdHV0aW9uQlxuICAgICAgICAgICAgXTtcblxuICAgICAgc3Vic3RpdHV0aW9uc0EgPSB0cmFuc2Zvcm1TdWJzdGl0dXRpb25zKHN1YnN0aXR1dGlvbnNBLCBzdWJzdGl0dXRpb25zQik7XG5cbiAgICAgIHB1c2goc3Vic3RpdHV0aW9ucywgc3Vic3RpdHV0aW9uc0EpO1xuICAgIH1cblxuICAgIHN0YXRlbWVudFVuaWZpZWRXaXRoU3RhdGVtZW50ID0gdHJ1ZTtcbiAgfVxuXG4gIHJldHVybiBzdGF0ZW1lbnRVbmlmaWVkV2l0aFN0YXRlbWVudDtcbn1cblxuZnVuY3Rpb24gdHJhbnNmb3JtU3Vic3RpdHV0aW9ucyhzdWJzdGl0dXRpb25zQSwgc3Vic3RpdHV0aW9uc0IpIHtcbiAgc3Vic3RpdHV0aW9uc0EgPSBzdWJzdGl0dXRpb25zQS5tYXAoKHN1YnN0aXR1dGlvbkEpID0+IHtcbiAgICBjb25zdCBzdWJzdGl0dXRpb24gPSBzdWJzdGl0dXRpb25BLCAgLy8vXG4gICAgICAgICAgc3Vic3RpdHV0aW9ucyA9IHN1YnN0aXR1dGlvbnNCLFxuICAgICAgICAgIHRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbiA9IFRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbi5mcm9tU3Vic3RpdHV0aW9uQW5kU3Vic3RpdHV0aW9ucyhzdWJzdGl0dXRpb24sIHN1YnN0aXR1dGlvbnMpO1xuXG4gICAgc3Vic3RpdHV0aW9uQSA9IHRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbjsgLy8vXG5cbiAgICByZXR1cm4gc3Vic3RpdHV0aW9uQTtcbiAgfSk7XG5cbiAgcmV0dXJuIHN1YnN0aXR1dGlvbnNBO1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5U3RhdGVtZW50V2l0aFN0YXRlbWVudCIsInN0YXRlbWVudE5vZGVBIiwic3RhdGVtZW50Tm9kZUIiLCJzdWJzdGl0dXRpb24iLCJzdWJzdGl0dXRpb25zIiwibG9jYWxDb250ZXh0QSIsImxvY2FsQ29udGV4dEIiLCJzdGF0ZW1lbnRVbmlmaWVkV2l0aFN0YXRlbWVudCIsInRyYW5zZm9ybWVkU3Vic3RpdHV0aW9ucyIsIlN1YnN0aXR1dGlvbnMiLCJmcm9tTm90aGluZyIsInRyYW5zZm9ybWVkU3Vic3RpdHV0aW9uIiwidHJhbnNmb3JtZWQiLCJhZGRTdWJzdGl0dXRpb24iLCJub2RlQSIsIm5vZGVCIiwidW5pZmllZCIsIm1ldGFMZXZlbFVuaWZpZXIiLCJ1bmlmeSIsInN1YnN0aXR1dGlvbkIiLCJ0ZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb24iLCJzdWJzdGl0dXRpb25zQiIsInN1YnN0aXR1dGlvbnNBIiwidHJhbnNmb3JtU3Vic3RpdHV0aW9ucyIsInB1c2giLCJtYXAiLCJzdWJzdGl0dXRpb25BIiwiVGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uIiwiZnJvbVN1YnN0aXR1dGlvbkFuZFN1YnN0aXR1dGlvbnMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBd0JBOzs7b0VBTkU7Z0VBQ0c7c0VBQ1c7cUJBRW5COzs7Ozs7QUFFTixTQUFTQSw0QkFBNEJDLGNBQWMsRUFBRUMsY0FBYyxFQUFFQyxZQUFZLEVBQUVDLGFBQWEsRUFBRUMsYUFBYSxFQUFFQyxhQUFhO0lBQzNJLElBQUlDLGdDQUFnQztJQUVwQyxJQUFNQywyQkFBMkJDLHNCQUFhLENBQUNDLFdBQVcsSUFDcERDLDBCQUEwQlIsYUFBYVMsV0FBVyxDQUFDUjtJQUV6RCxJQUFJTyw0QkFBNEIsTUFBTTtRQUNwQ0gseUJBQXlCSyxlQUFlLENBQUNGLHlCQUF5Qk4sZUFBZUM7SUFDbkY7SUFFQSxJQUFNUSxRQUFRYixnQkFDUmMsUUFBUWIsZ0JBQ1JjLFVBQVVDLGtCQUFnQixDQUFDQyxLQUFLLENBQUNKLE9BQU9DLE9BQU9QLDBCQUEwQkgsZUFBZUM7SUFFOUYsSUFBSVUsU0FBUztRQUNYLElBQUlMLDRCQUE0QixNQUFNO1lBRXBDLFFBQVE7WUFFUixJQUFNUSxnQkFBZ0JDLDZCQUNoQkMsaUJBQWlCO2dCQUNmRjthQUNEO1lBRVBHLGlCQUFpQkMsdUJBQXVCRCxnQkFBZ0JEO1lBRXhERyxJQUFBQSxXQUFJLEVBQUNwQixlQUFla0I7UUFDdEI7UUFFQWYsZ0NBQWdDO0lBQ2xDO0lBRUEsT0FBT0E7QUFDVDtBQUVBLFNBQVNnQix1QkFBdUJELGVBQWMsRUFBRUQsY0FBYztJQUM1REMsa0JBQWlCQSxnQkFBZUcsR0FBRyxDQUFDLFNBQUNDO1FBQ25DLElBQU12QixlQUFldUIsZUFDZnRCLGdCQUFnQmlCLGdCQUNoQkQsK0JBQThCTyx3QkFBMkIsQ0FBQ0MsZ0NBQWdDLENBQUN6QixjQUFjQztRQUUvR3NCLGdCQUFnQk4sOEJBQTZCLEdBQUc7UUFFaEQsT0FBT007SUFDVDtJQUVBLE9BQU9KO0FBQ1QifQ==

package/lib/utilities/lineIndex.js

@@ -1,52 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    greatestLineIndexFromNodeAndTokens: function() {
-        return greatestLineIndexFromNodeAndTokens;
-    },
-    leastLineIndexFromNodeAndTokens: function() {
-        return leastLineIndexFromNodeAndTokens;
-    }
-});
-function leastLineIndexFromNodeAndTokens(node, tokens) {
-    var leastLineIndex = undefined; ///
-    var firstSignificantTokenIndex = node.getFirstSignificantTokenIndex(tokens);
-    var lineIndex = 0;
-    tokens.some(function(token, tokenIndex) {
-        if (tokenIndex === firstSignificantTokenIndex) {
-            leastLineIndex = lineIndex; ///
-            return true;
-        }
-        var tokenEndOfLineToken = token.isEndOfLineToken();
-        if (tokenEndOfLineToken) {
-            lineIndex += 1;
-        }
-    });
-    return leastLineIndex;
-}
-function greatestLineIndexFromNodeAndTokens(node, tokens) {
-    var greatestLineIndex = undefined; ///
-    var lastSignificantTokenIndex = node.getLastSignificantTokenIndex(tokens);
-    var lineIndex = 0;
-    tokens.some(function(token, tokenIndex) {
-        if (tokenIndex === lastSignificantTokenIndex) {
-            greatestLineIndex = lineIndex; ///
-            return true;
-        }
-        var tokenEndOfLineToken = token.isEndOfLineToken();
-        if (tokenEndOfLineToken) {
-            lineIndex += 1;
-        }
-    });
-    return greatestLineIndex;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbGluZUluZGV4LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5leHBvcnQgZnVuY3Rpb24gbGVhc3RMaW5lSW5kZXhGcm9tTm9kZUFuZFRva2Vucyhub2RlLCB0b2tlbnMpIHtcbiAgbGV0IGxlYXN0TGluZUluZGV4ID0gdW5kZWZpbmVkOyAvLy9cblxuICBjb25zdCBmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCA9IG5vZGUuZ2V0Rmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgodG9rZW5zKTtcblxuICBsZXQgbGluZUluZGV4ID0gMDtcblxuICB0b2tlbnMuc29tZSgodG9rZW4sIHRva2VuSW5kZXgpID0+IHsgIC8vL1xuICAgIGlmICh0b2tlbkluZGV4ID09PSBmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCkge1xuICAgICAgbGVhc3RMaW5lSW5kZXggPSBsaW5lSW5kZXg7ICAvLy9cblxuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuXG4gICAgY29uc3QgdG9rZW5FbmRPZkxpbmVUb2tlbiA9IHRva2VuLmlzRW5kT2ZMaW5lVG9rZW4oKTtcblxuICAgIGlmICh0b2tlbkVuZE9mTGluZVRva2VuKSB7XG4gICAgICBsaW5lSW5kZXggKz0gMTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBsZWFzdExpbmVJbmRleDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGdyZWF0ZXN0TGluZUluZGV4RnJvbU5vZGVBbmRUb2tlbnMobm9kZSwgdG9rZW5zKSB7XG4gIGxldCBncmVhdGVzdExpbmVJbmRleCA9IHVuZGVmaW5lZDsgIC8vL1xuXG4gIGNvbnN0IGxhc3RTaWduaWZpY2FudFRva2VuSW5kZXggPSBub2RlLmdldExhc3RTaWduaWZpY2FudFRva2VuSW5kZXgodG9rZW5zKTtcblxuICBsZXQgbGluZUluZGV4ID0gMDtcblxuICB0b2tlbnMuc29tZSgodG9rZW4sIHRva2VuSW5kZXgpID0+IHsgIC8vL1xuICAgIGlmICh0b2tlbkluZGV4ID09PSBsYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4KSB7XG4gICAgICBncmVhdGVzdExpbmVJbmRleCA9IGxpbmVJbmRleDsgIC8vL1xuXG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG5cbiAgICBjb25zdCB0b2tlbkVuZE9mTGluZVRva2VuID0gdG9rZW4uaXNFbmRPZkxpbmVUb2tlbigpO1xuXG4gICAgaWYgKHRva2VuRW5kT2ZMaW5lVG9rZW4pIHtcbiAgICAgIGxpbmVJbmRleCArPSAxO1xuICAgIH1cbiAgfSk7XG5cbiAgcmV0dXJuIGdyZWF0ZXN0TGluZUluZGV4O1xufVxuIl0sIm5hbWVzIjpbImdyZWF0ZXN0TGluZUluZGV4RnJvbU5vZGVBbmRUb2tlbnMiLCJsZWFzdExpbmVJbmRleEZyb21Ob2RlQW5kVG9rZW5zIiwibm9kZSIsInRva2VucyIsImxlYXN0TGluZUluZGV4IiwidW5kZWZpbmVkIiwiZmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJnZXRGaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImxpbmVJbmRleCIsInNvbWUiLCJ0b2tlbiIsInRva2VuSW5kZXgiLCJ0b2tlbkVuZE9mTGluZVRva2VuIiwiaXNFbmRPZkxpbmVUb2tlbiIsImdyZWF0ZXN0TGluZUluZGV4IiwibGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImdldExhc3RTaWduaWZpY2FudFRva2VuSW5kZXgiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQTBCZ0JBLGtDQUFrQztlQUFsQ0E7O0lBeEJBQywrQkFBK0I7ZUFBL0JBOzs7QUFBVCxTQUFTQSxnQ0FBZ0NDLElBQUksRUFBRUMsTUFBTTtJQUMxRCxJQUFJQyxpQkFBaUJDLFdBQVcsR0FBRztJQUVuQyxJQUFNQyw2QkFBNkJKLEtBQUtLLDZCQUE2QixDQUFDSjtJQUV0RSxJQUFJSyxZQUFZO0lBRWhCTCxPQUFPTSxJQUFJLENBQUMsU0FBQ0MsT0FBT0M7UUFDbEIsSUFBSUEsZUFBZUwsNEJBQTRCO1lBQzdDRixpQkFBaUJJLFdBQVksR0FBRztZQUVoQyxPQUFPO1FBQ1Q7UUFFQSxJQUFNSSxzQkFBc0JGLE1BQU1HLGdCQUFnQjtRQUVsRCxJQUFJRCxxQkFBcUI7WUFDdkJKLGFBQWE7UUFDZjtJQUNGO0lBRUEsT0FBT0o7QUFDVDtBQUVPLFNBQVNKLG1DQUFtQ0UsSUFBSSxFQUFFQyxNQUFNO0lBQzdELElBQUlXLG9CQUFvQlQsV0FBWSxHQUFHO0lBRXZDLElBQU1VLDRCQUE0QmIsS0FBS2MsNEJBQTRCLENBQUNiO0lBRXBFLElBQUlLLFlBQVk7SUFFaEJMLE9BQU9NLElBQUksQ0FBQyxTQUFDQyxPQUFPQztRQUNsQixJQUFJQSxlQUFlSSwyQkFBMkI7WUFDNUNELG9CQUFvQk4sV0FBWSxHQUFHO1lBRW5DLE9BQU87UUFDVDtRQUVBLElBQU1JLHNCQUFzQkYsTUFBTUcsZ0JBQWdCO1FBRWxELElBQUlELHFCQUFxQjtZQUN2QkosYUFBYTtRQUNmO0lBQ0Y7SUFFQSxPQUFPTTtBQUNUIn0=

package/lib/utilities/match.js

@@ -1,59 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    bracketedStatementChildNodeFromStatementNode: function() {
-        return bracketedStatementChildNodeFromStatementNode;
-    },
-    matchStatementModuloBrackets: function() {
-        return matchStatementModuloBrackets;
-    }
-});
-var _bracketed = /*#__PURE__*/ _interop_require_default(require("../node/statement/bracketed"));
-var _query = require("../utilities/query");
-var _constants = require("../constants");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var bracketedStatementChildNodeQuery = (0, _query.nodeQuery)("/statement/metaArgument/statement!");
-function matchStatementModuloBrackets(statementNodeA, statementNodeB) {
-    var statementMatches = false;
-    if (!statementMatches) {
-        var statementNodeMatches = statementNodeA.match(statementNodeB);
-        statementMatches = statementNodeMatches; ///
-    }
-    if (!statementMatches) {
-        var bracketedStatementChildNodeA = bracketedStatementChildNodeFromStatementNode(statementNodeA);
-        if (bracketedStatementChildNodeA !== null) {
-            var bracketedStatementChildNodeAMatchesStatementNodeB = bracketedStatementChildNodeA.match(statementNodeB);
-            statementMatches = bracketedStatementChildNodeAMatchesStatementNodeB; ///
-        }
-    }
-    if (!statementMatches) {
-        var bracketedStatementChildNodeB = bracketedStatementChildNodeFromStatementNode(statementNodeB);
-        if (bracketedStatementChildNodeB !== null) {
-            var statementNodeAMatchesBracketedStatementChildNodeB = statementNodeA.match(bracketedStatementChildNodeB);
-            statementMatches = statementNodeAMatchesBracketedStatementChildNodeB; ///
-        }
-    }
-    return statementMatches;
-}
-function bracketedStatementChildNodeFromStatementNode(statementNode) {
-    var bracketedStatementChildNode = null;
-    var depth = _constants.BRACKETED_STATEMENT_DEPTH, statementNodeMatchBracketedStatementNode = statementNode.match(_bracketed.default, depth);
-    if (statementNodeMatchBracketedStatementNode) {
-        bracketedStatementChildNode = bracketedStatementChildNodeQuery(statementNode);
-    }
-    return bracketedStatementChildNode;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbWF0Y2guanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBicmFja2V0ZWRTdGF0ZW1lbnROb2RlIGZyb20gXCIuLi9ub2RlL3N0YXRlbWVudC9icmFja2V0ZWRcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcblxuY29uc3QgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3RhdGVtZW50L21ldGFBcmd1bWVudC9zdGF0ZW1lbnQhXCIpO1xuXG5leHBvcnQgZnVuY3Rpb24gbWF0Y2hTdGF0ZW1lbnRNb2R1bG9CcmFja2V0cyhzdGF0ZW1lbnROb2RlQSwgc3RhdGVtZW50Tm9kZUIpIHtcbiAgbGV0IHN0YXRlbWVudE1hdGNoZXMgPSBmYWxzZTtcblxuICBpZiAoIXN0YXRlbWVudE1hdGNoZXMpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnROb2RlTWF0Y2hlcyA9IHN0YXRlbWVudE5vZGVBLm1hdGNoKHN0YXRlbWVudE5vZGVCKTtcblxuICAgIHN0YXRlbWVudE1hdGNoZXMgPSBzdGF0ZW1lbnROb2RlTWF0Y2hlczsgIC8vL1xuICB9XG5cbiAgaWYgKCFzdGF0ZW1lbnRNYXRjaGVzKSB7XG4gICAgY29uc3QgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGVBKTtcblxuICAgIGlmIChicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBTWF0Y2hlc1N0YXRlbWVudE5vZGVCID0gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQS5tYXRjaChzdGF0ZW1lbnROb2RlQik7XG5cbiAgICAgIHN0YXRlbWVudE1hdGNoZXMgPSBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBTWF0Y2hlc1N0YXRlbWVudE5vZGVCOyAvLy9cbiAgICB9XG4gIH1cblxuICBpZiAoIXN0YXRlbWVudE1hdGNoZXMpIHtcbiAgICBjb25zdCBicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVCID0gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZUIpO1xuXG4gICAgaWYgKGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUIgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHN0YXRlbWVudE5vZGVBTWF0Y2hlc0JyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUIgPSBzdGF0ZW1lbnROb2RlQS5tYXRjaChicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVCKTtcblxuICAgICAgc3RhdGVtZW50TWF0Y2hlcyA9IHN0YXRlbWVudE5vZGVBTWF0Y2hlc0JyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUI7IC8vL1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGF0ZW1lbnRNYXRjaGVzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlRnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSkge1xuICBsZXQgYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlID0gbnVsbDtcblxuICBjb25zdCBkZXB0aCA9IEJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEgsXG4gICAgICAgIHN0YXRlbWVudE5vZGVNYXRjaEJyYWNrZXRlZFN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlLm1hdGNoKGJyYWNrZXRlZFN0YXRlbWVudE5vZGUsIGRlcHRoKTtcblxuICBpZiAoc3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkU3RhdGVtZW50Tm9kZSkge1xuICAgIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZSA9IGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZVF1ZXJ5KHN0YXRlbWVudE5vZGUpO1xuICB9XG5cbiAgcmV0dXJuIGJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVGcm9tU3RhdGVtZW50Tm9kZSIsIm1hdGNoU3RhdGVtZW50TW9kdWxvQnJhY2tldHMiLCJicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInN0YXRlbWVudE5vZGVBIiwic3RhdGVtZW50Tm9kZUIiLCJzdGF0ZW1lbnRNYXRjaGVzIiwic3RhdGVtZW50Tm9kZU1hdGNoZXMiLCJtYXRjaCIsImJyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUEiLCJicmFja2V0ZWRTdGF0ZW1lbnRDaGlsZE5vZGVBTWF0Y2hlc1N0YXRlbWVudE5vZGVCIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlQiIsInN0YXRlbWVudE5vZGVBTWF0Y2hlc0JyYWNrZXRlZFN0YXRlbWVudENoaWxkTm9kZUIiLCJzdGF0ZW1lbnROb2RlIiwiYnJhY2tldGVkU3RhdGVtZW50Q2hpbGROb2RlIiwiZGVwdGgiLCJCUkFDS0VURURfU1RBVEVNRU5UX0RFUFRIIiwic3RhdGVtZW50Tm9kZU1hdGNoQnJhY2tldGVkU3RhdGVtZW50Tm9kZSIsImJyYWNrZXRlZFN0YXRlbWVudE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQXlDZ0JBLDRDQUE0QztlQUE1Q0E7O0lBaENBQyw0QkFBNEI7ZUFBNUJBOzs7Z0VBUG1CO3FCQUVUO3lCQUNnQjs7Ozs7O0FBRTFDLElBQU1DLG1DQUFtQ0MsSUFBQUEsZ0JBQVMsRUFBQztBQUU1QyxTQUFTRiw2QkFBNkJHLGNBQWMsRUFBRUMsY0FBYztJQUN6RSxJQUFJQyxtQkFBbUI7SUFFdkIsSUFBSSxDQUFDQSxrQkFBa0I7UUFDckIsSUFBTUMsdUJBQXVCSCxlQUFlSSxLQUFLLENBQUNIO1FBRWxEQyxtQkFBbUJDLHNCQUF1QixHQUFHO0lBQy9DO0lBRUEsSUFBSSxDQUFDRCxrQkFBa0I7UUFDckIsSUFBTUcsK0JBQStCVCw2Q0FBNkNJO1FBRWxGLElBQUlLLGlDQUFpQyxNQUFNO1lBQ3pDLElBQU1DLG9EQUFvREQsNkJBQTZCRCxLQUFLLENBQUNIO1lBRTdGQyxtQkFBbUJJLG1EQUFtRCxHQUFHO1FBQzNFO0lBQ0Y7SUFFQSxJQUFJLENBQUNKLGtCQUFrQjtRQUNyQixJQUFNSywrQkFBK0JYLDZDQUE2Q0s7UUFFbEYsSUFBSU0saUNBQWlDLE1BQU07WUFDekMsSUFBTUMsb0RBQW9EUixlQUFlSSxLQUFLLENBQUNHO1lBRS9FTCxtQkFBbUJNLG1EQUFtRCxHQUFHO1FBQzNFO0lBQ0Y7SUFFQSxPQUFPTjtBQUNUO0FBRU8sU0FBU04sNkNBQTZDYSxhQUFhO0lBQ3hFLElBQUlDLDhCQUE4QjtJQUVsQyxJQUFNQyxRQUFRQyxvQ0FBeUIsRUFDakNDLDJDQUEyQ0osY0FBY0wsS0FBSyxDQUFDVSxrQkFBc0IsRUFBRUg7SUFFN0YsSUFBSUUsMENBQTBDO1FBQzVDSCw4QkFBOEJaLGlDQUFpQ1c7SUFDakU7SUFFQSxPQUFPQztBQUNUIn0=

package/lib/utilities/verify.js

@@ -1,19 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "isAssertionNegated", {
-    enumerable: true,
-    get: function() {
-        return isAssertionNegated;
-    }
-});
-var _constants = require("../constants");
-var _query = require("../utilities/query");
-var secondOperatorTerminalNodeQuery = (0, _query.nodeQuery)("/*/@operator[1]");
-function isAssertionNegated(assertionNode) {
-    var secondOperatorTerminalNode = secondOperatorTerminalNodeQuery(assertionNode), content = secondOperatorTerminalNode.getContent(), assertionNegated = content === _constants.NOT;
-    return assertionNegated;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdmVyaWZ5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOT1QgfSBmcm9tIFwiLi4vY29uc3RhbnRzXCI7XG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHNlY29uZE9wZXJhdG9yVGVybWluYWxOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvKi9Ab3BlcmF0b3JbMV1cIik7XG5cbmV4cG9ydCBmdW5jdGlvbiBpc0Fzc2VydGlvbk5lZ2F0ZWQoYXNzZXJ0aW9uTm9kZSkge1xuICBjb25zdCBzZWNvbmRPcGVyYXRvclRlcm1pbmFsTm9kZSA9IHNlY29uZE9wZXJhdG9yVGVybWluYWxOb2RlUXVlcnkoYXNzZXJ0aW9uTm9kZSksXG4gICAgICAgIGNvbnRlbnQgPSBzZWNvbmRPcGVyYXRvclRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCksXG4gICAgICAgIGFzc2VydGlvbk5lZ2F0ZWQgPSAoY29udGVudCA9PT0gTk9UKTtcblxuICByZXR1cm4gYXNzZXJ0aW9uTmVnYXRlZDtcbn1cbiJdLCJuYW1lcyI6WyJpc0Fzc2VydGlvbk5lZ2F0ZWQiLCJzZWNvbmRPcGVyYXRvclRlcm1pbmFsTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwiYXNzZXJ0aW9uTm9kZSIsInNlY29uZE9wZXJhdG9yVGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJhc3NlcnRpb25OZWdhdGVkIiwiTk9UIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFPZ0JBOzs7ZUFBQUE7Ozt5QkFMSTtxQkFDTTtBQUUxQixJQUFNQyxrQ0FBa0NDLElBQUFBLGdCQUFTLEVBQUM7QUFFM0MsU0FBU0YsbUJBQW1CRyxhQUFhO0lBQzlDLElBQU1DLDZCQUE2QkgsZ0NBQWdDRSxnQkFDN0RFLFVBQVVELDJCQUEyQkUsVUFBVSxJQUMvQ0MsbUJBQW9CRixZQUFZRyxjQUFHO0lBRXpDLE9BQU9EO0FBQ1QifQ==

package/src/unify/statementAtainstStatement.js

@@ -1,56 +0,0 @@
-"use strict";
-
-import Substitutions from "../substitutions";
-import metaLevelUnifier from "../unifier/metaLevel";
-import TermForVariableSubstitution from "../substitution/termForVariable";
-
-import { push } from "../utilities/array";
-
-export default function unifyStatementWithStatement(statementNodeA, statementNodeB, substitution, substitutions, localContextA, localContextB) {
-  let statementUnifiedWithStatement = false;
-
-  const transformedSubstitutions = Substitutions.fromNothing(),
-        transformedSubstitution = substitution.transformed(substitutions);
-
-  if (transformedSubstitution !== null) {
-    transformedSubstitutions.addSubstitution(transformedSubstitution, localContextA, localContextB);
-  }
-
-  const nodeA = statementNodeA,  ///
-        nodeB = statementNodeB,  ///
-        unified = metaLevelUnifier.unify(nodeA, nodeB, transformedSubstitutions, localContextA, localContextB);
-
-  if (unified) {
-    if (transformedSubstitution === null) {
-
-      debugger
-
-      const substitutionB = termForVariableSubstitution,  ///
-            substitutionsB = [
-              substitutionB
-            ];
-
-      substitutionsA = transformSubstitutions(substitutionsA, substitutionsB);
-
-      push(substitutions, substitutionsA);
-    }
-
-    statementUnifiedWithStatement = true;
-  }
-
-  return statementUnifiedWithStatement;
-}
-
-function transformSubstitutions(substitutionsA, substitutionsB) {
-  substitutionsA = substitutionsA.map((substitutionA) => {
-    const substitution = substitutionA,  ///
-          substitutions = substitutionsB,
-          termForVariableSubstitution = TermForVariableSubstitution.fromSubstitutionAndSubstitutions(substitution, substitutions);
-
-    substitutionA = termForVariableSubstitution; ///
-
-    return substitutionA;
-  });
-
-  return substitutionsA;
-}

package/src/utilities/match.js

@@ -1,53 +0,0 @@
-"use strict";
-
-import bracketedStatementNode from "../node/statement/bracketed";
-
-import { nodeQuery } from "../utilities/query";
-import { BRACKETED_STATEMENT_DEPTH } from "../constants";
-
-const bracketedStatementChildNodeQuery = nodeQuery("/statement/metaArgument/statement!");
-
-export function matchStatementModuloBrackets(statementNodeA, statementNodeB) {
-  let statementMatches = false;
-
-  if (!statementMatches) {
-    const statementNodeMatches = statementNodeA.match(statementNodeB);
-
-    statementMatches = statementNodeMatches;  ///
-  }
-
-  if (!statementMatches) {
-    const bracketedStatementChildNodeA = bracketedStatementChildNodeFromStatementNode(statementNodeA);
-
-    if (bracketedStatementChildNodeA !== null) {
-      const bracketedStatementChildNodeAMatchesStatementNodeB = bracketedStatementChildNodeA.match(statementNodeB);
-
-      statementMatches = bracketedStatementChildNodeAMatchesStatementNodeB; ///
-    }
-  }
-
-  if (!statementMatches) {
-    const bracketedStatementChildNodeB = bracketedStatementChildNodeFromStatementNode(statementNodeB);
-
-    if (bracketedStatementChildNodeB !== null) {
-      const statementNodeAMatchesBracketedStatementChildNodeB = statementNodeA.match(bracketedStatementChildNodeB);
-
-      statementMatches = statementNodeAMatchesBracketedStatementChildNodeB; ///
-    }
-  }
-
-  return statementMatches;
-}
-
-export function bracketedStatementChildNodeFromStatementNode(statementNode) {
-  let bracketedStatementChildNode = null;
-
-  const depth = BRACKETED_STATEMENT_DEPTH,
-        statementNodeMatchBracketedStatementNode = statementNode.match(bracketedStatementNode, depth);
-
-  if (statementNodeMatchBracketedStatementNode) {
-    bracketedStatementChildNode = bracketedStatementChildNodeQuery(statementNode);
-  }
-
-  return bracketedStatementChildNode;
-}

package/src/utilities/verify.js

@@ -1,14 +0,0 @@
-"use strict";
-
-import { NOT } from "../constants";
-import { nodeQuery } from "../utilities/query";
-
-const secondOperatorTerminalNodeQuery = nodeQuery("/*/@operator[1]");
-
-export function isAssertionNegated(assertionNode) {
-  const secondOperatorTerminalNode = secondOperatorTerminalNodeQuery(assertionNode),
-        content = secondOperatorTerminalNode.getContent(),
-        assertionNegated = (content === NOT);
-
-  return assertionNegated;
-}