Uses of Package
dev.civl.sarl.IF.object

Packages that use dev.civl.sarl.IF.object

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
dev.civl.sarl.IF.expr.valueSetReference
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.
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Classes in dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.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 dev.civl.sarl.IF.object used by dev.civl.sarl.preuniverse.IF

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

Classes in dev.civl.sarl.IF.object used by dev.civl.sarl.type.IF

Class	Description
StringObject	A symbolic object wrapping a single String.