Package edu.udel.cis.vsl.sarl.IF.object

package edu.udel.cis.vsl.sarl.IF.object

The object package provides the SymbolicObject interface, which is the root of the symbolic object type hierarchy. In addition, it provides interfaces for the "concrete" kinds of symbolic objects: booleans, (small) Java ints, Numbers, and Strings.

Related Packages

Package	Description
edu.udel.cis.vsl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
edu.udel.cis.vsl.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.
edu.udel.cis.vsl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
edu.udel.cis.vsl.sarl.IF.number	The number package supports infinite-precision integer and rational numbers.
edu.udel.cis.vsl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.

Class	Description
BooleanObject	A symbolic object wrapping a single boolean value.
CharObject	A symbolic object wrapping a single char value.
IntObject	A symbolic object wrapping a single Java "int" value.
NumberObject	A symbolic object wrapping a single instance of Number.
StringObject	A symbolic object wrapping a single String.
SymbolicObject	The root of the symbolic object type hierarchy.
SymbolicObject.SymbolicObjectKind
SymbolicSequence<T extends SymbolicExpression>	A finite ordered immutable sequence of symbolic expressions.