@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
24 lines • 1.24 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.SetComparator = exports.NumericalComparator = void 0;
/**
* Represents the different types of numerical comparators for satisfiability checks for an abstract domain.
*/
var NumericalComparator;
(function (NumericalComparator) {
NumericalComparator[NumericalComparator["Equal"] = 0] = "Equal";
NumericalComparator[NumericalComparator["Less"] = 1] = "Less";
NumericalComparator[NumericalComparator["LessOrEqual"] = 2] = "LessOrEqual";
NumericalComparator[NumericalComparator["Greater"] = 3] = "Greater";
NumericalComparator[NumericalComparator["GreaterOrEqual"] = 4] = "GreaterOrEqual";
})(NumericalComparator || (exports.NumericalComparator = NumericalComparator = {}));
/**
* Represents the different types of set comparators for satisfiability checks for an abstract domain.
*/
var SetComparator;
(function (SetComparator) {
SetComparator[SetComparator["Equal"] = 0] = "Equal";
SetComparator[SetComparator["Subset"] = 1] = "Subset";
SetComparator[SetComparator["SubsetOrEqual"] = 2] = "SubsetOrEqual";
})(SetComparator || (exports.SetComparator = SetComparator = {}));
//# sourceMappingURL=satisfiable-domain.js.map