Uses of Interface
dev.civl.sarl.simplify.IF.Range

Packages that use Range

Package	Description
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.

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

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

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.add(Range range0, Range range1)	Return a Range containing all x+y, where x is in range0 and y is in range1.
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.
Range	RangeFactory.complement(Range range)	Return the complement Range of the input range.
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.divide(Range range0, Range range1)	Return a Range containing all x/y, where x is in range0 and y is is in range1.
Range	RangeFactory.emptySet(boolean isIntegral)	Returns an empty Range of the specified type (integer/real) with no interval contained.
Range	RangeFactory.expand(Range range, Range contextRange)	Returns a Range R such that the intersection of R and C= contextRange is I=range and R is "as simple as possible".
Range	RangeFactory.intersect(Range range0, Range range1)	Return the intersection Range of range0 and range1.
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.multiply(Range range0, Range range1)	Return a Range containing all x*y, where x is in range0 and y is in range1.
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.
Range	RangeFactory.power(Range range, int exp)	Return a Range containing all x^exp, where x is in range and exp is a natural numbers.
Range	RangeFactory.power(Range range, IntegerNumber exp)	Return a Range containing all x^exp, where x is in range and exp is an IntegerNumber.
Range	RangeFactory.setMinus(Range range0, Range range1)	Return the difference Range of range0 and range1.
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.
Range	RangeFactory.subtract(Range range0, Range range1)	Return a Range containing all x-y, where x is in range0 and y is in range1.
Range	RangeFactory.union(Range range0, Range range1)	Return the union Range of range0 and range1.
Range	RangeFactory.universalSet(boolean isIntegral)	Returns a range of either integer or real type.

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

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.add(Range range0, Range range1)	Return a Range containing all x+y, where x is in range0 and y is in range1.
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.
Range	RangeFactory.complement(Range range)	Return the complement Range of the input range.
boolean	Range.contains(Range set)	Is this set a superset of the given one?
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.divide(Range range0, Range range1)	Return a Range containing all x/y, where x is in range0 and y is is in range1.
Range	RangeFactory.expand(Range range, Range contextRange)	Returns a Range R such that the intersection of R and C= contextRange is I=range and R is "as simple as possible".
Range	RangeFactory.intersect(Range range0, Range range1)	Return the intersection Range of range0 and range1.
boolean	Range.intersects(Range set)	Is the intersection of this set with the given one nonempty?
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.multiply(Range range0, Range range1)	Return a Range containing all x*y, where x is in range0 and y is in range1.
Range	RangeFactory.power(Range range, int exp)	Return a Range containing all x^exp, where x is in range and exp is a natural numbers.
Range	RangeFactory.power(Range range, IntegerNumber exp)	Return a Range containing all x^exp, where x is in range and exp is an IntegerNumber.
Range	RangeFactory.setMinus(Range range0, Range range1)	Return the difference Range of range0 and range1.
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.
Range	RangeFactory.subtract(Range range0, Range range1)	Return a Range containing all x-y, where x is in range0 and y is in range1.
Range	RangeFactory.union(Range range0, Range range1)	Return the union Range of range0 and range1.