Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicSetType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicSetType
extends SymbolicType

The type representing a set. This is a set in the mathematical sense. The set type specified the type of the elements.

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
SymbolicType	elementType()	The type of the elements of the set.

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

elementType

SymbolicType elementType()

The type of the elements of the set.

Returns:

the element type