Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicUnionType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicUnionType
extends SymbolicType

A union type of a sequence of types t_i. The elements of the union type have the form inject_i(x), where x is an element of type t_i. The member types are not necessarily distinct.

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()	The name of this union type.
SymbolicTypeSequence	sequence()	The sequence of types comprising this union.

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

sequence

SymbolicTypeSequence sequence()

The sequence of types comprising this union. This sequence must not contain duplicates.

Returns:

the sequence of types comprising the union

name

StringObject name()

The name of this union type.

Returns:

name of this union type