diff --git a/fd.js b/fd.js index ebeb31f..5a32d9b 100644 --- a/fd.js +++ b/fd.js @@ -888,7 +888,7 @@ var FD = (function (exports, Math) { // Greater than propagator. Space.prototype.gt = function (v1name, v2name) { - return this.lt(v2name, v1name); + return this.lte(v2name, v1name); }; // Less than or equal to propagator. @@ -943,7 +943,7 @@ var FD = (function (exports, Math) { // Greater than or equal to. Space.prototype.gte = function (v1name, v2name) { - return this.lte(v2name, v1name); + return this.lt(v2name, v1name); }; // Ensures that the two variables take on different values.