Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicTupleType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicTupleType
extends SymbolicType

A tuple type is specified by (1) a name, and (2) an ordered, finite sequence of component types. The domain of the tuple type is the Cartesian product of the domains of the component types. For two tuple types to be equal, their names must be equal, and their sequences must be equal (have the same length and the corresponding types are equal).

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.type.SymbolicType

SymbolicType.SymbolicTypeKind

Method Summary

Modifier and Type	Method	Description
StringObject	name()	Returns the name of this tuple type, a non-null StringObject.
SymbolicTypeSequence	sequence()	Returns the sequence of component types of this tuple object.

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Methods inherited from interface dev.civl.sarl.IF.type.SymbolicType

isBoolean, isChar, isHerbrand, isIdeal, isInteger, isNumeric, isReal, typeKind

Method Details

name

StringObject name()

Returns the name of this tuple type, a non-null StringObject.

Returns:

the name

sequence

SymbolicTypeSequence sequence()

Returns the sequence of component types of this tuple object. May have length 0.

Returns:

the component type sequence