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

Packages that use edu.udel.cis.vsl.sarl.IF.object

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.expr	The public interface package dealing with symbolic expressions.
edu.udel.cis.vsl.sarl.IF.expr.valueSetReference
edu.udel.cis.vsl.sarl.IF.object	The object package provides the SymbolicObject interface, which is the root of the symbolic object type hierarchy.
edu.udel.cis.vsl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.
edu.udel.cis.vsl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
edu.udel.cis.vsl.sarl.expr.cnf	This package deals with the represention of boolean symbolic expressions in a conjunctive normal form.
edu.udel.cis.vsl.sarl.expr.common	Implementation classes for generic symbolic expressions, symbolic expression factories, and a comparator on symbolic expressions.
edu.udel.cis.vsl.sarl.expr.common.valueSetReference
edu.udel.cis.vsl.sarl.herbrand.common	Implementation classes for the herbrand module.
edu.udel.cis.vsl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
edu.udel.cis.vsl.sarl.ideal.common	Implementation classes for the ideal2 module.
edu.udel.cis.vsl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
edu.udel.cis.vsl.sarl.object.common	Implementation of the symbolic object module, specified in edu.udel.cis.vsl.sarl.IF.object and edu.udel.cis.vsl.sarl.object.IF.
edu.udel.cis.vsl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.
edu.udel.cis.vsl.sarl.preuniverse.common	This package provides the implementation of PreUniverse module.
edu.udel.cis.vsl.sarl.simplify.simplifier	This package implements the main simplifier, which is based around a Context.
edu.udel.cis.vsl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.
edu.udel.cis.vsl.sarl.type.common	Implementations of the interfaces specified in edu.udel.cis.vsl.sarl.IF.type and edu.udel.cis.vsl.sarl.type.IF.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.IF

Class	Description
BooleanObject	A symbolic object wrapping a single boolean 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.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.IF.expr

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
StringObject	A symbolic object wrapping a single String.
SymbolicObject	The root of the symbolic object type hierarchy.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.IF.expr.valueSetReference

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
SymbolicObject	The root of the symbolic object type hierarchy.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.IF.object

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
SymbolicObject	The root of the symbolic object type hierarchy.
SymbolicObject.SymbolicObjectKind
SymbolicSequence	A finite ordered immutable sequence of symbolic expressions.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.IF.type

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
StringObject	A symbolic object wrapping a single String.
SymbolicObject	The root of the symbolic object type hierarchy.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.expr.IF

Class	Description
BooleanObject	A symbolic object wrapping a single boolean 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.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.expr.cnf

Class	Description
BooleanObject	A symbolic object wrapping a single boolean value.
StringObject	A symbolic object wrapping a single String.
SymbolicObject	The root of the symbolic object type hierarchy.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.expr.common

Class	Description
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	A finite ordered immutable sequence of symbolic expressions.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.expr.common.valueSetReference

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
SymbolicObject	The root of the symbolic object type hierarchy.
SymbolicSequence	A finite ordered immutable sequence of symbolic expressions.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.herbrand.common

Class	Description
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.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.ideal.IF

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
NumberObject	A symbolic object wrapping a single instance of Number.
SymbolicObject	The root of the symbolic object type hierarchy.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.ideal.common

Class	Description
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.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.object.IF

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.
SymbolicSequence	A finite ordered immutable sequence of symbolic expressions.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.object.common

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	A finite ordered immutable sequence of symbolic expressions.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.preuniverse.IF

Class	Description
CharObject	A symbolic object wrapping a single char value.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.preuniverse.common

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.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.simplify.simplifier

Class	Description
SymbolicObject	The root of the symbolic object type hierarchy.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.type.IF

Class	Description
StringObject	A symbolic object wrapping a single String.

Classes in edu.udel.cis.vsl.sarl.IF.object used by edu.udel.cis.vsl.sarl.type.common

Class	Description
IntObject	A symbolic object wrapping a single Java "int" value.
StringObject	A symbolic object wrapping a single String.
SymbolicObject	The root of the symbolic object type hierarchy.
SymbolicObject.SymbolicObjectKind