org.sat4j.csp.predefinedfunctions.js Maven / Gradle / Ivy
function neg(x) { return -x; }
function abs(x) {
if (x>0) return x;
return -x;
}
function add(x,y) { return x+y; }
function sub(x,y) { return x-y; }
function mul(x,y) { return x*y; }
function div(x,y) { return Math.floor(x/y); }
function mod(x,y) { return x%y; }
function pow(x,y) { t = x; for (i=1;iy; }
function ge(x,y) { return x>=y; }
function ite(x,y,z) { if (x) return y; return z; }
function iff(x,y) { return x&&y || !x&&!y; }