Package edu.udel.cis.vsl.sarl.IF.type
package edu.udel.cis.vsl.sarl.IF.type
The type package provides interfaces for all of the symbolic types. The root
of this type hierarchy is
SymbolicType. All of these are instances of
SymbolicObject.-
ClassDescriptionAn array type T[].A complete array type specifies not only the element type but also the extent (length) of the array.A function type is specified by the number and types of inputs, and a single output type.SymbolicIntegerType is an interface that contains representation for a Symbolic Integer Type: It has three kinds: - herbrand: it doesn't do simplifications, when used in equations - ideal: - bounded: Also it has a method to return the kind of the integer.three kinds for the integer typeT map type is a type consisting of two components: a key type K and a value type V.A real number type.The different kinds of real types.The type representing a set.A tuple type is specified by (1) a name, and (2) an ordered, finite sequence of component types.A symbolic type represents the type of a symbolic expression.The different kinds of types.A finite, ordered sequence of SymbolicType.This class represents uninterpreted types.A union type of a sequence of types t_i.