Searched refs:UnknownIntegerValue (Results 1 – 3 of 3) sorted by relevance
255 public IntegerValue generalize(UnknownIntegerValue other) in generalize()264 public IntegerValue add(UnknownIntegerValue other) in add()272 public IntegerValue subtract(UnknownIntegerValue other) in subtract()280 public IntegerValue subtractFrom(UnknownIntegerValue other) in subtractFrom()288 public IntegerValue multiply(UnknownIntegerValue other) in multiply()297 public IntegerValue divide(UnknownIntegerValue other) in divide()306 public IntegerValue divideOf(UnknownIntegerValue other) in divideOf()315 public IntegerValue remainder(UnknownIntegerValue other) in remainder()324 public IntegerValue remainderOf(UnknownIntegerValue other) in remainderOf()332 public IntegerValue shiftLeft(UnknownIntegerValue other) in shiftLeft()[all …]
28 public class UnknownIntegerValue extends IntegerValue class
34 static final IntegerValue INTEGER_VALUE = new UnknownIntegerValue();