public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
/** * Returns this IntegerValue, shifted right by the given SpecificIntegerValue. */ public IntegerValue shiftRight(SpecificIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given ParticularIntegerValue. */ public IntegerValue shiftRight(ParticularIntegerValue other) { return shiftRight((SpecificIntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given UnknownIntegerValue. */ public IntegerValue shiftRight(UnknownIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given UnknownIntegerValue. */ public IntegerValue shiftRight(UnknownIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given SpecificIntegerValue. */ public IntegerValue shiftRight(SpecificIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given UnknownIntegerValue. */ public IntegerValue shiftRight(UnknownIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given UnknownIntegerValue. */ public IntegerValue shiftRight(UnknownIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given SpecificIntegerValue. */ public IntegerValue shiftRight(SpecificIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given SpecificIntegerValue. */ public IntegerValue shiftRight(SpecificIntegerValue other) { return shiftRight((IntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given ParticularIntegerValue. */ public IntegerValue shiftRight(ParticularIntegerValue other) { return shiftRight((SpecificIntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given ParticularIntegerValue. */ public IntegerValue shiftRight(ParticularIntegerValue other) { return shiftRight((SpecificIntegerValue)other); }
/** * Returns this IntegerValue, shifted right by the given ParticularIntegerValue. */ public IntegerValue shiftRight(ParticularIntegerValue other) { return shiftRight((SpecificIntegerValue)other); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }
public IntegerValue shiftRightOf(IntegerValue other) { return other.shiftRight(this); }