Uses of Interface
dev.civl.sarl.IF.number.Number

Packages that use Number

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.number	The number package supports infinite-precision integer and rational numbers.
dev.civl.sarl.IF.object	The object package provides the SymbolicObject interface, which is the root of the symbolic object type hierarchy.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.

Uses of Number in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF that return Number

Modifier and Type	Method	Description
Number	NumericExpressionFactory.extractNumber(NumericExpression expression)	Attempts to interpret the given symbolic expression as a concrete number.

Uses of Number in dev.civl.sarl.ideal.IF

Methods in dev.civl.sarl.ideal.IF that return Number

Modifier and Type	Method	Description
Number	Constant.number()	Returns the underlying Number wrapped by this Constant.

Methods in dev.civl.sarl.ideal.IF with parameters of type Number

Modifier and Type	Method	Description
Constant	IdealFactory.constant(Number number)	Returns a Constant wrapping the given concrete Number.

Uses of Number in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return Number

Modifier and Type	Method	Description
Number	CoreUniverse.extractNumber(NumericExpression expression)	Returns the Number value if the given symbolic expression has a concrete numerical value, else returns null.
Number	Reasoner.extractNumber(NumericExpression expression)	If the given expression can be reduced to a concrete numeric value using the context, returns that concrete value, else returns null.
Number	SymbolicUniverse.extractNumber(BooleanExpression assumption, NumericExpression expression)	Attempts to extract a concrete numeric value from the given expression, using the assumption if necessary to simplify the expression.

Methods in dev.civl.sarl.IF with parameters of type Number

Modifier and Type	Method	Description
NumericExpression	CoreUniverse.number(Number number)	Returns the concrete symbolic expression wrapping the given number.
NumberObject	CoreUniverse.numberObject(Number value)	Returns the NumberObject wrapping the given Number value.

Uses of Number in dev.civl.sarl.IF.number

Subinterfaces of Number in dev.civl.sarl.IF.number

Modifier and Type	Interface	Description
interface	IntegerNumber	An instance of this class represents an integer number.
interface	RationalNumber	An instance of this class represents a rational number.

Methods in dev.civl.sarl.IF.number that return Number

Modifier and Type	Method	Description
Number	NumberFactory.abs(Number number)	Returns absolute value of number, preserving type.
Number	NumberFactory.add(Number arg0, Number arg1)	Adds two numbers and returns result.
Number	NumberFactory.decrement(Number arg)	subtracts 1 of proper type
Number	NumberFactory.divide(Number arg0, Number arg1)	Divides two numbers and returns result.
Number	NumberFactory.increment(Number arg)	adds 1 of proper type
Number	NumberFactory.infiniteNumber(boolean isIntegral, boolean isPositiveInfinity)	Returns an infinite Number, its type is determined by the first boolean argument isIntegeral and its signum is determined by the second boolean argument isPositiveInfinity.
Number	Interval.lower()	The lower bound of this interval.
Number	NumberFactory.multiply(Number arg0, Number arg1)	Multiplies two numbers and returns result.
Number	NumberFactory.negate(Number arg0)	Negates the number, preserving the type (IntegerNumberIF or RationalNumberIF).
Number	NumberFactory.number(String string)	Makes best guest on type of number based on string.
Number	NumberFactory.power(Number number, int exp)	Calculate the given number powering a given exponent and returns result.
Number	NumberFactory.power(Number number, IntegerNumber exp)	Calculate the given Number base powering a given IntegerNumber exponent and returns result.
Number	NumberFactory.subtract(Number arg0, Number arg1)	Subtracts two numbers and returns result.
Number	Interval.upper()	The upper bound of this interval.

Methods in dev.civl.sarl.IF.number with parameters of type Number

