Module dev.civl.sarl
Package dev.civl.sarl.IF.type
package dev.civl.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.