Module dev.civl.sarl

Package dev.civl.sarl.IF.number

package dev.civl.sarl.IF.number

The number package supports infinite-precision integer and rational numbers. All numbers are subtypes of the interface Number (not to be confused with Java's Number class). All instances of Number are immutable. An integer number must implement the IntegerNumber interface. A rational number must implement the RationalNumber interface. The integers and rationals are disjoint sets. A NumberFactory provides methods to create numbers, as well as operations such as addition, subtraction, and so on.

Related Packages

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.config	The config module provides a SARLConfig type, which encapsulates configuration information such as the list of available theorem provers with information on each.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
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.IF.type	The type package provides interfaces for all of the symbolic types.

Class	Description
IntegerNumber	An instance of this class represents an integer number.
Interval	An instance of Interval represents a numeric interval.
Number	A number is some kind of representation of a real number.
NumberFactory	A number factory is used to produce concrete rational and integer numbers.
NumberFactory.IntervalUnion	A simple type for recording the result of attempting to take the union of two intervals i1 and i2.
RationalNumber	An instance of this class represents a rational number.