262263264265266267268269270271272
public IntExp div (IntExp divisor) throws Failure { divisor.removeValue (0); if (divisor == this) { return new IntExpConst (this.constrainer (), 1); } if (divisor.bound ()) { int value; try { value = divisor.value ();