public boolean equals(Object object) { return super.equals(object) && this.value == ((ParticularIntegerValue)object).value; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public boolean equals(Object object) { return super.equals(object) && this.value == ((ParticularIntegerValue)object).value; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public boolean equals(Object object) { return super.equals(object) && this.value == ((ParticularIntegerValue)object).value; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public int equal(SpecificIntegerValue other) { return this.equals(other) ? ALWAYS : MAYBE; }
public int hashCode() { return super.hashCode() ^ valuefactory.hashCode() ^ id; }
public IntegerValue generalize(SpecificIntegerValue other) { return this.equals(other) ? this : ValueFactory.INTEGER_VALUE; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public int equal(SpecificIntegerValue other) { return this.equals(other) ? ALWAYS : MAYBE; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public int lessThanOrEqual(SpecificIntegerValue other) { return this.equals(other) ? ALWAYS : MAYBE; }
public int hashCode() { return super.hashCode() ^ integerValue.hashCode(); }
public int equal(SpecificIntegerValue other) { return this.equals(other) ? ALWAYS : MAYBE; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public int equal(SpecificIntegerValue other) { return this.equals(other) ? ALWAYS : MAYBE; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }
public int lessThan(SpecificIntegerValue other) { return this.equals(other) ? NEVER : MAYBE; }
public int hashCode() { return super.hashCode() ^ value.hashCode(); }