/** * Returns the generalization of this LongValue and the given other * LongValue. */ public LongValue generalize(LongValue other) { return other.generalize(this); }
/** * Returns the generalization of this LongValue and the given other * ParticularLongValue. */ public LongValue generalize(ParticularLongValue other) { return generalize((SpecificLongValue)other); }
/** * Returns the generalization of this LongValue and the given other * LongValue. */ public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
/** * Returns the generalization of this LongValue and the given other * ParticularLongValue. */ public LongValue generalize(ParticularLongValue other) { return generalize((SpecificLongValue)other); }
/** * Returns the generalization of this LongValue and the given other * LongValue. */ public LongValue generalize(LongValue other) { return other.generalize(this); }
/** * Returns the generalization of this LongValue and the given other * LongValue. */ public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
/** * Returns the generalization of this LongValue and the given other * ParticularLongValue. */ public LongValue generalize(ParticularLongValue other) { return generalize((SpecificLongValue)other); }
/** * Returns the generalization of this LongValue and the given other * ParticularLongValue. */ public LongValue generalize(ParticularLongValue other) { return generalize((SpecificLongValue)other); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
public LongValue generalize(LongValue other) { return other.generalize(this); }
public final Value generalize(Value other) { return this.generalize(other.longValue()); }
public final Value generalize(Value other) { return this.generalize(other.longValue()); }
public final Value generalize(Value other) { return this.generalize(other.longValue()); }
public final Value generalize(Value other) { return this.generalize(other.longValue()); }