Uses of Package
dev.civl.sarl.IF.type
Packages that use dev.civl.sarl.IF.type
Package
Description
This package and its subpackages provide the "public interface" to SARL.
The public interface package dealing with symbolic expressions.
The type package provides interfaces for all of the symbolic types.
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.
Internal interface for the symbolic object module, providing mechanisms for
creating
SymbolicObjects.This package provides all of the functionality of a symbolic universe except
reasoning.
Internal interface for the "type" module, providing a
SymbolicTypeFactory
for producing SymbolicType
s.-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.IFClassDescriptionAn 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.T map type is a type consisting of two components: a key type K and a value type V.A real number type.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.This class represents uninterpreted types.A union type of a sequence of types t_i.
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.IF.expr
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.IF.typeClassDescriptionAn array type T[].three kinds for the integer typeThe different kinds of real types.A symbolic type represents the type of a symbolic expression.The different kinds of types.A finite, ordered sequence of SymbolicType.
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.expr.IF
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.ideal.IF
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.object.IFClassDescriptionA symbolic type represents the type of a symbolic expression.A finite, ordered sequence of SymbolicType.
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.preuniverse.IFClassDescriptionA symbolic type represents the type of a symbolic expression.A finite, ordered sequence of SymbolicType.
-
Classes in dev.civl.sarl.IF.type used by dev.civl.sarl.type.IFClassDescriptionAn 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.T map type is a type consisting of two components: a key type K and a value type V.A real number type.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.A finite, ordered sequence of SymbolicType.This class represents uninterpreted types.A union type of a sequence of types t_i.