Module dev.civl.sarl
module dev.civl.sarl
-
Packages
ExportsPackageDescriptionThis is the root package for SARL, and contains the single classSARL.This package provides the internal interface for the representation of basic symbolic expressions.The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.This package and its subpackages provide the "public interface" to SARL.The config module provides aSARLConfigtype, which encapsulates configuration information such as the list of available theorem provers with information on each.The public interface package dealing with symbolic expressions.The number package supports infinite-precision integer and rational numbers.The object package provides theSymbolicObjectinterface, which is the root of the symbolic object type hierarchy.The type package provides interfaces for all of the symbolic types.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 creatingSymbolicObjects.This package provides all of the functionality of a symbolic universe except reasoning.Module "prove" constitutes the interface between SARL and (possibly external) theorem provers.Interfaces for the simplification of symbolic expressions.Internal interface for the "type" module, providing aSymbolicTypeFactoryfor producingSymbolicTypes.