Modifier and Type	Method	Description
Number	NumberFactory.abs(Number number)	Returns absolute value of number, preserving type.
Number	NumberFactory.add(Number arg0, Number arg1)	Adds two numbers and returns result.
Interval	NumberFactory.affineTransform(Interval interval, Number a, Number b)	Computes the affineTransform of the input interval itv with two numbers: a and b as parameters.
int	Interval.compare(Number number)	Determines when the given number lies to the left, inside, or to the right of this interval.
int	NumberFactory.compare(Number arg0, Number arg1)	Returns a positive value if arg0 is greater than arg1, 0 if arg0 equals arg1, a negative value if arg0 is less than arg1.
boolean	Interval.contains(Number number)	Does this interval contain the given number? The behavior is unspecified if this method is given a number which has a different type from that of this interval.
Number	NumberFactory.decrement(Number arg)	subtracts 1 of proper type
Interval	NumberFactory.divide(Interval interval, Number num)	Return the Interval consisting of all Numbers that each Number x in the Interval multiplies with the given num is in the given interval.
Number	NumberFactory.divide(Number arg0, Number arg1)	Divides two numbers and returns result.
Number	NumberFactory.increment(Number arg)	adds 1 of proper type
Interval	NumberFactory.multiply(Number num, Interval interval)	Multiply the given Interval with a given Number and returns result.
Number	NumberFactory.multiply(Number arg0, Number arg1)	Multiplies two numbers and returns result.
Number	NumberFactory.negate(Number arg0)	Negates the number, preserving the type (IntegerNumberIF or RationalNumberIF).
Interval	NumberFactory.newInterval(boolean isIntegral, Number lower, boolean strictLower, Number upper, boolean strictUpper)	Returns a new Interval as specified.
int	Number.numericalCompareTo(Number other)	This is a numerical comparison, so the order is a numerical order based on the value of this and other.
Number	NumberFactory.power(Number number, int exp)	Calculate the given number powering a given exponent and returns result.
Number	NumberFactory.power(Number number, IntegerNumber exp)	Calculate the given Number base powering a given IntegerNumber exponent and returns result.
RationalNumber	NumberFactory.rational(Number number)	Returns a rational representation of the number.
Interval	NumberFactory.restrictLower(Interval interval, Number bound, boolean strict)	Restricts the lower bound of an interval as specified.
Interval	NumberFactory.restrictUpper(Interval interval, Number bound, boolean strict)	Restricts the upper bound of an interval as specified.
Interval	NumberFactory.singletonInterval(Number x)	Returns the interval consisting of the single finite number x: [x,x].
Number	NumberFactory.subtract(Number arg0, Number arg1)	Subtracts two numbers and returns result.

Uses of Number in dev.civl.sarl.IF.object

Methods in dev.civl.sarl.IF.object that return Number

Modifier and Type	Method	Description
Number	NumberObject.getNumber()	Get the underlying Number.

Uses of Number in dev.civl.sarl.object.IF

Methods in dev.civl.sarl.object.IF with parameters of type Number

Modifier and Type	Method	Description
NumberObject	ObjectFactory.numberObject(Number value)

Uses of Number in dev.civl.sarl.simplify.IF

Methods in dev.civl.sarl.simplify.IF that return Number

Modifier and Type	Method	Description
Number	Range.getSingletonValue()	If this range represents a singleton set (a set consisting of exactly one Number), this method returns the value of its sole element; otherwise, returns null.

Methods in dev.civl.sarl.simplify.IF with parameters of type Number

Modifier and Type	Method	Description
Range	RangeFactory.add(Range range, Number constant)	Return a Range containing all x+constant, where x is in range and constant is a non- null finite Number.
Range	RangeFactory.affineTransform(Range range, Number a, Number b)	Return a Range containing all x*a+b, where x is in range, a and b are Numbers.
boolean	Range.containsNumber(Number number)	Does this set contain the given number as a member?
Range	RangeFactory.divide(Range range, Number constant)	Return a Range containing all x/constant, where x is in range and constant is a non- null and non-zero finite Number.
Range	RangeFactory.interval(boolean isIntegral, Number lower, boolean strictLower, Number upper, boolean strictUpper)	Returns a Range consisting of exactly one interval representing all x between the Number lower (exclusively iff strictLower is true, else inclusively) and the Number upper (exclusively iff strictUpper is true, else inclusively). Preconditions: > All arguments should satisfy the preconditions of Interval. Postconditions: > The generated interval instance should satisfy the postconditions of Interval.
Range	RangeFactory.multiply(Range range, Number constant)	Return a Range containing all x*constant, where x is in range and constant is a non- null finite Number.
Range	RangeFactory.singletonSet(Number number)	Returns a Range consisting of exactly one interval representing the single specified Number number. The type of number determines the type of returned Range. Preconditions: > The number must be non-null and infinite.
Range	RangeFactory.subtract(Range range, Number constant)	Return a Range containing all x-constant, where x is in range and constant is a non- null finite Number.