Uses of Package
dev.civl.sarl.IF.number
Packages that use dev.civl.sarl.IF.number
Package
Description
This package and its subpackages provide the "public interface" to SARL.
The number package supports infinite-precision integer and rational
numbers.
The object package provides the
SymbolicObject
interface, which is the root of the symbolic object type hierarchy.This package provides the internal interface for the representation of basic
symbolic expressions.
This package provides the internal interface supporting Herbrand arithmetic,
i.e., arithmetic in which all operations are treated as uninterpreted
operations.
The ideal module supports reasoning about numerical expressions using "ideal"
mathematical reals and integers.
A utility package supporting infinite precision integer and rational numbers,
and a variety of arithmetic operations on them.
Internal interface for the symbolic object module, providing mechanisms for
creating
SymbolicObjects.This package provides all of the functionality of a symbolic universe except
reasoning.
Interfaces for the simplification of symbolic expressions.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.IFClassDescriptionAn instance of this class represents an integer number.An instance of Interval represents a numeric interval.A number is some kind of representation of a real number.A number factory is used to produce concrete rational and integer numbers.An instance of this class represents a rational number.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.IF.numberClassDescriptionAn instance of this class represents an integer number.An instance of Interval represents a numeric interval.A number is some kind of representation of a real number.A simple type for recording the result of attempting to take the union of two intervals i1 and i2.An instance of this class represents a rational number.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.IF.objectClassDescriptionA number is some kind of representation of a real number.An instance of this class represents a rational number.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.expr.IFClassDescriptionA number is some kind of representation of a real number.A number factory is used to produce concrete rational and integer numbers.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.herbrand.IFClassDescriptionA number factory is used to produce concrete rational and integer numbers.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.ideal.IFClassDescriptionAn instance of this class represents an integer number.A number is some kind of representation of a real number.A number factory is used to produce concrete rational and integer numbers.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.number.IFClassDescriptionA number factory is used to produce concrete rational and integer numbers.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.object.IFClassDescriptionA number is some kind of representation of a real number.A number factory is used to produce concrete rational and integer numbers.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.preuniverse.IFClassDescriptionA number factory is used to produce concrete rational and integer numbers.
-
Classes in dev.civl.sarl.IF.number used by dev.civl.sarl.simplify.IFClassDescriptionAn instance of this class represents an integer number.An instance of Interval represents a numeric interval.A number is some kind of representation of a real number.