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

Packages that use Interval

Package	Description
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.simplify.IF	Interfaces for the simplification of symbolic expressions.

Uses of Interval in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
Interval	Reasoner.assumptionAsInterval(SymbolicConstant symbolicConstant)	If the context can be represented as a simple interval constraint, i.e., an expression of the form A invalid input: '<'= x invalid input: '<'= B, where A and B are concrete numbers, x is the given symbolic constant, and invalid input: '<'= could be invalid input: '<' in either case, this returns the interval [A,B] (or (A,B], or, ...).
Interval	Reasoner.intervalApproximation(NumericExpression expr)	Returns an interval over-approximation of the given expression.

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

Fields in dev.civl.sarl.IF.number declared as Interval

Modifier and Type	Field	Description
Interval	NumberFactory.IntervalUnion.union

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

Modifier and Type	Method	Description
Interval	NumberFactory.add(Interval i1, Interval i2)	To calculate the sum of two non-null and not empty Interval with same type (real/integer)
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.
Interval	NumberFactory.divide(Interval i1, Interval i2)	Divides two given Intervals and returns result.
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.
Interval	NumberFactory.emptyIntegerInterval()	Returns the empty integer interval: (0,0).
Interval	NumberFactory.emptyRealInterval()	Returns the empty real interval: (0.0, 0.0).
Interval	NumberFactory.intersection(Interval i1, Interval i2)	Returns the interval which is the intersection of the two given intervals.
Interval	NumberFactory.join(Interval i1, Interval i2)	Returns the smallest interval containing both of the given intervals.
Interval	NumberFactory.multiply(Interval i1, Interval i2)	To calculate the product of two non-null and not empty Interval with same type (real/integer) This is the smallest interval containing all x1*x2, where x1 is in i1 and x2 is in i2.
Interval	NumberFactory.multiply(Number num, Interval interval)	Multiply the given Interval with a given Number and returns result.
Interval	NumberFactory.negate(Interval interval)	To negate the given non-null interval.
Interval	NumberFactory.newInterval(boolean isIntegral, Number lower, boolean strictLower, Number upper, boolean strictUpper)	Returns a new Interval as specified.
Interval	NumberFactory.power(Interval interval, int exp)	To calculate the power-result of a given non-null and not empty Interval with a given natural number.
Interval	NumberFactory.power(Interval interval, IntegerNumber expr)	To calculate the power-result of a given non-null and not empty Interval with a given non-null non-negative IntegerNumber.
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].
Interval	NumberFactory.universalIntegerInterval()	Returns the universal integer interval: (-∞, +∞).
Interval	NumberFactory.universalRealInterval()	Returns the universal real interval: (-∞, +∞).

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

Modifier and Type	Method	Description
Interval	NumberFactory.add(Interval i1, Interval i2)	To calculate the sum of two non-null and not empty Interval with same type (real/integer)
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	NumberFactory.compare(Interval i1, Interval i2)	Computes the relationships of two Intervals.
Interval	NumberFactory.divide(Interval i1, Interval i2)	Divides two given Intervals and returns result.
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.
Interval	NumberFactory.intersection(Interval i1, Interval i2)	Returns the interval which is the intersection of the two given intervals.
Interval	NumberFactory.join(Interval i1, Interval i2)	Returns the smallest interval containing both of the given intervals.
Interval	NumberFactory.multiply(Interval i1, Interval i2)	To calculate the product of two non-null and not empty Interval with same type (real/integer) This is the smallest interval containing all x1*x2, where x1 is in i1 and x2 is in i2.
Interval	NumberFactory.multiply(Number num, Interval interval)	Multiply the given Interval with a given Number and returns result.
Interval	NumberFactory.negate(Interval interval)	To negate the given non-null interval.
Interval	NumberFactory.power(Interval interval, int exp)	To calculate the power-result of a given non-null and not empty Interval with a given natural number.
Interval	NumberFactory.power(Interval interval, IntegerNumber expr)	To calculate the power-result of a given non-null and not empty Interval with a given non-null non-negative IntegerNumber.
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.
void	NumberFactory.union(Interval i1, Interval i2, NumberFactory.IntervalUnion result)	Computes the union of two intervals or reports that the union is not an interval and why.

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

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

Modifier and Type	Method	Description
Interval	Range.asInterval()	If this range is an interval, return the Interval representation, otherwise, returns null.
Interval	Range.intervalOverApproximation()	Get the over-approximated Interval of this range.

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

Modifier and Type	Method	Description
Range	RangeFactory.newRange(Interval... intervals)	Create a new Range based on given non-null Intervals. If the given intervals represents an empty interval array, this function will return an empty Range with 0 interval.